Let G be an abelian group.
If H = { x e G : x = x^-1 }, that is, H consists of all the elements of G which are their own inverses. Prove that H is a subgroup of G.
you need to show three things: H is nonempty (some texts require that you check that the identity be in the subgroup...which has to happen anyway, and still fulfills the nonempty condition), and closed under products and closed under inverses. 2 are obvious. where did you begin? where are you stuck?
Yes! the identity is its own inverse. so it is in H by definition. (we want it to be in H, not G. i made a mistake in my last post. H is what we want to show is a subgroup)
the next easiest condition to me is closure under inverses. do you know what that means? try to show it
geez, have some self confidence, man! yes, that's right. if x is in H, then so will its inverse be in H, since x IS its own inverse.
now for the last condition. This one is harder, i will do it. First note, that is the same as saying . also note, that is Abelian if the operation on it is commutative. That is, for all . Now on to the proof.
We show that is closed under products (that is, if , then ). We need to show that , we will do this by showing that , provided and are in .
Assume . Since , and is Abelian, we have .
.........multiplied both sides by x
............since , because
..........muliplied both sides by y
..........since , because .
, as desired.
This completes the proof.
Group is just 3 things right?
Associativity, identity, and inverse
Abelian Group has 4 - Commutativity and the above 3. Correct?
1 last thing: Can give you give me a pointer on how to show that e is an element of H if H = {x e G : x^n = e} (n is a fixed integer)