Moufang quasigroups (Q1921907)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 923681
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Moufang quasigroups |
scientific article; zbMATH DE number 923681 |
Statements
Moufang quasigroups (English)
0 references
2 February 1997
0 references
It is well known that the following four Moufang identities, M1: \((x(yz))x=(xy)(zx)\) and N1: \(((xy)z)y=x(y(zy))\) and their respective mirrors M2 and N2 (obtained by writing them backwards), are equivalent in loops which are then called Moufang loops. The author now shows that every quasigroup satisfying any one of these four identities is a Moufang loop, so that in fact these identities are equivalent in quasigroups. The proofs have been aided (not produced) by the automated deduction tool OTTER, developed by W. W. McCune.
0 references
Moufang identities
0 references
Moufang loops
0 references
quasigroups
0 references
automated deduction
0 references
OTTER
0 references
0.8525130152702332
0 references
0.8525130152702332
0 references
0.8302192687988281
0 references
0.8296661376953125
0 references
0.824222981929779
0 references
