Right-cancellable protomodular algebras

DOI10.1007/S00012-021-00747-0zbMATH Open1485.08003arXiv2103.00278OpenAlexW4220945867MaRDI QIDQ2073372FDOQ2073372

Authors: Dali Zangurashvili 

Publication date: 2 February 2022

Published in: Algebra Universalis (Search for Journal in Brave)

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.

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

Recommendations

• scientific article; zbMATH DE number 1924512
• Associativity-like conditions on protomodular algebras
• Protomodular quasivarieties of universal algebras
• scientific article; zbMATH DE number 7376292
• Topological protomodular algebras

zbMATH Keywords

group termprotomodular varietyright-cancellable promodular algebra

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Loops, quasigroups (20N05) Equational categories (18C05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semi-abelian categories
• Topological semi-abelian algebras
• Ideals in universal algebras
• On subtractive varieties. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological protomodular algebras
• The ternary operation (𝑎𝑏𝑐)=𝑎𝑏⁻¹𝑐 of a group
• Associativity-like conditions on protomodular algebras
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Associativity-like conditions on protomodular algebras
• Title not available (Why is that?)

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)