Register to reply

How to prove a group is abelian

by Johnson04
Tags: abelian, prove
Share this thread:
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
'Smart material' chin strap harvests energy from chewing
King Richard III died painfully on battlefield
Capturing ancient Maya sites from both a rat's and a 'bat's eye view'

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