As of May 31, 2023, we have updated our Code of Conduct.

# Questions tagged [p-groups]

The tag has no usage guidance.

125 questions
Filter by
Sorted by
Tagged with
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$ ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
1 vote
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 ...
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 ...
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$,...
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 ...
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 ...
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 ...
160 views

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 ...
1 vote
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 ...
1 vote
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-...
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 ....
129 views

1 vote
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$ ...
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$ ...
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 ... 1 vote
63 views

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, ...
1 vote
157 views

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 ...
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 ...
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)$? ...
1 vote
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 ...
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/...
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\...
1 vote
### 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 ...
### 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)$). ...