# zbMATH — the first resource for mathematics

Structure and laws of the Scrimger varieties of lattice-ordered groups. (English) Zbl 0624.06023
Algebra and order, Proc. 1st Int. Symp., Luminy-Marseilles/France 1984, Res. Expo. Math. 14, 71-81 (1986).
[For the entire collection see Zbl 0601.00004.]
Let p be a prime number. $$G=D(T,H,K,\mu)$$ is called a p-dent if (i) T is a non-zero Abelian o-group (ii) H, the lex kernel of G, is the cardinal sum of p copies of T (iii) $$K=G/H$$ is an abelian o-group and (iv) $$\mu$$ : $$G\to {\mathbb{Z}}/(p)$$ is an epimorphism satisfying for all $$h\in H$$, $$g\in G$$, $$(g^{-1}hg)(i)=h(i-\mu (g))$$ (0$$\leq i\leq p-1)$$. It is shown that any p-dent can be embedded in a split p-dent (the key step being that G can be embedded in $$G^*=D(T^*,H^*,K^*,\mu)$$ where $$T^*$$, $$H^*$$ and $$K^*$$ are the divisible closures of T, H and K respectively. It is further proved that any split p-dent (and hence any p-dent) belongs to $${\mathfrak S}p$$ the Scrimger p-cover of the variety of abelian lattice-ordered groups, and that $${\mathfrak S}p$$ is defined by the laws $(i)\quad x^ py^ p=y^ px^ p\quad and\quad (ii)\quad e=| [x,y][x,y]^ z...[x,y]^{z^{p-1}}| \quad \wedge \quad | [u,v][u,v]^{z^{-1}}|.$ The proofs are straightforward and much easier than those needed to obtain the deeper results by S. A. Gurchenkov [Algebra Logika 23, 27-47 (1984; Zbl 0544.06013)] which were subsequently proved by the authors and A. H. Mekler [Algebra Univers. 23, 196-214 (1986; Zbl 0598.06008)].
Reviewer: A.M.W.Glass

##### MSC:
 06F20 Ordered abelian groups, Riesz groups, ordered linear spaces 20F60 Ordered groups (group-theoretic aspects) 20E10 Quasivarieties and varieties of groups 08B15 Lattices of varieties 06B20 Varieties of lattices