Questions tagged [p-groups]
The p-groups tag has no usage guidance.
139
questions
5
votes
0
answers
170
views
How can I get my hands on McKay's "Finite p-Groups" lecture notes?
The notes I'm talking about are these.
I emailed Peter Cameron, but he has since moved to a different university, and has no copies himself. I also emailed the school manager at Queen Mary, but they ...
3
votes
1
answer
286
views
For a pro-p, profinite group, abelianization being finitely generated is the same as being topologically finitely generated
I remember reading (without proof) that for $\Gamma$ a profinite, pro-$p$ group, the following are equivalent:
1) Every open subgroup $\Gamma_0$ is topologically finitely generated.
2) The ...
11
votes
1
answer
484
views
Is the norm element characteristic in modular group rings?
Let $G$ be a finite $p$- group and let $\varphi$ be an automorphism of $\mathbb{F}_pG$ as $\mathbb{F}_p$-algebras and let $n = \sum_{g\in G} g$ be the norm element. Does it follow that $\varphi(n)=n$?
...
1
vote
0
answers
31
views
Defect of subnormality in unit groups of modular group algebras
Let $p$ be a prime number, $G$ a finite p-Group and $K$ a finite field with $char(K)=p$. It is well-known that the group $1+rad(KG)$ is a p-group containing $G$. $G$ is normal in $1+rad(KG)$ if and ...
1
vote
0
answers
165
views
about a strange property of p-groups of maximal class
I am trying to look for a finite $p$-group of maximal class of order at least $p^{2p+1}$ exponent at least $p^3$ which possibly has the following property :
If s is an element in $G-G_1$ ($G_1$ is ...
1
vote
1
answer
442
views
Certain $p$-group with cyclic center
Let $G$ be a finite $p$-group of derived length $d$, which is not a Dedekind group.
(i.e., possesses at least one non-normal subgroup).
Let $G^{(d-1)}$ be the unique normal subgroup of $G$ of order $...
2
votes
0
answers
82
views
p-group of maximal class
I am trying to prove that if $G$ is a $p$-group of maximal class and order $p^4$ ($p$ odd), then its unique two-step centraliser $G_1=C_G([G,G])$ is of the form $C_{p^2}\times C_p$. It is clear from ...
4
votes
1
answer
181
views
Central extensions of Suzuki 2-groups
Recall the definition of the finite Suzuki 2-groups: These are finite non-abelian 2-groups that contain more than one involution such that a solvable group of automorphisms permutes the involutions ...
2
votes
1
answer
175
views
a question about finite 2-group
Please help me about the following question:
Suppose $G$ is a finite 2-group and $x\in Z(M)\setminus Z(G)$ for some maximal subgroup $M$ of $G$ such that $x^2\in Z(G)$, is it true $x\in Z_2(G)$?
...
1
vote
0
answers
142
views
Conjugacy classes of non-normal subgroups of a finite $p$-group
Let $G$ be a finite $p$-group of derived length $d$ and nilpotency class $c$. Suppose that $G$ is not a Dedekind group (i.e., possesses at least one non-normal subgroup). Suppose that $G^{(d-1)}$ has ...
3
votes
1
answer
273
views
The nilpotency class and the derived length of a $p$-group
Let $G$ be a finite $p$-group of nilpotency class $c$ and of derived length $d$.
As is well known, we have $d\leq \lfloor\log_2 c\rfloor+1$,
(https://groupprops.subwiki.org/wiki/...
-2
votes
1
answer
160
views
Number of subgroups of a group of orders $p^3$ [closed]
Let $p$ be a prime number. Is there a formula for the number of subgroups of
$$\mathbb{Z}/p\mathbb{Z}\times \mathbb{Z}/p^2\mathbb{Z}$$
$$\mathbb{Z}/p\mathbb{Z}\times \mathbb{Z}/p\mathbb{Z}\times\...
1
vote
0
answers
236
views
Cyclic subgroups of finite $p$-groups
Let $G$ be a finite non-Dedekind $p$-group with non-cyclic center, where $p$ is an odd prime.
By $[\langle x\rangle]_G=\{g^{-1}\langle x\rangle g\ |\ g\in G\},$
I mean the conjugacy class of the ...
1
vote
0
answers
36
views
Bounding the exponent of finite $p$-groups with normalizer conditions on cyclic subgroups
Suppose $P$ is a non-cyclic finite $p$-group satisfying the following two conditions:
All cyclic subgroups of order $p$ in $P$ are normal (this is equivalent to saying that $\Omega(P) \subset Z(P)$).
...
0
votes
2
answers
937
views
Existence of a cyclic non-normal subgroup in a $p$-group
Let $G$ be a finite non-abelian $p$-group, where $p$ is an odd prime,
$N$ be a normal subgroup of $G$ of order $p$, where $\frac{G}{N}$ is non-abelian.
Does there exist an element $g\in G$ such that ...
6
votes
1
answer
826
views
Extra special p-groups
Let $P$ be an infinite extra special $p$-group for some prime $p$, namely, $Z(P)=P'=\Phi(P)$ and $P/Z(P)$ is infinite elementary abelian.
Let $C$ be a Prufer $q$-group for some prime $q\neq p$.
...
2
votes
1
answer
793
views
On $ p $-groups with at least one element of order $ p^{2} $
Let $G$ be a finite non-abelian $p$-group such that $G$ contains at least an element of order $p^2$ and for every nontrivial normal subgroup $N$, $G/N$ has not any elements of order p^2 and G/Z(G) is ...
3
votes
1
answer
247
views
p-groups with maximal class subgroup
Suppose $G$ is a finite non-abelian p-group of nilpotent class $c$. Is there a subgroup $H$ of nilpotent class $c$ and size $p^{c+1}$?
If this is not true, is it possible to add some additional ...
0
votes
1
answer
193
views
p-groups with special property on its centralizers
Thanks for any help or comment.
Suppose $G$ is a finite non-abelian p-group. Suppose $G$ has a proper non-abelian subgroup $M$ such that for every non-central element $x\in M$, $C_G(x)\subseteq M$. ...
32
votes
3
answers
3k
views
Is there a nice explanation for this curious fact about cyclic subgroups?
Here's something that I noticed that quite surprised me.
Let $G$ be a finite abelian group. Consider the following expression.
$$
\nu(G) = \sum_{\substack{H \leq G \\ H \text{ is cyclic}}} |H|
$$
It ...
3
votes
2
answers
250
views
p-groups as finite union of disjoint normal abelian subgroups
I was interested in knowing if groups with following property have been studied( like what can be said about structure of the group) :
"$G$ can be written as disjoint union of a given number of ...
6
votes
0
answers
103
views
Random pro-p groups via iterated uniformly random central extensions
Inspired by this question on math.se, I want to understand the following construction of a random pro-$p$ group:
We want to construct an inverse system
$$\cdots \xrightarrow{\alpha_i} G_i \...
9
votes
1
answer
281
views
p-groups such that the center is contained in many cyclic subgroups
I'm looking for examples of $p$-groups $G$ with the following three properties:
the center of $G$ is $\mathbb{Z}/p$, and
$G^{\text{ab}} = (\mathbb{Z}/p)^n$ for some $n$, and
for every $g \in G$ whose ...
7
votes
1
answer
366
views
Is $[729,57]$ a Sylow $3$-subgroup of some well-known group?
Let $G$ be the group $[729,57]$, using GAP's notation. I have so far two descriptions of the group:
a presentation
an embedding (not surjective!) of the group into a Sylow $3$-subgroup of the unit ...
3
votes
1
answer
324
views
Representations of p-groups where 1 is never an eigenvalue
Fix some $n \geq 1$ and some prime $p$. I'm looking for finite $p$-groups $G$ and finite-dimensional complex representations $V$ of $G$ with the following two properties:
The abelianization of $G$ ...
0
votes
1
answer
223
views
Uniform pro-p groups as a semi-direct product
Let $G$ a finitely generated uniform pro-$p$ group. Then $G/[G,G]$ is abelian and so it is of the form $\mathbb{Z}_p^r\times T$ for some integer $r$ and finite $p$-group $T$. Therefore, $[G,G]$ is ...
2
votes
1
answer
749
views
p-groups with unique normal minimal subgroup
Have $p$-groups with a unique normal minimal subgroup been classified? Is there any article on the subject?
6
votes
1
answer
295
views
Maximal cyclic quotient of a $p$-group
Let $G$ be a finite abelian $p$-group, $p$ a prime. I say that a pair $(G',\varphi)$ is a maximal cyclic quotient (please excuse me if this definition already exists and refers to a different concept) ...
4
votes
0
answers
175
views
Is the Tensor/Exterior square $G\otimes G$ or $G\wedge G$ of infinite p-group also a p-group?
Let $G$ be an infinite countable p-group. Is it true that $G\otimes G$ or $G\wedge G$ are also p-groups? (where G acts on itself by conjugation). For simplicity, you can consider that $G=[G,G]$, and ...
1
vote
1
answer
188
views
Involutive automorphisms of a finite abelian p-group
First, let $A$ be a finitely generated free abelian group, and $s$ an automorphism of order $2$ of $A$. Set $G=\{1,s\}$. Then we know that $A$ is a sum of indecomposable $G$-lattices $A_i$, where ...
5
votes
0
answers
293
views
A class 3 group of order 243
Let G be a group of order $243=3^5$. We denote by $(G_i)$ its lower central series and assume that $G$ has class $3$ and that $|G:G_2|=|G_3|=9$. We assume moreover that the cubing map factors as a (...
0
votes
2
answers
382
views
Is the Frattini subgroup of a f.g virtually pro-p group open?
Let $G$ be a finitely generated profinite group, and $p$ a prime number. Suppose that there exists some open pro-$p$ subgroup $H \leq_o G$. Must $G$ have only finitely many maximal open subgroups?
...
8
votes
8
answers
4k
views
classification of $p$-groups
I have two questions regarding to $p$-groups.
A $p$-group $G$ is said to be extraspecial of $G'=Z(G)$ has order $p$. Hence extraspecial groups are examples of $p$-groups with cyclic center. Of ...
5
votes
1
answer
218
views
Finite solvable groups are generated by a nilpotent subgroup + K elements?
Is there a constant $K \in \mathbb{N}$ such that for every finite solvable group $G$, there exists a nilpotent subgroup $N \leq G$, and a subset $S \subseteq G$ with $|S| \leq K$, and $\langle N,S\...
4
votes
1
answer
195
views
Finite p-groups and their fibered products
Is every finite $p$-group an epimorphic image of a fibered product of two finite $p$-groups which can be generated by $2$ elements?
1
vote
0
answers
174
views
finite p-group subgroup of infinite p-group
is there any finite p-group G that is subgroup or minimal/maximal subgroup of infinite p-group H?
if yes what is the limits? can this happen with different p's?
i'm more interested in being maximal ...
6
votes
0
answers
192
views
Is there a Noetherian profinite group of infinite rank?
Is there a profinite group $G$ such that any closed subgroup $H \leq G$ is finitely generated, but there is no $n \in \mathbb{N}$ such that every closed subgroup of $G$ can be generated by at most $n$ ...
6
votes
1
answer
675
views
Torsion in profinite groups
Is there a finitely generated profinite group $G$ with a closed subgroup of infinite index $K \leq G$ such that for every $g \in G$ there exists some $n \in \mathbb{N}$ for which $g^n \in K$ ?
Can $G$...
1
vote
3
answers
275
views
p-groups and 2-generated abelian images
Let $p$ be a prime number. Is there a finite nonabelian $p$-group $G$ such that any finite epimorphic $2$-generated image of $G$ is abelian?
4
votes
1
answer
274
views
Can every finite abelian $p$-group with duality pairing be written as cokernel of a symmetric matrix over the $p$-adic integers?
Let $G$ be a finite abelian $p$-group (where $p$ is a prime). Suppose there exists a symmetric bilinear map $\delta\colon G\times G\to \mathbb{Q}/\mathbb{Z}$ such that the induced map $g\to\langle g,\;...
6
votes
0
answers
412
views
An example of a simple infinite 2-group
I've asked this question before on Mathematics, and they suggested me to ask here (Link).
Is there an example of a simple infinite $2$-group?
Informations
If a $2$-group is Artinian I know that it ...
1
vote
1
answer
302
views
Subgroups of the union of conjugates
This question is an attempt to find a version of this question with a positive answer. In this question, we ask if one can find big subgroups in the union of conjugtes of small subgroups of finite $p$-...
2
votes
1
answer
215
views
Union of conjugates in p-groups
Fix a prime number $p$. Is there a sequence $\{a_k\}_{k \in \mathbb{N}}$ of real numbers with $$\lim_{k \to \infty} a_k = 0$$
such that for any finite $p$-group $G$, and any subgroup $H \leq G$ with ...
8
votes
2
answers
294
views
Is the free abstract group residually of rank d > 2?
Let $d \geq 2$ be an integer, and let $\mathcal{F}_d$ be the family of finite groups such that $G \in \mathcal{F}_d$ if and only if every subgroup of $G$ can be generated by at most $d$ elements.
Is ...
2
votes
0
answers
163
views
Exhausting a free pro-p group
Recall that for a profinite group $G$ we define the subgroup rank to be $$\sup \{d(H): H \leq_c G\}$$ where $d(H)$ stands for the minimal cardinality of a set of topological generators of $H$.
Let $p$...
9
votes
2
answers
374
views
Which finite p-groups occur as commutators of finite p-groups?
Let $p$ be a prime number. For which finite $p$-groups $H$ is there a finite $p$-group $G$ such that $[G,G] \cong H$?
4
votes
0
answers
189
views
On a problem of Berkovich
What is the real history of the following problem proposed by Berkovich [Y. Berkovich, Z.Janko, Groups of prime power order. Volume 2, Expositions in Mathematics, 56, Walter de Gruyter, New York, 2011]...
2
votes
1
answer
300
views
An epimorphism into a profinite group
Let $p$ be an odd prime number, $G$ a finitely generated nonabelian profinite group, $L \lhd_o G$ a pro-$p$ group with $[G : L] = 2$. Suppose that there is a continuous surjection from $G$ onto a free ...
2
votes
0
answers
118
views
Bases for free pro-p groups
Let $p$ be a prime number, $F$ a free nonabelian finitely generated pro-$p$ group, $L \lhd_o F$ and $Y$ a basis for $L$ with $y \in Y$. Is there a basis $X$ for $F$ such that $y$ is in the abstract ...
13
votes
1
answer
440
views
Variety of nilpotent Lie algebras or $p$-groups
Here's a couple of analogous questions, one in terms of finite-dimensional complex Lie algebras and one in terms of finite $p$-groups; I'd be interested in an answer to either:
1) Let $\mathcal{L}$ ...