A result on -groups
Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain ``group-like'' equational bases for Moufang, Bol and C-loops. We also discuss the case when the inverses are only...
Completely regular semigroups are unions of their (maximal) subgroups with the unary operation within their maximal subgroups. As such they form a variety whose lattice of subvarieties is denoted by . We construct a 60-element -subsemilattice and a 38-element sublattice of . The bulk of the paper consists in establishing the necessary joins for which it uses Polák’s theorem.
The theorem about the characterization of a GS-quasigroup by means of a commutative group in which there is an automorphism which satisfies certain conditions, is proved directly.
A short proof, using graphs and groupoids, is given of Brodskii’s theorem that torsion-free one-relator groups are locally indicable.
In this paper we give a short and simple proof the following theorem of S. Eilenberg and J.C. Moore: the only injective object in the category of groups is the trivial group.