If a group G has order p^n, show any subgroup of order p^n-1 is normal

In summary, to show that any subgroup of order pn-1 is normal in a group G of order pn, we can consider the action of G on the set X of right cosets of H, our subgroup of order pn-1. By proving that the kernel of this action is equal to H, we can conclude that H is normal in G. This can be done by showing that H is a subgroup of N, the kernel of the action, and that the index of N in G is p times the index of H in N, which is 1. This would imply that G/N is a subgroup of Sym(X), and since the order of G/N divides p!, we can conclude that [G:N] divides p!,
  • #1
demonelite123
219
0
If a group G has order [itex] p^n [/itex], show that any subgroup of order [itex] p^{n-1} [/itex] is normal in G.

i have no idea how to start this. i know that to show that a subgroup N is normal in G, i need that [itex] gNg^{-1} = N [/itex]. so i start with any subgroup N of order [itex] p^{n-1} [/itex] but i have no idea how to continue.

this problem appears in the section before the sylow theorems are introduced so i can't use them. i know that for p-groups, the center is nontrivial and has prime power order. also in this same section, Cauchy's theorem was introduced which says if p divides the order of a group then that group has an element of order p. these concepts were introduced fairly recently to me so this may be why i am having trouble.

can someone give me a hint or 2 to continue? thanks
 
Physics news on Phys.org
  • #2
Let H be your subgroup of order pn-1. Consider the action of G on the set [itex]X=\{Hg~\vert~g\in G\}[/itex] by multiplication on the right. This determines a group morphism

[tex]G\rightarrow Sym(X)[/tex]

with kernel N. The idea is to prove that N=H. Prove this in the following steps:

1) [itex]N\subseteq H[/itex]
2) [G:N]=p[H:N]
3) G/N is a subgroup of Sym(X), so [G:N] divides p!
4) [H:N]=1.
 
  • #3
don't you actually want a left-action, so that you have a homomorphism, rather than an anti-homomorphism? i mean, usually mappings are written on the left, so we have x(gH), rather than (Hg)x (or Hg.x, if you prefer). it's a small (minor) issue, but usually actions are taken to be left-actions, because of the way we normally compose functions.
 
  • #4
Deveno said:
don't you actually want a left-action, so that you have a homomorphism, rather than an anti-homomorphism? i mean, usually mappings are written on the left, so we have x(gH), rather than (Hg)x (or Hg.x, if you prefer). it's a small (minor) issue, but usually actions are taken to be left-actions, because of the way we normally compose functions.

It would indeed make more sense. But I'm so used to right actions and right cosets that I can't help it :biggrin:
 

FAQ: If a group G has order p^n, show any subgroup of order p^n-1 is normal

What does it mean for a subgroup to be normal?

A subgroup is considered normal if it commutes with all elements of the group. This means that the subgroup is invariant under conjugation by any element of the group.

How can you prove that a subgroup of order p^n-1 is normal?

To prove that a subgroup of order p^n-1 is normal, you can use the fact that the index of the subgroup is p, which is the smallest prime divisor of the group order. This means that the subgroup must be contained in all subgroups of order p, making it normal.

Can you give an example of a group with order p^n and a normal subgroup of order p^n-1?

Yes, a cyclic group of order p^n has a normal subgroup of order p^n-1. For example, the group Z/p^nZ has a normal subgroup of order p^n-1, which is the subgroup of all elements that are multiples of p.

Why is it important to study normal subgroups?

Normal subgroups are important because they help to simplify the structure of a group. By understanding the normal subgroups of a group, we can break down a complex group into simpler subgroups and study their properties, which can lead to a better understanding of the group as a whole.

How does this theorem connect to other concepts in group theory?

The concept of normal subgroups is closely connected to other concepts in group theory, such as quotient groups and the isomorphism theorems. The theorem mentioned in the question is a special case of the third isomorphism theorem, which states that if H and K are normal subgroups of a group G, then the quotient group (HK)/K is isomorphic to H/(H∩K). This connection helps to deepen our understanding of group structures and their relationships.

Similar threads

Replies
6
Views
1K
Replies
1
Views
1K
Replies
9
Views
1K
Replies
15
Views
2K
Replies
1
Views
758
Back
Top