The Cantor-Bernstein-Schröder theorem via universal algebra.

DOI10.1007/S00012-019-0590-8MaRDI QIDQ1740494zbMATH OpenOpenAlexFDO

Publication date 30 April 2019

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1708.03959

Cantor-Bernstein-Schröder theorem congruence lattice factor congruences

Logical aspects of lattices and related structures (03G10) Complemented lattices, orthocomplemented lattices and posets (06C15) MV-algebras (06D35)

Abstract: The famous Cantor-Bernstein-Schroder theorem (CBS-theorem for short) of set theory was generalized by Sikorski and Tarski to sigma-complete Boolean algebras. After this, numerous generalizations of the CBS-theorem, extending the Sikorski-Tarski version to different classes of algebras, have been established. Among these classes there are lattice ordered groups, orthomodular lattices, MV-algebras, residuated lattices, etc. This suggests to consider a common algebraic framework in which various versions of the CBS-theorem can be formulated. In this work we provide this algebraic framework establishing necessary and sufficient conditions for the validity of the theorem. We also show how this abstract framework includes the versions of the CBS-theorem already present in the literature as well as new versions of the theorem extended to other classes such as groups, modules, semigroups, rings, *-rings etc.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: The Cantor-Bernstein-Schröder theorem via universal algebra.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1740494)