How to prove a group is abelian

by Johnson04
Tags: abelian, prove
Johnson04 is offline
Sep15-09, 11:05 PM
P: 18
1. The problem statement, all variables and given/known data
Let [tex]G[/tex] be a finite group which possesses an automorphism [tex]\sigma[/tex] such that [tex]\sigma(g)=g[/tex] if and only if [tex]g=1[/tex]. If [tex]\sigma^2[/tex] is the identity map from [tex]G[/tex] to [tex]G[/tex], prove that [tex]G[/tex] is abelian.

2. Relevant equations
Show that every element of [tex]G[/tex] can be written in the form [tex]x^{-1}\sigma(x)[/tex] and apply [tex]\sigma[/tex] to such an expression.

3. The attempt at a solution
My first question is how to obtain [tex]x=x^{-1}\sigma(x)\mbox{, }\forall x\in G[/tex].

If [tex]x=x^{-1}\sigma(x)\mbox{, }\forall x\in G[/tex] is obtained, then by applying [tex]\sigma[/tex] to the identity, and denote [tex]\sigma(x)[/tex] by [tex]y[/tex], we get [tex]y=y^{-1}x[/tex]. Then take inverse on both sides to get [tex]y^{-1}=x^{-1}y\Rightarrow xy^{-1}=y[/tex]. So [tex]y^{-1}x=xy^{-1}[/tex]. It seems the binary operation in the group commutes, but since [tex]y[/tex] is actually the image of [tex]x[/tex] under the automorphism [tex]\sigma[/tex]. So my second question is how to reach the conclusion from this result.

Thanks in advance for any help!
Phys.Org News Partner Science news on
Going nuts? Turkey looks to pistachios to heat new eco-city
Space-tested fluid flow concept advances infectious disease diagnoses
SpaceX launches supplies to space station (Update)

Register to reply

Related Discussions
Abstract Algebra: Prove a non-abelian group of order 10 must have an elemnt of order2 Calculus & Beyond Homework 5
Abelian group Calculus & Beyond Homework 1
Abelian Group; what to do if the set is G=R-{1/3}? Calculus & Beyond Homework 3
Abelian group where a*a=e Calculus & Beyond Homework 13
What is this abelian group? Calculus & Beyond Homework 14