TY - JOUR
ID - 25994
TI - On the endomorphism semigroups of extra-special $p$-groups and automorphism orbits
JO - International Journal of Group Theory
JA - IJGT
LA - en
SN - 2251-7650
AU - Anil Kumar, Chudamani Pranesachar
AU - Pradhan, Soham Swadhin
AD - School of Mathematics, Harish-Chandra Research Institute, Chhatnag Road, Jhunsi 211019, Prayagraj, INDIA
AD - Department of Mathematics, Postdoctoral fellow, Harish-Chandra Research Institute, India
Y1 - 2022
PY - 2022
VL - 11
IS - 4
SP - 201
EP - 220
KW - Extra-special $p$-Groups
KW - Heisenberg Groups
KW - Automorphism Groups
KW - Endomorphism Semigroups
KW - symplectic groups
DO - 10.22108/ijgt.2021.129815.1708
N2 - For an odd prime $p$ and a positive integer $n$, it is well known that there are two types of extra-special $p$-groups of order $p^{2n+1}$, first one is the Heisenberg group which has exponent $p$ and the second one is of exponent $p^2$. This article mainly describes the endomorphism semigroups of both the types of extra-special $p$-groups and computes their cardinalities as polynomials in $p$ for each $n$. Firstly a new way of representing the extra-special $p$-group of exponent $p^2$ is given. Using the representations, explicit formulae for any endomorphism and any automorphism of an extra-special $p$-group $G$ for both the types are found. Based on these formulae, the endomorphism semigroup $End(G)$ and the automorphism group $Aut(G)$ are described. The endomorphism semigroup image of any element in $G$ is found and the orbits under the action of the automorphism group $Aut(G)$ are determined. As a consequence it is deduced that, under the notion of degeneration of elements in $G$, the endomorphism semigroup $End(G)$ induces a partial order on the automorphism orbits when $G$ is the Heisenberg group and does not induce when $G$ is the extra-special $p$-group of exponent $p^2$. Finally we prove that the cardinality of isotropic subspaces of any fixed dimension in a non-degenerate symplectic space is a polynomial in $p$ with non-negative integer coefficients. Using this fact we compute the cardinality of $End(G)$.
UR - https://ijgt.ui.ac.ir/article_25994.html
L1 - https://ijgt.ui.ac.ir/article_25994_b2f6b3b410dc74377be13112ffda6657.pdf
ER -