All Questions
Tagged with finite-groups p-groups
82 questions
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 ...
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?
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 ...
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 (...
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 ...
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\...
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
175
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 ...
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?
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$-...
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 ...
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 ...
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$?
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 ...
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}$ ...
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\}$?
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 ...
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 ?$$
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 ...
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 ...
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 ...
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 \...
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-...
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:...
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 ...
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$ ...
4
votes
1
answer
448
views
Number of generators of the automorphism group of an abelian group
Let $G$ be a finite abelian $p$-group. What is known about the minimal number of generators of a $p$-sylow of $Aut(G)$? is it bounded in terms of $d(G)$ the minimal number of generators of $G$ (and ...
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 ...
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?
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}-...
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 ...
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{$*...