A ternary ring is an algebraic structure of type satisfying the identities and where, moreover, for any , , there exists a unique with . A congruence on is called normal if is a ternary ring again. We describe basic properties of the lattice of all normal congruences on and establish connections between ideals (introduced earlier by the third author) and congruence kernels.
In [1] ideals and congruences on semiloops were investigated. The aim of this paper is to generalize results obtained for semiloops to the case of left divisible involutory groupoids.
A semigroup S is said to be completely π-regular if for any a ∈ S there exists a positive integer n such that aⁿ is completely regular. The present paper is devoted to the study of completely regular semigroup congruences on bands of π-groups.
We deal with congruences on semilattices with section antitone involution which rise e.g., as implication reducts of Boolean algebras, MV-algebras or basic algebras and which are included among implication algebras, orthoimplication algebras etc. We characterize congruences by their kernels which coincide with semilattice filters satisfying certain natural conditions. We prove that these algebras are congruence distributive and 3-permutable.
We generalize the correspondence between basic algebras and lattices with section antitone involutions to a more general case where no lattice properties are assumed. These algebras are called conjugated if this correspondence is one-to-one. We get conditions for the conjugary of such algebras and introduce the induced relation. Necessary and sufficient conditions are given to indicated when the induced relation is a quasiorder which has “nice properties", e.g. the unary operations are antitone...
A construction of cell algebras is introduced and some of their properties are investigated. A particular case of this construction for lattices of nets is considered.