Displaying 21 – 40 of 149

Showing per page

On quasivarieties of nilpotent Moufang loops. II

Vasile I. Ursu (2012)

Commentationes Mathematicae Universitatis Carolinae

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.

On reductive and distributive algebras

Anna B. Romanowska (1999)

Commentationes Mathematicae Universitatis Carolinae

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 k -step reductive Ω -algebras, and of right n -step reductive Ω -algebras, are independent for any positive integers k and n . This gives a structural description of algebras in the join of...

On the lattices of quasivarieties of differential groupoids

Aleksandr Kravchenko (2008)

Commentationes Mathematicae Universitatis Carolinae

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....

On universality of semigroup varieties

Marie Demlová, Václav Koubek (2006)

Archivum Mathematicum

A category K is called α -determined if every set of non-isomorphic K -objects such that their endomorphism monoids are isomorphic has a cardinality less than α . A quasivariety Q is called Q -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 Q . We say that a variety V is var-relatively alg-universal if there exists a proper subvariety W of V such that homomorphisms of V whose image does...

Currently displaying 21 – 40 of 149