On elementary equivalence of abelian groups
It is an open question whether the variety generated by the left divisible left distributive groupoids coincides with the variety generated by the left distributive left quasigroups. In this paper we prove that every left divisible left distributive groupoid with the mapping surjective lies in the variety generated by the left distributive left quasigroups.
The major aim of the present paper is to strengthen a nice result of Shemetkov and Skiba which gives some conditions under which every non-Frattini G-chief factor of a normal subgroup E of a finite group G is cyclic. As applications, some recent known results are generalized and unified.