Order of Automorphism and Abelian Groups

  • Thread starter RVP91
  • Start date
  • #1
50
0

Main Question or Discussion Point

If |Aut H| = 1 then how can I show H is Abelian? I've shown a mapping is an element of Aut H previously but didn't think that would help.

I have been looking through properties and theorems linked to Abelian groups but so far have had no luck finding anything that would help.

The closest I have is that it may have something to do with "any subgroup of an Abelian group is normal"

My line of argument was if |Aut G|=1 then Inn G = Aut G and so since Inn G is normal then G is normal?

However something tells me this is incorrect.

Thanks in advance for any help
 

Answers and Replies

  • #2
50
0
Here is my revised argument.
To show |Aut H| = 1 implies H is Abelian, we can show H is not Abelian implies |Aut H| does not equal 1.
If H is not Abelian then, we know firstly the identity map is always an automorphism of H. Furthermore we know that the mapping A: H ---> H given by A(x) = (h^-1)xh (where h,(h^-1),x are in H and h and (h^-1) are fixed). This tells us that we have |Aut H| does not equal to one. If H had been Abelian then A(x) = (h^-1)xh = (h^-1)x = x and this is just the identity map again.
 
  • #3
360
0
Your proof works, but try showing the result directly, i.e. without using contradiction.

Here's an even shorter proof. We know [itex]G/Z(G) \cong \text{Inn}(G) \subseteq \text{Aut}(G) [/itex]. So if |Aut(G)|=1, then |G/Z(G)| = 1, implying Z(G)=G.
 
  • #4
Deveno
Science Advisor
906
6
along the same lines:

if |Aut(G)| = 1, then every inner automorphism is the identity.

this means that for every x and g in G:

gxg^-1 = x, so

gx = xg.
 

Related Threads on Order of Automorphism and Abelian Groups

  • Last Post
Replies
6
Views
480
Replies
12
Views
3K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
3
Views
2K
Replies
3
Views
5K
Replies
1
Views
1K
  • Last Post
Replies
3
Views
8K
Replies
1
Views
1K
  • Last Post
Replies
7
Views
877
  • Last Post
Replies
3
Views
2K
Top