In: Advanced Math
(6) Define a binary operation ∗ on the set G = R^2 by (x, y) ∗ (x', y') = (x + x', y + y'e^x)
(a) Show that (G, ∗) is a group. Specifically, prove that the associative law holds, find the identity e, and find the inverse of (x, y) ∈ G.
(b) Show that the group G is not abelian.
(c). Show that the set H= (x*x=e) is a subgroup of G.
a. We proved G is a group
b. We shown G is not abelian
c. H is a trivial subgroup of G