|
This article is cited in 1 scientific paper (total in 1 paper)
Mathematical logic, algebra and number theory
The strict upper bound of ranks of commutator subgroups of finite $p$-groups
B. M. Veretennikov Ural Federal University, 19, Mira str., Ekaterinburg, 620002, Russia
Abstract:
All groups in the abstract are finite. We define rank $d(G)$ of a $p$-group $G$
as the minimal number of generators of $G$.
Let $p$ be any prime number, $k_1, \dots, k_n$ – positive integers, $n \geq 2$.
By $D(k_1, \dots, k_n)$ we denote the number of sequences $i_1,\dots,i_k$ in which
$k \geq 2$, $i_1,\dots,i_k$ are positive integers from $[1,n]$, $i_1 > i_2$,
$i_2 \leq \dots \leq i_k$ and for any $j \in [1,n]$ number $j$ may not
occur in such sequences more than $(p^{k_j}-1)$ times.
We prove that for any $p$-group $G$ generated by elements
$a_1,\dots,a_n$ of orders $p_1^{k_1},\dots,p_n^{k_n}$ $(n \geq 2)$ the
inequality
$d(G') \leq D(k_1, \dots, k_n, p)$ is true and the equality in this inequality is attainable.
Also, we prove that for any $p$-group $G$ generated by elements
$a_1,\dots,a_n$ of orders $p_1^{k_1},\dots,p_n^{k_n}$ $(n \geq 2)$,
with elementary abelian commutator subgroup $G'$ the class of nilpotency of $G'$ does not exceed
$p_1^{k_1}+\dots+p_n^{k_n}-n$ and this upper bound is also attainable.
Keywords:
finite $p$-group generated by elements of orders $p_1^{k_1},\dots,p_n^{k_n}$, number of generators of commutator subgroup of a finite $p$-group, the class of nilpotency of of a finite $p$-group with elementary abelian commutator subgroup, definition of a group by means of generators and defining relations.
Received September 20, 2019, published December 9, 2019
Citation:
B. M. Veretennikov, “The strict upper bound of ranks of commutator subgroups of finite $p$-groups”, Sib. Èlektron. Mat. Izv., 16 (2019), 1885–1900
Linking options:
https://www.mathnet.ru/eng/semr1175 https://www.mathnet.ru/eng/semr/v16/p1885
|
|