What are the automorphism groups of S3?

  • Thread starter hgj
  • Start date
  • Tags
    Group
In summary, the conversation discusses determining the group of automorphisms of S3 and the relationship between Inn(S3) and Aut(S3). It is known that Inn(S3) is a subgroup of Aut(S3) and has only 6 automorphisms. The question is how to show that Aut(S3) is also contained in Inn(S3). The hint given is to show that Aut(S3) has no more than 6 automorphisms. The conversation then suggests finding a set of two generators for S3 and determining the relationship between cycle structure and conjugacy. Finally, it is asked if a specific pair of elements can be used to create an automorphism.
  • #1
hgj
15
0
The question is to determine the group of automorphisms of S3 (the symmetric group of 3! elements).

I know Aut(S3)=Inn(S3) where Inn(S3) is the inner group of the automorphism group.

For a group G, Inn(G) is a conjugation group (I don't fully understand the definition from class and the book doesn't give one).

I also know that Inn(S3) is a subgroup of Aut(S3), so Inn(S3) is contained in
Aut(S3).

I'm not sure how to show the other way thought, that everything in Aut(S3) is in Inn(S3).

I talked to my professor, and he gave me the hint that Inn(S3) has only 6 automorphisms, so I should show there are no more than 6 automorphisms in
Aut(G). The problem is I'm not sure how to do this.
 
Physics news on Phys.org
  • #2
A basic result on the subject, which I am sure would be found in any book or article pertaining to such, is that for n not equal to 6, Inn(Sn) exhausts the Aut(Sn) i.e. they are the same. I think its called complete (one of the many uses of the word). In other words for n not equal to 6, Out(Sn) is trivial. I recall briefly the proof. The idea is to show that all automorphisms that preserve the conjugacy class of transpositions is inner. Then you show for that for all n not 6, there does not exsist a conjugacy class of order 2 with the same order as the class of tranpositions. After this the proof is trivial since Inn(S3) is comprised of the mappings which conjugate all elements of S3 by a fixed element in S3. There are only 3!=6 such elements for which to fix, and therefore the order of Inn(S3)=6.
 
  • #3
S_3 is the permutation group on 3 elements, it has order 3!.consider where an automorphism sends the 2-cycles (there are 3; what groups of order 3! do you know?)

there is no need to invoke the aut/inn general S_n argument for this case, it can be done by inspection.

oh, and inner automorphism of G is a map f_x from G to G f_x(g)=xgx^{-1}

this is an automorphism, and f_x=f_y means that x=y, thus there are distinct automorphisms for each element of G
 
Last edited:
  • #4
Hints:

Find a set of two generators for S3. Actually, find all pairs of generators for the group. What do all these pairs have in common? You should find two types of pairs. Specifically, you will find 9 pairs of generators, 3 will be of one type, 6 will be of another. Pick one type.

Inn(S3) = Aut(S3).

Determine the relationship between whether or not two permutations have the same cycle structure and whether or not they are conjugate.

Having picked your type in the first hint, if {x,y} is a pair of elements, and {x',y'} is any pair of the same type, is x -> x', y -> y' an automorphism?
 

1. What is the group of automorphisms of S3?

The group of automorphisms of S3 is the set of all bijective maps from S3 to itself that preserve the group operation. In other words, these are transformations of S3 that do not change the structure of the group.

2. How many elements are in the group of automorphisms of S3?

The group of automorphisms of S3 has 6 elements. This can be seen by considering the possible permutations of the three elements in S3.

3. Is the group of automorphisms of S3 abelian?

Yes, the group of automorphisms of S3 is abelian. This means that the order of multiplication does not matter, and any two elements in the group commute with each other.

4. What is the significance of the group of automorphisms of S3?

The group of automorphisms of S3 is significant in that it provides insight into the structure of the symmetric group S3. It also has applications in algebraic topology and group theory.

5. How is the group of automorphisms of S3 related to other mathematical concepts?

The group of automorphisms of S3 is closely related to the concept of symmetry and the group theory concept of isomorphism. It is also connected to the symmetric group S3 and the dihedral group D3.

Similar threads

  • Calculus and Beyond Homework Help
Replies
11
Views
1K
  • Calculus and Beyond Homework Help
Replies
8
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
Replies
0
Views
287
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
6
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
990
  • Linear and Abstract Algebra
Replies
5
Views
2K
Back
Top