In the paper, some kinds of algebras associated with the concept of a Rees congruence are considered. A congruence <InlineEquation ID="IEq1"> <EquationSource Format="TEX">$\theta $</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation> of a universal algebra A is called a Rees congruence if there exists a subalgebra B of the algebra A such that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">$\theta $</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation> is the set-theoretic union of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">$B^2$</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>B</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> and the identity relation on A. An algebra A is called a Rees congruence algebra if any congruence of the algebra A is a Rees congruence. A non-one-element algebra is called a Rees simple algebra if all its Rees congruences are trivial. An algebra with one unary operation is called a unar. An algebra with operators is a universal algebra with an additional system of operators, i.e., of unary operations acting as endomorphisms relative to operations from the basic signature. The description of Rees congruence algebras and of Rees simple algebras in the class of unars is obtained. A necessary condition to be a Rees congruence algebra for algebras <InlineEquation ID="IEq4"> <EquationSource Format="TEX">$\langle A, \Omega \cup \{f\} \rangle $</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <mi>A</mi> <mo>,</mo> <mi mathvariant="normal">Ω</mi> <mo>∪</mo> <mo stretchy="false">{</mo> <mi>f</mi> <mo stretchy="false">}</mo> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> with operator f and arbitrary basic signature <InlineEquation ID="IEq5"> <EquationSource Format="TEX">$\Omega $</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is found. It is shown that this necessary condition is not a sufficient condition in the general case. The description of Rees congruence algebras in some subclasses of the class of algebras with one operator and with a ternary basic operation is obtained.

REES CONGRUENCE ALGEBRAS IN CLASSES OF UNARS AND ALGEBRAS WITH OPERATORS

期刊论文
发表日期：

2026年1月1日

查看全文

V. L. Usoltsev

摘要

In the paper, some kinds of algebras associated with the concept of a Rees congruence are considered. A congruence $\theta $ $θ$ of a universal algebra A is called a Rees congruence if there exists a subalgebra B of the algebra A such that $\theta $ $θ$ is the set-theoretic union of $B^2$ $B^{2}$ and the identity relation on A. An algebra A is called a Rees congruence algebra if any congruence of the algebra A is a Rees congruence. A non-one-element algebra is called a Rees simple algebra if all its Rees congruences are trivial. An algebra with one unary operation is called a unar. An algebra with operators is a universal algebra with an additional system of operators, i.e., of unary operations acting as endomorphisms relative to operations from the basic signature. The description of Rees congruence algebras and of Rees simple algebras in the class of unars is obtained. A necessary condition to be a Rees congruence algebra for algebras $\langle A, \Omega \cup \{f\} \rangle $ $⟨ A, Ω \cup {f} ⟩$ with operator f and arbitrary basic signature $\Omega $ $Ω$ is found. It is shown that this necessary condition is not a sufficient condition in the general case. The description of Rees congruence algebras in some subclasses of the class of algebras with one operator and with a ternary basic operation is obtained.