Varieties and nilpotent extensions of permutative periodic semigroups. (Q706049)

The semigroup varieties that consist of orthodox normal bands of Abelian groups have long been well known. In this paper, the author investigates varieties that are nilpotent extensions of such varieties. Specifically, for positive integers \(k,n\), \((\mathcal{NBA}_k)^n\) denotes the variety of semigroups \(S\) such that \(S^n\) satisfies the identities \(zxyw=zyxw\), \(x^{k+1}=x\). Generalizing known decompositions of lattices of varieties of orthodox normal bands of Abelian groups, it is shown that the lattice of subvarieties of \((\mathcal{NBA}_k)^n\) is a subdirect product of the lattice of semilattice varieties, the lattice of subvarieties of the variety \({\mathcal A}_k\) of groups of exponent dividing \(k\), and the lattice of subvarieties of the variety \((\mathcal{RB})^n\) of \(n\)-nilpotent extensions of rectangular bands. In terms of the author's earlier work, the members of the last class are ``structurally trivial''. In [Semigroup Forum 58, No. 2, 159-174 (1999; Zbl 0922.20063)] and its sequels, he described certain lattices of varieties of structurally trivial semigroups. In general, a semigroup \(S\) is ``structurally \(\mathcal C\)'' for some class \(\mathcal C\) of semigroups if for some positive integers \(m,n\), \(S/\theta(n,m)\in\mathcal C\), where \(\theta(n,m)=\{(a,b):uav=ubv\) for all \(u\in S^n\), \(v\in S^m\}\). For instance, all the semigroups discussed in this paper are structurally inverse. This concept is a key tool in the analysis of the lattice as a whole and of certain sublattices of interest, such as the ``\(n\)-inflations'' of orthodox normal bands of Abelian groups.