On odd order nilpotent groups with class 2.

DOI10.1007/S00013-009-0071-YMaRDI QIDQ849209zbMATH OpenOpenAlexFDO

Authors Vivek K. Jain

Publication date 25 February 2010

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0906.3645

zbMATH Keywords

finite \(p\)-groupsfinite nilpotent groupsorder structuressets of element orders

Mathematics Subject Classification ID

Finite nilpotent groups, (p)-groups (20D15) Arithmetic and combinatorial problems involving abstract finite groups (20D60) General structure theorems for groups (20E34)

Abstract: Let $G$ be an odd order nilpotent group with class 2 and $e$ denotes the exponent of its commutator subgroup. Let $e=p_1^{r_1}{p}_2^{r_2}\mathrm{...}{p}_s^{r_s}$, where $p_i$'s are odd primes and $r_i$'s are non-negative integers. Then there are at least $r_1+r_2+\mathrm{...}+r_s$ non-isomorphic nilpotent groups with class two and the order of each of the group is equal to the order of $G$.

Review text

Let \(G\) be a finite class 2 \(p\)-group of order \(r\) with \(p\) odd. The author investigates the problem of enumeration of nonisomorphic groups of order \(r\) from a new interesting viewpoint by defining the following concepts. The order structure of the group is the nondecreasing sequence of orders of elements. The operation \(\circ^n\), \(x\circ^ny=y^{-n}xy^{n+1}\) is a new group operation and \(S_n(G)=(G,\circ^n)\) is of class at most 2. Recursively let \(S_n^0(G)=G\), \(S_n^{i+1}(G)=S_n(S_n^i(G))\). Among all groups \(G\) of order \(r\), being of the same order structure is an equivalence, and each term of the string \(S_n^i(G)\) is of the same order structure. The main result is that terms of the string of the group \(G\) are pairwise nonisomorphic, and the string terminates in an Abelian group, which is the same for all isomorphic groups. Corollaries are: only isomorphic finite Abelian groups are of the same order structure; given a class 2 group of odd order there are at least as many nonisomorphic class 2 groups of odd order as the number of positive divisors of the exponent of the commutator subgroup of that group minus 1, each of the same order structure.

Recommendations

• A characterization of groups of exponent p which are nilpotent of class at most 2.
• On finite \(p\)-groups minimally of class greater than two
• The number of conjugacy classes of non-normal cyclic subgroups in nilpotent groups of odd order
• Enumerating finite class-2-nilpotent groups on 2 generators.
• Powerfully Nilpotent Groups of Class 2

Cited in

(6)

• Description of finite nilpotent groups of 2nd degree with prime odd period.
• On numbers which are orders of nilpotent groups only.
• A characterization of groups of exponent p which are nilpotent of class at most 2.
• On the number of subgroups of non-metacyclic minimal non-abelian p-groups
• Cyclic and dihedral constructions of even order.
• On groups of odd order with exactly two non-central conjugacy classes of each size.

This page was built for publication: On odd order nilpotent groups with class 2.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849209)