Previous Page 2

Displaying 21 – 39 of 39

Showing per page

On varieties of left distributive left idempotent groupoids

David Stanovský (2004)

Discussiones Mathematicae - General Algebra and Applications

We describe a part of the lattice of subvarieties of left distributive left idempotent groupoids (i.e. those satisfying the identities x(yz) ≈ (xy)(xz) and (xx)y ≈ xy) modulo the lattice of subvarieties of left distributive idempotent groupoids. A free groupoid in a subvariety of LDLI groupoids satisfying an identity xⁿ ≈ x decomposes as the direct product of its largest idempotent factor and a cycle. Some properties of subdirectly ireducible LDLI groupoids are found.

Subdirect decompositions of algebras from 2-clone extensions of varieties

J. Płonka (1998)

Colloquium Mathematicae

Let τ:F → ℕ be a type of algebras, where F is a set of fundamental operation symbols and ℕ is the set of nonnegative integers. We assume that |F|≥2 and 0 ∉ (F). For a term φ of type τ we denote by F(φ) the set of fundamental operation symbols from F occurring in φ. An identity φ ≉ ψ of type τ is called clone compatible if φ and ψ are the same variable or F(φ)=F(ψ)≠ . For a variety V of type τ we denote by V c , 2 the variety of type τ defined by all identities φ ≉ ψ from Id(V) which are either clone compatible...

Subdirect products of certain varieties of unary algebras

Miroslav Ćirić, Tatjana Petković, Stojan Bogdanović (2007)

Czechoslovak Mathematical Journal

J. Płonka in [12] noted that one could expect that the regularization ( K ) of a variety K of unary algebras is a subdirect product of K and the variety D of all discrete algebras (unary semilattices), but is not the case. The purpose of this note is to show that his expectation is fulfilled for those and only those irregular varieties K which are contained in the generalized variety T D i r of the so-called trap-directable algebras.

The algebraic structure of pseudomeadow

Hamid Kulosman (2024)

Commentationes Mathematicae Universitatis Carolinae

The purpose of this paper is to study the commutative pseudomeadows, the structure which is defined in the same way as commutative meadows, except that the existence of a multiplicative identity is not required. We extend the characterization of finite commutative meadows, given by I. Bethke, P. Rodenburg, and A. Sevenster in their paper (2015), to the case of commutative pseudomeadows with finitely many idempotents. We also extend the well-known characterization of general commutative meadows as...

The lattice of subvarieties of the biregularization of the variety of Boolean algebras

Jerzy Płonka (2001)

Discussiones Mathematicae - General Algebra and Applications

Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by V b the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V). Let B be the variety of Boolean algebras of type τ b : + , · , ´ N , where τ b ( + ) = τ b ( · ) = 2 and τ b ( ´ ) = 1 . In...

Varieties of Distributive Rotational Lattices

Gábor Czédli, Ildikó V. Nagy (2013)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

A rotational lattice is a structure L ; , , g where L = L ; , is a lattice and g is a lattice automorphism of finite order. We describe the subdirectly irreducible distributive rotational lattices. Using Jónsson’s lemma, this leads to a description of all varieties of distributive rotational lattices.

Currently displaying 21 – 39 of 39

Previous Page 2