# Questions tagged [p-groups]

Use with the (group-theory) tag. Refers to questions concerning finite groups of prime power order or infinite p-groups such as Prüfer groups, pro-p-groups, and Tarski monsters. This tag is not for p-adic number systems.

60 questions
1answer
10k views

### A $p$-group of order $p^n$ has a normal subgroup of order $p^k$ for each $0\le k \le n$

This is problem 3 from Hungerford's section about the Sylow theorems. I have already read hints saying to use induction and that $p$-groups always have non-trivial centres, but I'm still confused. ...
2answers
8k views

### More than 99% of groups of order less than 2000 are of order 1024?

In Algebra: Chapter 0, the author made a remark (footnote on page 82), saying that more than 99% of groups of order less than 2000 are of order 1024. Is this for real? How can one deduce this result? ...
4answers
10k views

1answer
5k views

### If $H$ is a proper subgroup of a $p$-group $G$, then $H$ is proper in $N_G(H)$.

Let $H$ be a proper subgroup of $p$-group $G$. Show that the normalizer of $H$ in $G$, denoted $N_G(H)$, is strictly larger than $H$, and that $H$ is contained in a normal subgroup of index $p$. Here'...
2answers
3k views

### Classify groups of order 27

Let $|G|=27$. Prove that all subgroups of index $3$ are normal. Classify all groups of order $27$. I can do the first one, but the classification is overwhelming. I don't even know where to start. ...
2answers
3k views

### Characterizations of the $p$-Prüfer group

I'm an undergrad student fairly keen on algebra. Over the different algebra courses I've taken, I've often encountered the so-called $p$-Prüfer group on exercises but somehow never got around to them. ...
2answers
817 views

1answer
2k views

### Any irreducible representation of a $p$-group over a field of characteristic $p$ is trivial.

In general, we know that if $G$ is a finite group and $K$ is a field, then $K[G]$ (the group algebra) is semisimple whenever $\operatorname{char}(K)$ does not divide the order of $G$. However, this ...
1answer
165 views

### Bound on the number of p-groups for fixed exponent

It's well-known that for each prime number $p$ there are exactly two groups of order $p^2$, five of order $p^3$, and fifteen of order $p^4$ (at least when $p>3$). I know that the classification of ...
3answers
373 views

1answer
280 views

### Unipotent action of pro-$p$-group

Say $p$ and $\ell$ are distinct prime numbers. Let $G$ be a pro-$p$-group which acts continuously on a finite-dimensional $\mathbb{Q}_\ell$-vector space $V$. Assume that the action of $G$ on $V$ is ...
1answer
121 views

2answers
301 views

### Proper subgroup of a finite $p$-group

I am a beginner to $p$-groups and have the following question at hand: Let $H$ be a proper subgroup of a finite $p$-group $G$. If $|H|=p^s$ , then there exists a subgroup of order $p^{s+1}$ ...
0answers
111 views

### Reference request: groups of order $p^4$.

I am looking for a textbook or a paper which include the classification of groups of order $p^4$ ($p$ is prime) using generators and relations. In particular I like to understand which group $G$ "...
5answers
2k views

### Any group of order $2p$ has a subgroup of order $p~$($p$ being a prime)

I want to show without using Sylow theorem that Any group of order $2p$ has a subgroup of order $p~$($p$ being a prime) My attempt: Since $|G|=2p,$ even $\exists~a\neq e\in G$ such that $a^{-1}=a.$...
1answer
119 views

### Random Group of order $4096$ with a center of size $2$

How can I create a random group of order $4096$ with a center of size $2$ ? The algorithm should be able to create every possible group with the given properties in principle. I think the list of ...
2answers
716 views

### Show that a p-group has a faithful irreducible representation over $\mathbb{C}$ if it has a cyclic center

A p-group is a group of order $p^d$ where p is a prime. If the center has order $p^m$ (since its order must divide the order of the group) then we have a one dimensional faithful irreducible ...
1answer
273 views