Proof on Normal Subgroups and Cosets in Group Theory

Click For Summary
SUMMARY

This discussion centers on proving that if A, the intersection of subgroup H and the alternating group of permutations on n elements, is not equal to H, then A is a normal subgroup of H with index two. The proof begins by selecting an element g in H that is not in A, demonstrating that gA and A form two distinct cosets of A in H. The argument confirms that H contains both even and odd permutations, establishing that half of H's elements are even, thus validating the index of A in H as two.

PREREQUISITES
  • Understanding of group theory concepts, specifically subgroups and normal subgroups.
  • Familiarity with permutation groups and the alternating group.
  • Knowledge of cosets and their properties in group theory.
  • Basic proof techniques in abstract algebra.
NEXT STEPS
  • Study the properties of normal subgroups in group theory.
  • Learn about the structure and properties of the alternating group, specifically A_n.
  • Explore the concept of cosets in more depth, including left and right cosets.
  • Investigate examples of groups with normal subgroups and their indices.
USEFUL FOR

Students and educators in abstract algebra, particularly those focusing on group theory, as well as mathematicians interested in the properties of permutation groups and normal subgroups.

frinny913
Messages
2
Reaction score
0
This is a proof I am struggling on ...

Let H be a subgroup of the permutation of n and let A equal the intersection of H and the alternating group of permutation n. Prove that if A is not equal to H, than A is a normal subgroup of H having index two in H.

My professor gave me the hint to begin by letting g be in H but not in A and then showing that gA and A are two cosets of A in H.
 
Physics news on Phys.org
The alternating group consists of all even permutations, right? If A is not equal to H, then H must contain an odd permutation, g, right? What you want to show is that half the elements of H are even permutations and half are odd. Hint: gH=H. That makes A a subgroup of H of index 2.
 

Similar threads

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