On Birkhoff's quasigroup axioms. (Q279714)

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 6575136
Language Label Description Also known as
default for all languages
No label defined
    English
    On Birkhoff's quasigroup axioms.
    scientific article; zbMATH DE number 6575136

      Statements

      On Birkhoff's quasigroup axioms. (English)
      0 references
      29 April 2016
      0 references
      left quasigroups
      0 references
      quasigroup axioms
      0 references
      Birkhoff identities
      0 references
      varieties of quasigroups
      0 references
      division groupoids
      0 references
      cancellation groupoids
      0 references
      0 references
      0 references
      0 references
      0 references
      Quasigroups form a variety only if two additional operations, namely \(/\) and \(\backslash\) are considered. Birkhoff formulated six identities that define equationally the variety of quasigroups. Evans proved that only the most natural four identities are needed.NEWLINENEWLINE In this article the authors study which other four-tuples of Birkhoff's identities suffice to define quasigroups. Among all combinations, nine define quasigroups, four define larger classes and two remain open.
      0 references

      Identifiers