Displaying 61 – 80 of 229

Showing per page

Equational bases for weak monounary varieties

Grzegorz Bińczak (2002)

Discussiones Mathematicae - General Algebra and Applications

It is well-known that every monounary variety of total algebras has one-element equational basis (see [5]). In my paper I prove that every monounary weak variety has at most 3-element equational basis. I give an example of monounary weak variety having 3-element equational basis, which has no 2-element equational basis.

Free Abelian extensions in the congruence-permutable varieties

Pavel Zhdanovich (2002)

Discussiones Mathematicae - General Algebra and Applications

We obtain the construction of free abelian extensions in a congurence-permutable variety V using the construction of a free abelian extension in a variety of algebras with one ternary Mal'cevoperation and a monoid of unary operations. We also use this construction to obtain a free solvable V-algebra.

Generalized deductive systems in subregular varieties

Ivan Chajda (2003)

Mathematica Bohemica

An algebra 𝒜 = ( A , F ) is subregular alias regular with respect to a unary term function g if for each Θ , Φ Con 𝒜 we have Θ = Φ whenever [ g ( a ) ] Θ = [ g ( a ) ] Φ for each a A . We borrow the concept of a deductive system from logic to modify it for subregular algebras. Using it we show that a subset C A is a class of some congruence on Θ containing g ( a ) if and only if C is this generalized deductive system. This method is efficient (needs a finite number of steps).

Currently displaying 61 – 80 of 229