Monoides de comptage et langages rationnels.
In this part the smallest non-abelian quasivarieties for nilpotent Moufang loops are described.
In this part of the paper we study the quasiidentities of the nilpotent Moufang loops. In particular, we solve the problem of finite basis for quasiidentities in the finitely generated nilpotent Moufang loop.
The paper investigates idempotent, reductive, and distributive groupoids, and more generally -algebras of any type including the structure of such groupoids as reducts. In particular, any such algebra can be built up from algebras with a left zero groupoid operation. It is also shown that any two varieties of left -step reductive -algebras, and of right -step reductive -algebras, are independent for any positive integers and . This gives a structural description of algebras in the join of...
The main result of Romanowska A., Roszkowska B., On some groupoid modes, Demonstratio Math. 20 (1987), no. 1–2, 277–290, provides us with an explicit description of the lattice of varieties of differential groupoids. In the present article, we show that this variety is -universal, which means that there is no convenient explicit description for the lattice of quasivarieties of differential groupoids. We also find an example of a subvariety of differential groupoids with a finite number of subquasivarieties....
A category is called -determined if every set of non-isomorphic -objects such that their endomorphism monoids are isomorphic has a cardinality less than . A quasivariety is called -universal if the lattice of all subquasivarieties of any quasivariety of finite type is a homomorphic image of a sublattice of the lattice of all subquasivarieties of . We say that a variety is var-relatively alg-universal if there exists a proper subvariety of such that homomorphisms of whose image does...