Solve Henry's Normal Subgroup Problem

  • Thread starter Thread starter seshikanth
  • Start date Start date
  • Tags Tags
    Normal
Click For Summary
SUMMARY

The discussion centers on Henry's Normal Subgroup Problem, which states that if N is a normal subgroup of a finite group G, and the number of cosets [G:N] and the order of N, o(N), are relatively prime, then any element x in G that satisfies x^o(N) = e must belong to N. The solution involves applying the Lagrange's Theorem, which asserts that the order of a subgroup divides the order of the group. The key conclusion is that elements of G/N must relate back to N due to the properties of normal subgroups and cosets.

PREREQUISITES
  • Understanding of normal subgroups in group theory
  • Familiarity with Lagrange's Theorem
  • Knowledge of cosets and their properties
  • Basic concepts of finite groups and their orders
NEXT STEPS
  • Study the implications of Lagrange's Theorem in group theory
  • Explore the properties of normal subgroups in more depth
  • Research examples of finite groups and their cosets
  • Examine the relationship between group orders and subgroup orders
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, group theorists, and anyone interested in the properties of normal subgroups and their applications in finite group theory.

seshikanth
Messages
19
Reaction score
0

Homework Statement

If N is a normal subgroup in the finite group such that number of cosets of N in G [G:N] and o(N) are relatively prime, then show that any element x in G satisfying x^o(N) = e must be in N?

Homework Equations


The Attempt at a Solution



For any x in G, Nx will be an element in G/N . As N is normal, G/N is a group.
By Lagrangian Theorem, we will have x^o(G/N) belongs to N.
I am not able to get any clue after making lot of attempts beyond this point.

Can you please throw some light regarding this?

Regards,
Henry.
 
Last edited:
Physics news on Phys.org
Consider the coset xN
 

Similar threads

Normal subgroup generated by a subset A
  • · Replies 15 ·
Replies
15
Views
3K
Having all subgroups normal is isomorphism invariant
  • · Replies 1 ·
Replies
1
Views
2K
Show N is a normal subgroup and G/N has finite element
  • · Replies 2 ·
Replies
2
Views
2K
Proving Normality of [0] in Z/3Z Quotient Group
  • · Replies 4 ·
Replies
4
Views
4K
Subgroup of Index ##n## for every ##n \in \Bbb{N}##.
  • · Replies 1 ·
Replies
1
Views
2K
Proving N is a Normal Subgroup of G
  • · Replies 19 ·
Replies
19
Views
2K
Show group equivalence relation associated with normal subgroup
  • · Replies 6 ·
Replies
6
Views
3K
Using class equation to show that intersection is nontrivial
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Groups of Prime Power Order
  • · Replies 1 ·
Replies
1
Views
2K
Verifying a Proof about Maximal Subgroups of Cyclic Groups
  • · Replies 1 ·
Replies
1
Views
2K