The Rees Congruence in Universal Algebras


Robert_F. Tichy


In the famous semigroup-theoretical paper of D. Rees (1940) the author introduced a special congruence for semigroups and proved some fundamental isomorphism theorems. We generalize the ideas of Rees to universal algebras and introduce the notion of Rees congruence in a universal algebra. We prove an isomorphism theorem and apply it to study the notion of Rees series in universal algebras; this is a generalization of the notion of normal series in group theory. Further we study the structure of the set of all Rees congrunces and in the last part of the paper we present some applications of this theory to algebras of polynomial functions.