Skip to main content

All Questions

21 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
7 votes
0 answers
405 views

How can I get my hands on McKay's "Finite p-groups" lecture notes?

How can we find Susan 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 ...
Steve D's user avatar
  • 4,425
5 votes
0 answers
299 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 (...
user avatar
4 votes
0 answers
186 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,...
THC's user avatar
  • 4,547
2 votes
0 answers
202 views

Two $p$-groups whose automorphism groups have isomorphic Sylow $p$-subgroups

Fix a prime $p$, and let $M$ be the unique nonabelian group of order $p^3$ and exponent $p$. Let us denote by $E_n$ the elementary abelian group of rank $n$. Is it true that $\operatorname{Aut}(M \...
Yassine Guerboussa's user avatar
2 votes
0 answers
130 views

Non left $k$-Engel elements in a nilpoent group always generate this group

Given a finite nilpotent group $G$ and let us denote by $L_n(G)$ the set of left $n$-Engel elements in $G$. Assume that $n$ is the smallest positive integer such that $L_n(G)=G$. Is it true that $G$ ...
Yassine Guerboussa's user avatar
1 vote
0 answers
109 views

Center of factors of a finite $p$-group, obtained from a minimal normal subgroup

throughout a research problem about finite $p$-groups, I have a challenge as follows, Let $G$ be a finite non-abelian $p$-group, where $p$ is odd and $Z(G)$ is non-cyclic. ($Z(G)$ denotes the center ...
shankfei's user avatar
  • 111
1 vote
0 answers
105 views

Groups $P$ of order $p^5$ with $\Omega_1(P)=P$

I have been working with (particular) groups $P$ of order $p^5$. In fact, the ones that interest me the most are those that satisfy $$\langle x\in P\mid x^p=1\rangle=:\Omega_1(P)=P.$$ After a search ...
Antoine's user avatar
  • 245
1 vote
0 answers
128 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 ...
HIMANSHU's user avatar
  • 381
1 vote
0 answers
88 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-...
HIMANSHU's user avatar
  • 381
1 vote
0 answers
65 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 $...
user avatar
1 vote
0 answers
67 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$, ...
Sven Wirsing's user avatar
1 vote
0 answers
193 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(...
Rohit's user avatar
  • 41
1 vote
0 answers
168 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 ...
Siddhartha's user avatar
1 vote
0 answers
145 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 ...
sebastian's user avatar
  • 487
1 vote
0 answers
239 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 ...
sebastian's user avatar
  • 487
1 vote
0 answers
134 views

Dense free subgroups

Let $F$ be a free pro-$p$ group (for a prime number $p$) on a finite set $X$, $\Phi$ the abstract subgroup generated by $X$, $\{1\} \neq N \lhd_c F$. Is it possible that $\Phi \cap N = \{1\}$?
Pablo's user avatar
  • 11.3k
1 vote
0 answers
166 views

Lower central series in a free pro-p group

Let $F$ be a nonabelian finitely generated free pro-$p$ group, $H \leq_c F$ of infinite index. Denote by $\{F_n\}_{n \in \mathbb{N}}$ the lower central series of $F$, and set $r_n = [F : F_nH]$. Is ...
Pablo's user avatar
  • 11.3k
1 vote
0 answers
82 views

A bound on the size of the center

Let $p$ be a prime number, $F$ a free pro-$p$ group, $H \leq_c F$ of infinite index. Can it be that $$\sup_{N \lhd_o F} |Z((F/N)/C_{F/N}(HN/N))| < \infty ?$$
Pablo's user avatar
  • 11.3k
1 vote
1 answer
308 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$-...
Pablo's user avatar
  • 11.3k
0 votes
0 answers
96 views

The relation between two characteristic subgroups in finite p-group

Suppose $G$ is a finite $p$-group. Let \begin{align*} \mho_{1}(G)=\langle a^p\mid a\in G\rangle,\quad\Omega_{1}(G)=\langle a\in G\mid a^p=1\rangle. \end{align*} There are examples such that $|G|\leq |\...
gdre's user avatar
  • 171
0 votes
0 answers
345 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(...
Joakim Færgeman's user avatar