Mal’tsev bases for partially commutative nilpotent groups

We construct an ordered set of commutators in a partially commutative nilpotent group [Formula: see text]. This set allows us to define a canonical form for each element of [Formula: see text]. Namely, we construct a Mal’tsev basis for the group [Formula: see text]

On the primitive irreducible representations of finitely generated nilpotent groups

We develop some tecniques whish allow us to apply the methods of commutative algebra for studing the representations of nilpotent groups. Using these methods, in particular, we show that any irreducible representation of a finitely generated nilpotent group G over a finitely generated field of characteristic zero is induced from a primitive representation of some subgroup of G.

On residuals of finite groups

Theorem C in [S. Dolfi, M. Herzog, G. Kaplan and A. Lev, The size of the solvable residual in finite groups, Groups Geom. Dyn. 1 (2007), 4, 401–407] asserts that, in a finite group with trivial Fitting subgroup, the size of the soluble residual of the group is bounded from below by a certain power of the group order and that the inequality is sharp. Inspired by this result and some of the arguments in the above article, we establish the following generalisation: if 𝔛 is a subgroup-closed Fitting formation of full characteristic which does not contain all finite groups and X ¯ \overline{\mathfrak{X}} is the extension-closure of 𝔛, then there exists an (explicitly known and optimal) constant 𝛾 depending only on 𝔛 such that, for all non-trivial finite groups 𝐺 with trivial 𝔛-radical, | G X ¯ | > | G | γ \lvert G^{\overline{\mathfrak{X}}}\rvert>\lvert G\rvert^{\gamma} , where G X ¯ G^{\overline{\mathfrak{X}}} is the X ¯ \overline{\mathfrak{X}} -residual of 𝐺. When X = N \mathfrak{X}=\mathfrak{N} , the class of finite nilpotent groups, it follows that X ¯ = S \overline{\mathfrak{X}}=\mathfrak{S} , the class of finite soluble groups; thus we recover the original theorem of Dolfi, Herzog, Kaplan, and Lev. In the last section of our paper, building on J. G. Thompson’s classification of minimal simple groups, we exhibit a family of subgroup-closed Fitting formations 𝔛 of full characteristic such that S ⊂ X ¯ ⊂ E \mathfrak{S}\subset\overline{\mathfrak{X}}\subset\mathfrak{E} , where 𝔈 denotes the class of all finite groups, thus providing applications of our main result beyond the reach of the above theorem.