Abstract: A new protomodular analog of the classical criterion for the existence of a group term in the algebraic theory of a variety of universal algebras is given. To this end, the notion of a right-cancellable protomodular algebra is introduced. It is proved that the algebraic theory of a variety of universal algebras contains a group term if and only if it contains protomodular terms with respect to which all algebras from the variety are right-cancellable. This, in particular, gives a partial answer to the extended version of an open problem from loop theory whether any Hausdorff topological (semi-)loop is completely regular. Moreover, the right-cancellable algebras from the simplest protomodular varieties are characterized as sets with principal group actions as well as groups with simple additional structures.
Recommendations
Cites work
- scientific article; zbMATH DE number 19481 (Why is no real title available?)
- scientific article; zbMATH DE number 624976 (Why is no real title available?)
- scientific article; zbMATH DE number 2152037 (Why is no real title available?)
- scientific article; zbMATH DE number 1924512 (Why is no real title available?)
- scientific article; zbMATH DE number 2118486 (Why is no real title available?)
- scientific article; zbMATH DE number 769611 (Why is no real title available?)
- scientific article; zbMATH DE number 3430722 (Why is no real title available?)
- scientific article; zbMATH DE number 3248033 (Why is no real title available?)
- Associativity-like conditions on protomodular algebras
- Ideals in universal algebras
- On subtractive varieties. I
- Semi-abelian categories
- The ternary operation (πππ)=ππβ»ΒΉπ of a group
- Topological protomodular algebras
- Topological semi-abelian algebras
Cited in
(3)
This page was built for publication: Right-cancellable protomodular algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2073372)
