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

Click For Summary

Homework Help Overview

The problem involves a group G of order p^n and the task is to show that any subgroup of order p^{n-1} is normal in G. The context is rooted in group theory, particularly focusing on properties of p-groups and subgroup structures.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to understand the conditions for normality of a subgroup and expresses uncertainty about how to proceed. Some participants suggest considering the action of G on cosets and propose steps to demonstrate the relationship between the subgroup and the kernel of a morphism. Others question the choice of action (left vs. right) and its implications for the homomorphism.

Discussion Status

The discussion is ongoing, with participants providing hints and steps to explore the problem further. There is a focus on clarifying the action of the group and the implications of subgroup orders, but no consensus has been reached on a specific approach yet.

Contextual Notes

The problem is situated before the introduction of Sylow theorems, which may limit the techniques available to participants. Concepts such as the nontrivial center of p-groups and Cauchy's theorem have been mentioned as relevant background.

demonelite123
Messages
216
Reaction score
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
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.
 
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.
 
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:
 

Similar threads

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