Prove that p-group of order p^n is not simple

  • Thread starter Thread starter vanckzhu
  • Start date Start date
Click For Summary
SUMMARY

Every p-group of order pn (where p is a prime and n ≥ 2) is not simple due to the presence of a non-trivial normal subgroup, specifically the center of the group. The center, being a subgroup of the p-group, is guaranteed to be non-trivial. If the center is not the entire group, it remains a proper subgroup, confirming the non-simplicity of the p-group. If the center encompasses the entire group, the group is abelian, which also leads to non-simplicity.

PREREQUISITES
  • Understanding of group theory concepts, particularly p-groups.
  • Familiarity with the definition and properties of the center of a group.
  • Knowledge of normal subgroups and their significance in group theory.
  • Basic understanding of Cauchy's Theorem in the context of group theory.
NEXT STEPS
  • Study the properties of p-groups and their implications on group structure.
  • Research the concept of normal subgroups and their role in determining group simplicity.
  • Explore Cauchy's Theorem and its applications in group theory.
  • Examine examples of abelian groups and their centers to solidify understanding of group non-simplicity.
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, group theorists, and anyone interested in the properties of p-groups and their implications on group structure.

vanckzhu
Messages
5
Reaction score
0

Homework Statement



Show that, for p prime and n greater than or equal to 2, that every group of order Pp^n is not simple.

Homework Equations


N/A

The Attempt at a Solution



Hint given regarding the center. I know that the center is not trivial, but I guess I have to show that the center is not the entire group...so the center (which obviously is a subgroup of p^n) is a non-trivial normal subgroup?

Edit: LaTex doesn't work here, sad.
 
Last edited:
Physics news on Phys.org
Partially correct. Assuming the center is a non-trivial proper subgroup of your p-group, then it is, by definition, normal - meaning your p-group is not simple. And it is required to be non-trivial. However, your center need not be a proper subgroup. If your center is the entire p-group, implying the group is abelian, what is your next step? Cauchy's Theorem would be useful.*edit* LaTeX does work here, use [ t e x ] and [ / t e x ], without spaces. There are some packages not included, but the basics will work.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K