Abstract:
In this paper we introduce the concept of Rees closure for subalgebras of universal algebras. We denote by $\bigtriangleup_A$ the identity relation on $A$. A subalgebra $B$ of algebra $A$ is called a Rees subalgebra whenever $B^2 \cup \bigtriangleup_A$ is a congruence on $A$. A congruence $\theta$ of algebra $A$ is called a Rees congruence if $\theta=B^2 \cup \bigtriangleup_A$ for some subalgebra $B$ of $A$. We define a Rees closure operator by mapping arbitrary subalgebra $B$ of algebra $A$ into the smallest Rees subalgebra that contains $B$. It is shown that in the general case the Rees closure does not commute with the operation $\wedge$ on the lattice of subalgebras of universal algebra. Consequently, in the general case, a lattice of Rees subalgebras is not a sublattice of lattice of subalgebras.
A non-one-element universal algebra $A$ is called a Rees simple algebra if any Rees congruence on $A$ is trivial. We characterize Rees simple algebras in terms of Rees closure.
Universal algebra is called an algebra with operators if it has an additional set of unary operations acting as endomorphisms with respect to basic operations. We described Rees simple algebras in some subclasses of the class of algebras with one operator and a ternary basic operation. For algebras from these classes, the structure of lattice of Rees subalgebras is described. Necessary and sufficient conditions for the lattice of Rees subalgebras of algebras from these classes to be a chain are obtained.
Fulltext:
PDF file (655 kB)