Related papers: Enumerating finite class-2-nilpotent groups on 2 g…

Denote by C_{n,d} the nilpotency degree of a relatively free algebra generated by d elements and satisfying the identity x^n=0. Under assumption that the characteristic p of the base field is greater than n/2, it is shown that…

We study the product formula for Reidemeister numbers on finitely generated torsion-free nilpotent groups in two ways. On the one hand, we generalise the product formula to central extensions. On the other hand, we derive general results…

We give an explicit description of nilpotent Chernikov 2-groups with elementary tops and the basis of rank 2.

Fix a prime $p$ and an integer $m$ with $p> m \geq 2$. Define the family of finite groups \[ G_n :=SL_m (\mathbb{Z}/p^{n}\mathbb{Z}) \] for $n=1,2,... $. We will prove that there exist two positive constants $C$ and $d$ such that for any…

We show that inductive limits of virtually nilpotent groups have strongly quasidiagonal C*-algebras, extending results of the first author on solvable virtually nilpotent groups. We use this result to show that the decomposition rank of the…

We provide the first example of virtually nilpotent group, with a specific generating set, for which the Green series (sometimes called cogrowth series) is not $D$-finite. The proof relies on an arithmetical miracle, and the study of the…

A group $G$ is invariably generated by a subset $S$ of $G$ if $G= s^{g(s)} \mid s\in S$ for each choice of $g(s) \in G$, $s \in S$. Answering two questions posed by Kantor, Lubotzky and Shalev, we prove that the free prosoluble group of…

The Gehring-Martin-Tan inequality for 2-generator subgroups of PSL(2,C) is one of the best known discreteness conditions. A Kleinian group $G$ is called a Gehring-Martin-Tan group if the equality holds for the group $G$. We give a method…

It is proved that, for a prime $p>2$ and integer $n\geq 1$, finite $p$-groups of nilpotency class $3$ and having only two conjugacy class sizes $1$ and $p^n$ exist if and only if $n$ is even; moreover, for a given even positive integer,…

We generalize the Plesken-Fabia\'nska $\mathrm{L}_2$-quotient algorithm for finitely presented groups on two or three generators to allow an arbitrary number of generators. The main difficulty lies in a constructive description of the…

A basic fact taught in undergraduate algebra courses is that every finite nilpotent group is a direct product of $p$-groups. Already Bruck observed that this does not generalize to loops. In particular, there exist nilpotent loops of size…

Let $q\ge3$ be an integer, $\chi$ be a Dirichlet character modulo $q$, and $L(s,\chi)$ denote the Dirichlet $L$-functions corresponding to $\chi$. In this paper, we show some special function series, and give some new identities for the…

We investigate the extent to which the exchange relation holds in finite groups $G$. We define a new equivalence relation $\equiv_{\mathrm{m}}$, where two elements are equivalent if each can be substituted for the other in any generating…

A group is called capable if it is a central factor group. We characterize the capable 2-generator 2-groups of class 2 in terms of a standard presentation.

If $G$ and $H$ are finitely generated residually nilpotent groups, then $G$ and $H$ are in the same nilpotent genus if they have the same lower central quotients (up to isomorphism). A stronger condition is that $H$ is para-$G$ if there…

We investigate Dirichlet-type series generated by representation functions that count the number of ways an integer can be expressed as a sum of 'k' signed higher even powers. By combining generalized theta generating functions with a…

The complete classification of the finite simple groups that are $(2,3)$-generated is a problem which is still open only for orthogonal groups. Here, we construct $(2, 3)$-generators for the finite odd-dimensional orthogonal groups…

Let $G$ be a finite group. In this short note, we give a criterion of nilpotency of $G$ based on the existence of elements of certain order in each section of $G$.

Let G be a group and N be the class of nilpotent groups. A subset A of G is said to be nonnilpotent if for any two distinct elements a and b in A, ha, bi 62 N. If, for any other nonnilpotent subset B in G, |A| ? |B|, then A is said to be a…

Let $G$ be a finite group, and let $V$ be a completely reducible faithful $G$-module. By a result of Glauberman it has been known for a long time that if $G$ is nilpotent of class 2, then $|G| < |V|$. In this paper we generalize this result…