On multiplicative equivalences that are totally incompatible with division

DOI10.1007/S00012-019-0605-5MaRDI QIDQ2314982zbMATH OpenOpenAlexWikidataFDO

Authors Aleš Drápal

Publication date 31 July 2019

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-019-0605-5

zbMATH Keywords

congruencesequivalence relationsloops

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Loops, quasigroups (20N05)

Review text

Let \(X\) be a set containing at least two different elements \(x,y\). Suppose that \(F(X)\) is a free loop with a base \(X\). Consider the least equivalence relation with is a congruence \(\sim\) with respect to multiplication in \(F(X)\) which contains the pair \((x,y)\). Then \(a\sim b\ \&\ a\ne b\) implies \(u\backslash a\nsim u\backslash b\) and \(a\diagup u \nsim b\diagup u\) for all \(a,b,u\in F(X)\).

Recommendations

• Multiplication groups of free loops. II
• Free algebras on a fixed set
• Multiplication groups of free loops. I
• Théorèmes de transfert pour les polynômes partiellement commutatifs. (Transfer theorems for partially commutative polynomials)
• On commuting property of filed product of coequality relations

Cites work

• A note on homomorphic mappings of quasigroups into multiplicative systems
• An introduction to quasigroups and their representations.
• scientific article; zbMATH DE number 47663 (Why is no real title available?)
• scientific article; zbMATH DE number 3065870 (Why is no real title available?)
• On loops of odd order

Cited in

(2)

• The Division Relation: Congruence Conditions and Axiomatisability
• Normality, nuclear squares and Osborn identities.

This page was built for publication: On multiplicative equivalences that are totally incompatible with division

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