Right-cancellable protomodular algebras

DOI10.1007/S00012-021-00747-0MaRDI QIDQ2073372zbMATH OpenOpenAlexFDO

Authors Dali Zangurashvili

Publication date 2 February 2022

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

group termprotomodular varietyright-cancellable promodular algebra

Mathematics Subject Classification ID

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

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.

Review text

In this paper, the author introduces a new protomodular analog of the classical criterion for the existence of a group term in the algebraic theory of a group term in the algebraic theory of a variety of universal algebras. The algebraic theory of a variety of universal algebras contains a group term if and only if it contains a 0-ary term and an associative Mal'cev term. In a previous paper [Algebra Univers. 81, No. 1, Paper No. 1, 12 p. (2020; Zbl 07146745)], the author gave a protomodular analog of the above mentioned criterion for the existence of a group term in a variety of universal algebras. In this paper, the author gives another criterion for the existence of a group term in a variety of universal algebras. In Section 5, group operations on right-cancellable protomodular algebras, the author shows that right-cancellable $v_n$-algebras can be characterized as groups with simple additional structures.

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

Cites work

• Associativity-like conditions on protomodular algebras
• 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?)
• 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)

• Associativity-like conditions on protomodular algebras
• scientific article; zbMATH DE number 1924512 (Why is no real title available?)
• scientific article; zbMATH DE number 7376292 (Why is no real title available?)

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)