Normal Cyclic Subgroup in A_4: Proving Normality and Identifying Elements

Click For Summary
SUMMARY

The cyclic subgroup { (1), (123), (132) } is not normal in A_4, the alternating group of degree 4. To prove normality, one must check if gH = Hg for all g in A_4, which can be tedious. An alternative approach involves identifying an element g in A_4 such that gHg^(-1) is not equal to H. Understanding the cycle structure of permutations is crucial, as it allows for quick identification of even permutations, which constitute the elements of A_4.

PREREQUISITES
  • Understanding of group theory, specifically normal subgroups
  • Familiarity with the alternating group A_4 and its properties
  • Knowledge of permutation cycle notation
  • Basic grasp of Sylow theorems in group theory
NEXT STEPS
  • Study the properties of normal subgroups in group theory
  • Learn about the structure and elements of the alternating group A_4
  • Explore permutation cycle notation and its applications
  • Investigate the Sylow theorems and their implications for subgroup normality
USEFUL FOR

Students of abstract algebra, particularly those studying group theory, as well as mathematicians interested in the properties of symmetric and alternating groups.

polarbears
Messages
23
Reaction score
0

Homework Statement



Is the Cyclic Subgroup { (1), (123), (132)} normal in A_{4} (alternating group of 4)

Homework Equations





The Attempt at a Solution



So I believe if I just check if gH=Hg for all g in A_4 that would be suffice to show that it is a normal subgroup, but that seems really tedious. Is there a easier way?

Also how can I figure out what the elements of A_4 are? I know its the even permutations but is there a way to quickly identity which ones it is? How do I visualize it?
 
Physics news on Phys.org
Visually speaking, A_4 is the group associated with rotations of the regular tetrahedron, if that helps.

One can use the Sylow theorems to prove normality sometimes, but in this case it doesn't help.
 
So only way is by brute force?
 
polarbears said:
So only way is by brute force?

No, it's not the only way. In this case, I would try and guess an element g of A4 such that gHg^(-1) is NOT equal to H, where H is your subgroup. It's not hard. You can recognize whether a permutation is even just by looking at it's cycle structure. Cycles with an odd number of elements are even permutations and cycles with an even number of elements are odd permutations.
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K