Does a*a=e Imply a Group is Abelian?

[karnten07]

Homework Statement

Let G be a group such that a*a = e for all a\inG. Show that G is abelian.

Homework Equations

The Attempt at a Solution

I know the conditions for an abelian group but don't see or understand the significance that a*a=e here?

 

[StatusX]

A group is abelian iff [a,b]=aba^-1b^-1 is equal to the identity for all a,b (do you see why?). What can you say about a^-1 and b^-1?

 

[karnten07]

A group is abelian iff [a,b]=aba^-1b^-1 is equal to the identity for all a,b (do you see why?). What can you say about a^-1 and b^-1?

Yes because a*a^{}-1 = e and b*b^{}-1 = e. Can you say that the inverses are multiplicatively commutative. But why does the question talk about a*a=e. I would have thought it was a typo or something because it seems strange?

 

[morphism]

StatusX gave you a very good hint: G is abelian iff aba^-1b^-1=e for any a,b in G. The condition a²=e tells you precisely what a^-1 is.

 

[karnten07]

A group is abelian iff [a,b]=aba^-1b^-1 is equal to the identity for all a,b (do you see why?). What can you say about a^-1 and b^-1?

StatusX gave you a very good hint: G is abelian iff aba^-1b^-1=e for any a,b in G. The condition a²=e tells you precisely what a^-1 is.

Does that make a^-1 = e^-0.5 ?

 

[karnten07]

Does that make a^-1 = e^-0.5 ?

Or could it be that a and its inverse are equal?? *confused*

 

[karnten07]

A group is abelian iff [a,b]=aba^-1b^-1 is equal to the identity for all a,b (do you see why?). What can you say about a^-1 and b^-1?

Im not sure i do see why, unless what i did write was correct that a*a-1=e and the same for b.

 

[karnten07]

Oh does it show it is abelian because for it to equal e, aba-1b-1 would need to also equal aa-1bb-1 which shows the operation is commutative.

If I am still not on the right tracks, i assume that i need to show commutativity anyhow.

 

[karnten07]

I have to hand in my solutions in half an hour, so one last go at this if anyone can help. I need to show that G is abelian and it says a*a=e. To show its abelian i assume i have to demonstrate the elements are commutative. I guess i need to show elements only of a as no others are mentioned. So a=a^-1.

a*a^-1 = a^-1*a=e therefore commutative and abelian.

 

[morphism]

A group G is abelian if and only if ab=ba for any a and b in G. This is equivalent to saying that aba^-1b^-1=e for any a and b in G (why?). Now in your group, a²=e, or equivalently, a*a=e for all a. Thus, because inverses are unique (why?), a^-1=a. So now we see that the expression aba^-1b^-1 is equal to abab (why?). And finally: why is this equal to e?

 

[karnten07]

A group G is abelian if and only if ab=ba for any a and b in G. This is equivalent to saying that aba^-1b^-1=e for any a and b in G (why?). Now in your group, a²=e, or equivalently, a*a=e for all a. Thus, because inverses are unique (why?), a^-1=a. So now we see that the expression aba^-1b^-1 is equal to abab (why?). And finally: why is this equal to e?

Because e=1 so e*e = e?

 

[morphism]

No, that's not right. Why do you say that?

 

[karnten07]

No, that's not right. Why do you say that?

I'm very new to this, I've missed a whole semester on this stuff, but need to do it to do further modules of group theory. Oh well, i will try harder next time.

 

[morphism]

That's a good idea. You need to put in some effort to understand this stuff. Reading your posts gave me the impression that you really don't understand the fundamental ideas at work here. Better luck next time I suppose.