Determine Aut(G)/Inn(G), given G = D4

  • Thread starter Thread starter NasuSama
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on determining the quotient group Aut(G)/Inn(G) for the dihedral group G = D4. The user identifies Inn(G) as consisting of four inner automorphisms: φ_e, φ_x, φ_y, and φ_{xy}. The user concludes that Aut(G) has eight bijective functions, leading to the assertion that the order of the quotient Aut(G)/Inn(G) is 2. The confusion arises from the discrepancy between the number of outer automorphisms and the expected result, with the user referencing a source that states there are four outer automorphisms.

PREREQUISITES
  • Understanding of dihedral groups, specifically D4.
  • Knowledge of automorphisms and inner automorphisms in group theory.
  • Familiarity with quotient groups and their properties.
  • Ability to interpret mathematical notation related to group theory.
NEXT STEPS
  • Research the structure and properties of dihedral groups, focusing on D4.
  • Study the definitions and examples of inner and outer automorphisms in group theory.
  • Learn about the process of finding cosets in quotient groups.
  • Examine the implications of the order of automorphism groups in algebraic structures.
USEFUL FOR

Students of abstract algebra, mathematicians specializing in group theory, and anyone interested in the properties of dihedral groups and their automorphisms.

NasuSama
Messages
323
Reaction score
3

Homework Statement



Determine Aut(G)/Inn(G), given G = D4.

2. The attempt at a solution

Let D_4 = \{e, x, y, y^2, y^3, xy, xy^2, xy^3\}

Found that Inn(G) = \{\phi_e, \phi_x, \phi_y, \phi_{xy}\} and \mathrm{Aut}(G) consists of 8 bijective functions. But I can't find Aut(G)/Inn(G).
 
Physics news on Phys.org
What is the order of the quotient?
 
micromass said:
What is the order of the quotient?

Then, it must be 2. This means there are 2 functions, but I found 4, which is quite strange.
 
They're saying that there are 4 elements in ##Aut(G)## that are also in ##Inn(G)##. And that there are 4 elements in ##Aut(G)## that are not in ##Inn(G)##.
 
So this means that I need to find two cosets. This is the implication of what the writer is trying to show.
 
Let's give a good try to determine the set of outer automorphism.

Well, there are four automorphisms that map y to y while there are other four automorphisms that map y to y^3. So the first four belong to one set while the remaining four belong to another set. Thus, we obtain two sets in \mathrm{Aut}(G)/\mathrm{Inn}(G).

Is this even right? I am assuming that is the answer.
 
Last edited:
I wonder if the one I have is true for \mathrm{Out}(D_4)
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
5
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K