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

  • Thread starter vanckzhu
  • Start date
In summary, the task is to prove that for a prime number p and any n greater than or equal to 2, every group of order Pp^n is not simple. A hint is given to consider the center of the group, which must be a non-trivial normal subgroup for the group to be non-simple. However, the center need not be a proper subgroup and if it is the entire group, Cauchy's Theorem may be useful in finding the solution.
  • #1
vanckzhu
5
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
  • #2
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.
 

1. What is a p-group of order p^n?

A p-group is a finite group with the property that the order of every element is a power of the prime number p. The order of the group is p^n, where n is a positive integer.

2. What does it mean for a group to be simple?

A simple group is a group that has no nontrivial normal subgroups. This means that the only subgroups of a simple group are the trivial subgroup (containing just the identity element) and the group itself.

3. Why is it important to prove that a p-group of order p^n is not simple?

Proving that a p-group of order p^n is not simple is important because it helps us understand the structure of p-groups and their subgroups. It also allows us to classify all possible groups of a given order.

4. How can one prove that a p-group of order p^n is not simple?

To prove that a p-group of order p^n is not simple, we can use the following steps:

  1. Assume that the group is simple.
  2. Show that the group has a nontrivial normal subgroup.
  3. Conclude that the assumption is false, and therefore the group is not simple.

5. Can a p-group of order p^n ever be simple?

Yes, a p-group of order p^n can be simple if and only if n = 1. This is because in this case, the only subgroup of the group is the trivial subgroup, making it simple. For all other values of n, the group will have nontrivial normal subgroups and therefore cannot be simple.

Similar threads

  • Math POTW for University Students
Replies
0
Views
98
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
6
Views
805
  • Calculus and Beyond Homework Help
Replies
1
Views
877
  • Calculus and Beyond Homework Help
Replies
9
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
Back
Top