Loading [MathJax]/extensions/MathZoom.js
Let be a type of algebras. A valuation of terms of type is a function assigning to each term of type a value . For , an identity of type is said to be -normal (with respect to valuation ) if either or both and have value . Taking with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called -normal (with respect to the valuation ) if all its identities are -normal. For any variety , there is a least...
We define semantically a partial multiplication on the lattice of all e–varieties of regular semigroups. In the case that the first factor is an e–variety of orthodox semigroups we describe our multiplication syntactically in terms of biinvariant congruences.
A multiplication of e-varieties of regular -solid semigroups by inverse semigroup varieties is described both semantically and syntactically. The associativity of the multiplication is also proved.
A variety is called normal if no laws of the form are valid in it where is a variable and is not a variable. Let denote the lattice of all varieties of monounary algebras and let be a non-trivial non-normal element of . Then is of the form with some . It is shown that the smallest normal variety containing is contained in for every where denotes the operator of forming choice algebras. Moreover, it is proved that the sublattice of consisting of all normal elements of...
We prove a theorem (for arbitrary ring varieties and, in a stronger form, for varieties of associative rings) which basically reduces the problem of a description of varieties with distributive subvariety lattice to the case of algebras over a finite prime field.
In this paper we consider different relations on the set P(V) of all proper hypersubstitutions with respect to a given variety V and their properties. Using these relations we introduce the cardinalities of the corresponding quotient sets as degrees and determine the properties of solid varieties having given degrees. Finally, for all varieties of bands we determine their degrees.
An inverse semigroup is pure if , , implies ; it is cryptic if Green’s relation on is a congruence; it is a Clifford semigroup if it is a semillatice of groups. We characterize the pure ones by the absence of certain subsemigroups and a homomorphism from a concrete semigroup, and determine minimal nonpure varieties. Next we characterize the cryptic ones in terms of their group elements and also by a homomorphism of a semigroup constructed in the paper. We also characterize groups and...
In this paper, the variety of closure n-valued Łukasiewicz algebras, that is, Łukasiewicz algebras of order n endowed with a closure operator, is investigated. The lattice of subvarieties in the particular case in which the open elements form a three-valued Heyting algebra is obtained.
Currently displaying 1 –
20 of
261