Skip to main content

All Questions

Filter by
Sorted by
Tagged with
33 votes
2 answers
1k views

Richness of the subgroup structure of p-groups

Given a prime $p$ and $n \in \mathbb{N}$, let $f_p(n)$ be the smallest number such that there is a group of order $p^{f_p(n)}$ which all groups of order $p^n$ embed into. What is the asymptotic growth ...
Stefan Kohl's user avatar
  • 19.6k
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 ...
Simon Rose's user avatar
  • 6,290
19 votes
1 answer
847 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 ...
Anton Klyachko's user avatar
13 votes
1 answer
455 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}$ ...
YCor's user avatar
  • 63.9k
10 votes
5 answers
980 views

Automorphism Group of a p-group : Looking for a Reference

In the following post by DavidLHarden : See Here He quoted the following claim: "There is a theorem that says that if $p$ is a prime and $|G|=p^n $ , then $|AutG| $ divides $ \Pi_{k=0}^{n-1} (p^{n}-...
Jason Mraz's user avatar
10 votes
4 answers
1k views

Classification of automorphism groups of groups of order $p^4$

For the purpose of classifying another algebraic structure which is parametrised by the choice of a group and of an automorphism I need the classification up to isomorphism of automorphism groups of p-...
Giuliano Bianco's user avatar
9 votes
8 answers
5k 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 ...
M.B's user avatar
  • 2,508
9 votes
2 answers
380 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$?
Pablo's user avatar
  • 11.3k
8 votes
1 answer
353 views

Structure of a single automorphism of a finite abelian p-group

A finite abelian $p$-group $H$ is homogenous when it is the direct sum of cyclic groups of the same order $p^r$, i.e. $H \cong \big(\mathbb{Z}/p^{r}\mathbb{Z}\big)^{e}$. Every finite abelian $p$-group ...
Nathan Dunfield's user avatar
8 votes
2 answers
295 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 ...
Pablo's user avatar
  • 11.3k
8 votes
1 answer
536 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 ...
Siddhartha's user avatar
7 votes
1 answer
370 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 ...
user avatar
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
6 votes
3 answers
964 views

Union of conjugates of a subgroup

Let $G$ be a finite group, $H \leq G$ a proper subgroup. It is well known that the union of the conjugates of $H$ does not cover $G$. I would like to know of more precise results (even in special ...
Pablo's user avatar
  • 11.3k
6 votes
1 answer
172 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 ...
Ken W. Smith's user avatar
  • 1,021
6 votes
2 answers
351 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 ...
6 votes
1 answer
377 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 ...
Rajkarov's user avatar
  • 933
6 votes
1 answer
621 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 ....
HIMANSHU's user avatar
  • 381
5 votes
1 answer
221 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\...
Pablo's user avatar
  • 11.3k
5 votes
2 answers
761 views

Center of finite metabelian p-groups

$\DeclareMathOperator\rk{rk}$ Let $G$ be a finite metabelian $p$-group, i.e. the commutator subgroup $G'$ of $G$ is abelian. Then I ask myself under which conditions does the following hold: $$\tag{$*...
Tobias Bembom's user avatar
5 votes
1 answer
247 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$,...
Joshua Grochow's user avatar
5 votes
1 answer
211 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 ...
user44312's user avatar
  • 613
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
3 answers
2k views

Representation theory of p-groups in particular upper tringular matrices over F_p

Finite p-groups - have p^n elements by definition. According to WP there is rich structure theory. Question: How far is representation theory of p-groups is understood? In case this question is too ...
Alexander Chervov's user avatar
4 votes
2 answers
227 views

Maximal subgroups of finite abelian $2$-groups

Suppose $G$ is a finite abelian $2$-group, and $S$ is a subset of $G$, $\langle S\rangle=G$,$S^{-1}=S$,$e\notin S$. How to determine whether there exists a maximal subgroup $M$ of $G$, such that $S$ ...
lunch zheng's user avatar
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?
Pablo's user avatar
  • 11.3k
4 votes
1 answer
332 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/...
sebastian's user avatar
  • 487
4 votes
2 answers
432 views

Index of agemo subgroups in $p$-groups

Having a finite $p$-group $G$ ($p$ odd). we denote by $\Omega_1(G)$ the subgroup generated by all the elements of $G$ of order dividing $p$. Is there an example of such a group $G$, such that $|G:...
Yassine Guerboussa's user avatar
4 votes
1 answer
207 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 ...
Timm von Puttkamer's user avatar
4 votes
2 answers
659 views

A question on $p$-central $p$-groups

Let $p$ be a fixed prime. A group $G$ is termed $p$-central if every element of order $p$ in $G$ lies in the center. Having a finite $p$-group $G$ of rank $k$ (the least integer, such that every ...
Yassine Guerboussa's 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
3 votes
1 answer
474 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 ...
YJ Kim's user avatar
  • 321
3 votes
1 answer
149 views

Finite $p$-groups of maximal class whose generators have order $p$

Let $G$ be a finite $p$-group of maximal nilpotency class that is not cyclic of order $p^2$. Then $G$ is $2$-generated, say $G=\langle a,b\rangle$. Is there a classification in the case when $a^p=b^p=...
Tod's user avatar
  • 33
3 votes
1 answer
269 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$ ...
Francesco Polizzi's user avatar
3 votes
2 answers
268 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 ...
user101's user avatar
  • 31
2 votes
1 answer
216 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 ...
Pablo's user avatar
  • 11.3k
2 votes
1 answer
860 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 ...
E. Stebbe's user avatar
2 votes
1 answer
105 views

A characterization of almost relatively free, finite $p$-groups

Let $G$ be a finite minimally $d$-generated $p$-group. If $G$ is relatively free, that is $G$ is a quotient of the free group $F$ on $d$ generators by a fully invariant subgroup of $F$, then the ...
Yassine Guerboussa's user avatar
2 votes
1 answer
483 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 $...
sebastian's user avatar
  • 487
2 votes
1 answer
834 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?
Mohsen's user avatar
  • 21
2 votes
1 answer
306 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 ...
Pablo's user avatar
  • 11.3k
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
3 answers
278 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?
Pablo's user avatar
  • 11.3k
1 vote
1 answer
306 views

A finite $p$-group with certain properties

Is there a finite $p$-group $G$ such that : (a) $G= \langle A,x,y \rangle$, with $G/Z(G)$ has exponent $p$, $A$ is a maximal abelian normal subgroup of $G$, and $G/A$ has order $p^2$ (thus it is ...
Yassine Guerboussa's user avatar
1 vote
1 answer
132 views

Maximal abelian subgroups of an extraspecial group of order $2^{2m+1}$

I've found a proof of the structure of maximal abelian normal subgroups of an extraspecial group of order $2^{2m+1}$ in the book "Endlichen Gruppen I" by B. Huppert but there is a part of ...
Vicent Miralles's user avatar
1 vote
1 answer
102 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....
usermath's user avatar
  • 243
1 vote
1 answer
192 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 ...
Mikhail Borovoi's user avatar
1 vote
2 answers
602 views

finite abelian p-groups with solvable automorphism group

Let $G$ be an abelian (not elementary) finite $p$-group. In what conditions the automorphism group of $G$ is solvable?
majid arezoomand's user avatar
1 vote
1 answer
196 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^{}}}) ...
HIMANSHU's user avatar
  • 381