Quasivarieties of cancellative commutative binary modes (Q1770616)

For terminology and background, see [\textit{A. B. Romanowska} and \textit{J. D. H. Smith}, Modal theory. Heldermann, Berlin (1985; Zbl 0553.08001); Modes. World Scientific, Singapore (2002; Zbl 1012.08001)]. The paper under review initiates an investigation of the lattice of all quasivarieties of commutative binary modes by studying commutative quasigroup modes and cancellative commutative binary modes. A description of the lattice of all quasivarieties of affine spaces over a principal ideal domain (PID) is provided. This lattice is isomorphic to the lattice of quasivarieties of modules over a PID. This leads to a description of the lattice of quasivarieties of commutative quasigroup modes, since this variety is equivalent to the variety of affine spaces over the PID \textbf{D} of rational dyadic numbers. Then, quasivarieties of cancellative commutative binary modes are discussed. Each quasivariety of affines spaces over \textbf{D} determines a quasivariety of cancellative binary modes. It is shown that these are precisely all the quasivarietes of cancellative commutative binary modes.