Questions tagged [p-groups]
The p-groups tag has no usage guidance.
125
questions
-4
votes
1
answer
126
views
Exponential order of unipotent elements in an endomorphism ring of abelian groups
$\DeclareMathOperator\End{End}\newcommand{\Id}{\mathrm{Id}}$Let $E=\End(I)$ be the endomorphism ring of the abelian group $I$.
We have the following statement for $B\in E$, $p$ a prime number and $r$ ...
- 93
4
votes
0
answers
207
views
Finite 2-groups with $(ab)^{2}=(ba)^{2}$
There exist nonabelian finite 2-groups $G$ with the property $(A2)$ : for every $a,b\in G$, $(ab)^{2}=(ba)^{2}$. An example of a such group is given by the quaternion group $Q_{8}$ of order 8. Is ...
- 913
6
votes
1
answer
144
views
Is the largest normal abelian subgroup of a finite 2-group $P$ of order at least the square root of the order of $P$?
Let $G$ be a group of order $2^n$. Does $G$ have a normal abelian subgroup of order at least $2^{n/2}$?
(This is true, via computations in GAP, for $n \le 8$.
The question is similar to one posed ...
- 921
6
votes
2
answers
267
views
Differences between $p$-groups and $q$-groups
First, let me include the same disclaimer that goes in the first line of any article I write: all groups considered herein are finite.
Academically, I work with connecting the arithmetic structure of ...
3
votes
0
answers
109
views
The intersection of the kernels of the real valued irreducible characters of a 2-group
For a $2$-group $P$ (that is, $|P|$ is a power of 2) let $K$ be the intersection of the kernels of the real-valued irreducible characters of $P.$ If the center $Z$ of $P$ is elementary abelian, then ...
- 322
4
votes
0
answers
154
views
The rank of indecomposable finite abelian 2-group
$\DeclareMathOperator\rank{rank}$Let $P$ be a finite $p$-group. The rank of $P$ is $\log_{p}|P/\Phi(P)|$ where $\Phi(P)$ is the Frattini subgroup of $P$, we write $\rank(P)=\log_{p}|P/\Phi(P)|$.
Let a ...
- 343
2
votes
0
answers
61
views
Wedderburn decomposition of wreath product of cyclic p-groups
Let $G$ be wreath product of cyclic group of prime order $p$ by itself, i.e. $G=C_p \wr C_p$, where the action of $C_p$ is taken as cyclic permutation on generators of first $p$ cyclic groups. Can we ...
- 381
1
vote
0
answers
136
views
Wedderburn decomposition of semisimple group algebras
Let $G$ be a finite $p$-group. What can we say about the Wedderburn decomposition of the group algebra $FG$? Here $F$ is a finite field of characteristic co-prime to $p$. Can we say something in the ...
- 381
3
votes
1
answer
270
views
Structures of subgroups of a finite abelian p-group
$\newcommand\la{\langle}\newcommand\ra{\rangle}$Let $G=\mathbb{Z}/p^{i_1}\times\cdots\times\mathbb{Z}/p^{i_r}$ with $i_1\leq\ldots\leq i_r$ be a finite abelian $p$-group. Then there can be many ...
- 183
5
votes
1
answer
187
views
Local vs global nilpotence class (Lazard correspondence)
The Lazard Correspondence is often phrased (for simplicity) for $p$-groups of nilpotence class $c < p$, but it works more generally whenever every 3-generated subgroup has nilpotence class $< p$,...
- 2,807
5
votes
1
answer
220
views
Number of subgroups of a $p$-group of index $p^k$
Let $p$ be a prime, let $n$ and $k$ be positive integers
and let $G$ be a group of order $p^n$.
Further, let $a_{p^k}$ denote the number of subgroups of $G$ of index $p^k$.
If $a_{p^k}$ is greater ...
- 349
18
votes
1
answer
806
views
Groups with a unique lonely element
Does there exist a finite group $G$ of order greater than two containing a unique element $g$ such that
$$
g\notin\langle x\rangle
\hbox{ for all $x\in G\setminus\{g\}$ ?}
$$
Or we have another ...
- 3,762
2
votes
1
answer
276
views
Status of a conjecture of Thompson
Let $ S $ be a finite group. Denote by $\mathcal{B}_0(S)$ the set of the subgroups $H$ of $S$ satisfying $|H:H'| > |K:K'|$ for every proper subgroup $K$ of $H$ ($H'$ denotes the drived subgroup of ...
- 31
4
votes
0
answers
160
views
On 2-groups of exponent 4 and class 2
Suppose A is a 2-group with the following properties:
$\lvert A \rvert = t^3$ with $t$ some even power of $2$;
$A$ and $Z(A)$ (the center of $A$) are of exponent $4$;
$\lvert Z(A) \rvert = t$ and $[A,...
- 3,871
1
vote
1
answer
233
views
How many elements of each order are there in this $p$-group? [closed]
Let $G$ be a countable Abelian $p$-group which equals a direct sum of at most countably many finite cyclic groups and at most countably many copies of the Prüfer $p$-group, where these finite cyclic ...
- 4,401
5
votes
0
answers
176
views
Can an infinite abelian $p$-group be tall and thin?
Does there exist an abelian $p$-group $A$ with countable Ulm invariants and uncountable height?
Here by height, I mean the minimal ordinal $\rho$ such that $p^\rho A$ is divisible [1]. For an ordinal ...
- 55.4k
8
votes
1
answer
516
views
Constructing a group of order $2187=3^7$
I am trying to look for the $2$-generated groups of order $3^7$ and class $4$ all whose upper central series quotients are elementary abelian of order 9 except the center which has order $3$.
A small ...
- 405
1
vote
1
answer
84
views
Infinite pro-$p$ group of finite solvable length and finite coclass
I was reading about infinite pro-$p$ groups of finite coclass from the book "The Structure of Groups of Prime Power Order" by Leedham-Green and McKay. I asked this question in math....
- 243
3
votes
1
answer
123
views
Permutation representation of a finite $p$-group
In the (xi) group of the classification of groups of order $p^4$ given by W.Burnside in his book," Theory of Groups Of Finite Order". The group ($\mathbb{Z_{p^{2}}}\rtimes \mathbb{Z_{p^{}}}) ...
- 381
3
votes
0
answers
142
views
Units in group rings
Let $F$ be any field with $p$ elements and $G$ be any finite $p$-group, combining together they form a group ring $FG$. And $V(FG)$ denotes group of units of coefficient-sum equal to 1 in $FG$. We ...
- 381
1
vote
0
answers
122
views
Structure/description of a finitely presented group
I am unable to see the structure of the following finitely presented group.
$$\langle a,b,c,d : [a,b]=c=a^p,\ [c,b]=c^p=d^p,\ b^{p^2}=c^{p^2}=1 \rangle$$
I have tried in GAP, but it is not showing any ...
- 381
1
vote
0
answers
81
views
On isoclinism classes of finite p-groups
With reference to
James, Rodney, The groups of order (p^6) ((p) an odd prime)., Math. Comput. 34, 613-637 (1980). ZBL0428.20013., My question is can we get isoclinism class $\phi_2$ for a finite p-...
- 381
6
votes
1
answer
405
views
On classifying groups of order $p^5$
Can someone suggest me some source where the author has classified all non-isomorphic groups of order $p^5$ ? I need complete classification (not upto isoclinism), and also in finitely presented form ....
- 381
0
votes
1
answer
129
views
Faithful representation of group of order $p^4$
In the (xi) group of the classification of groups of order $p^4$ given by W.Burnside in his book, "Theory of groups of finite order". The group ($\mathbb{Z}_{p^{2}}\rtimes \mathbb{Z}_{p^{}}) ...
- 381
1
vote
1
answer
165
views
Presentations of groups of order $p^4$
In the (xi) group of the classification of groups of order $p^4$ given by W.Burnside in his book," Theory of Groups Of Finite Order". The group ($\mathbb{Z_{p^{2}}}\rtimes \mathbb{Z_{p^{}}}) ...
- 381
1
vote
0
answers
57
views
Finite $p$-groups of co-class $3$, class at least $4$ and some controlled generator growth
I am trying to prove the following comment (Ref. https://link.springer.com/article/10.1007/s00605-016-0938-5 Page-684, Rmk3.2):
Let $G$ be a finite $p$-group of co-class $3$, class $\geq 4$. Then $G$ ...
- 405
3
votes
1
answer
237
views
Direct proof (or reference) that a given $p$-group is extra-special
Writing a paper on algebraic surfaces, I was led to consider the finite group $\mathsf{H}(A)$ whose presentation is the following.
I start with an anti-symmetric matrix $A=(a_{ij})$ of order $2n$ ...
- 63.9k
0
votes
1
answer
94
views
An outer automorphism of a 3-group of maximal class
Let $G$ be a finite 3-group of maximal class. The center $Z(G)$ contains two elements other than the identity. Does there exist an endomorphism of $G$ that maps one of them to the other?
This is true ...
user145520
1
vote
0
answers
63
views
When is the following preorder on the set of central elements of order 2 a total preorder?
Let $G$ be a finite 2-group. Denote by $S$ the set of central elements of $G$ of order exactly $2$. The relation $a\leq b$ iff there is an endomorphism of $G$ sending $b$ to $a$ defines a preorder on $...
user145520
3
votes
0
answers
89
views
A question to the derived length in modular group algebras
Let $p$ be a prime number, $G=:G_1$ a (non-Abelian) finite p-Group and $K$ a finite field with $\operatorname{char}(K)=p$. It is well-known that the group $G_2:=1+\operatorname{rad}(KG)$ is a p-group ...
- 581
1
vote
0
answers
18
views
Exponents in unit groups of modular group algebras
Let $p$ be a prime number, $G=:G_1$ a (non-Abelian) finite p-Group and $K$ a finite field with $\operatorname{char}(K)=p$. It is well-known that the group $G_2:=1+\operatorname{rad}(KG)$ is a p-group ...
- 581
1
vote
0
answers
63
views
Number of conjugacy classes of unit groups of modular group algebras
Let $n$ be a natural number, $p$ a prime number, $G$ a finite $p$-group and $K$ a finite field with $p^n$ elements. We focus on the group $1+J(KG)$, where $J(KG)$ is the Jacobson radical of $KG$, ...
- 581
0
votes
0
answers
320
views
Normal subgroups of $p$-groups
I was reading Professor Yukov Berkovich' paper "On Subgroups of Finite $p$-groups" when I stumled upon the following theorem:
Let $G$ be a nonabelian $p$-group with cyclic Frattini subgroup, $|\Phi(...
- 395
6
votes
1
answer
127
views
$p$-groups with isomorphic subgroup lattices
Given two non-abelian finite p-groups $P_1$ and $P_2$ of the same order that are not isomorphic.
Can $P_1$ and $P_2$ have isomorphic subgroup lattices?
(I'm not experienced with group theory, ...
- 24.4k
1
vote
0
answers
157
views
Computing the class-preserving automorphism group of finite $p$-groups
Let $G$ be a finite non-abelian $p$-group, where $p$ is a prime. An automorphism $\alpha$ of $G$ is called a class-preserving if for each $x\in G$, there exists an element $g_x\in G$ such that $\alpha(...
- 41
4
votes
1
answer
147
views
Do the class vector and character vector of a $p$-group determine each other?
To a finite $p$-group, we can associate two vectors $(v_0,v_1,\dotsc)$:
The class vector - $v_i$ is the number of conjugacy classes of order $p^i$.
The character vector - $v_i$ is the number of ...
- 5,474
5
votes
0
answers
157
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 ...
- 4,287
3
votes
1
answer
228
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 ...
- 7,302
11
votes
1
answer
466
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$?
...
- 9,722
1
vote
0
answers
29
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 ...
- 581
1
vote
0
answers
162
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 ...
- 405
1
vote
1
answer
392
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 $...
- 457
2
votes
0
answers
79
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 ...
- 405
4
votes
1
answer
174
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
172
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)$?
...
- 99
1
vote
0
answers
137
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 ...
- 457
3
votes
1
answer
242
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/...
- 457
-2
votes
1
answer
153
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\...
- 39
1
vote
0
answers
229
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 ...
- 457
1
vote
0
answers
31
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)$).
...