My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
October 12th, 2017, 11:59 PM   #1
Senior Member
Joined: Jan 2015
From: usa

Posts: 103
Thanks: 1

Number of subgroups

Please help me to prove the following problem:

>1) Every subgroup of order $p^2$ contains $1\;(\text{mod }p)$ different subgroups of order $p$.

>2) Every subgroup of order $p$ is contained in $1\;(\text{mod }p)$ different subgroups of order $p^2\!$.


Last edited by skipjack; October 13th, 2017 at 01:36 AM.
mona123 is offline  
October 13th, 2017, 01:57 AM   #2
Global Moderator
Joined: Dec 2006

Posts: 20,114
Thanks: 1909

If the problem is referring to the subgroups of some group $G$, what are you told about $G$?
skipjack is online now  
October 14th, 2017, 09:55 AM   #3
Joined: Jan 2016
From: Athens, OH

Posts: 92
Thanks: 47

Your last couple of posts are related to a theorem of Helmut Wielandt. If G is a finite group of order $p^kn$ where p is a prime, then the number of subgroups of G of order $p^k$ is congruent to 1 mod p. Here, it is not assumed that p is prime to n. A proof can be found here

Now as to your specific questions (I assume p is prime and $p^2$ divides the order of G.)

1. Let H be a subgroup of order $p^2$. Either H is cyclic or H is the direct product of 2 subgroups of order p. In the first case, H has exactly one subgroup of order p. In the second case, H has $p^2-1$ elements of order p and hence ${p^2-1\over p-1}=p+1$ subgroups of order p.

2. I can't prove this without Wielandt's theorem. However, it is true and here's a proof. Let H be a subgroup of order p and $S=\{K:H\subset K\text{ and K is a subgroup of order }p^2\}$. Let L be the subgroup generated by all the elements of S (S is not empty). Since each $K\in S$ is abelian, H is a normal subgroup of L. By Wielandt, the number of subgroups of L/H of order p is 1 mod p. That is, the cardinality of S is 1 mod p.
johng40 is offline  
October 14th, 2017, 10:29 AM   #4
Senior Member
Joined: Sep 2016
From: USA

Posts: 535
Thanks: 306

Math Focus: Dynamical systems, analytic function theory, numerics
Here are some hints:

Start by proving that any group of order $p^2$ is abelian. To prove this consider such a group mod its center. What can you say if this quotient group is cyclic? Now apply Sylow's theorem to any group of order $p^2$.

For 2, I would suggest looking at equivalence classes of an element of order $p$ under conjugation. Apply the orbit stabilizer theorem to count the ways an element of order $p$ can belong to a subgroup of order $p^2$.

Last edited by skipjack; October 14th, 2017 at 04:27 PM.
SDK is offline  
October 15th, 2017, 03:14 PM   #5
Joined: Jan 2016
From: Athens, OH

Posts: 92
Thanks: 47


I previously confessed that I can't solve problem 2. So I would be quite interested in seeing your solution. Please post it.
johng40 is offline  

  My Math Forum > College Math Forum > Abstract Algebra

number, subgroup, subgroups

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Number of subgroups of infinite abelian group thippli Abstract Algebra 2 May 27th, 2013 09:26 AM
Subgroups gaussrelatz Algebra 1 October 11th, 2012 12:30 AM
Number of subgroups of Sn honzik Abstract Algebra 0 February 13th, 2011 07:45 AM
Subgroups DanielThrice Abstract Algebra 1 November 25th, 2010 03:28 PM
no subgroups bjh5138 Abstract Algebra 2 August 14th, 2008 01:03 PM

Copyright © 2019 My Math Forum. All rights reserved.