Shortest single axioms for commutative Moufang loops of exponent 3.

DOI10.1016/j.disc.2007.06.016zbMath1143.20045OpenAlexW2038704663MaRDI QIDQ932612

Nick C. Fiala

Publication date: 11 July 2008

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.disc.2007.06.016

zbMATH Keywords

automated reasoningSteiner triple systemsHall triple systemscommutative Moufang loops of exponent 3single product axioms

Mathematics Subject Classification ID

Loops, quasigroups (20N05) Triple systems (05B07) Axiomatics and elementary properties of groups (20A05)

Related Items (1)

Steiner loops of affine type

Uses Software

• Prover9
• Mace4

Cites Work

• Single laws for sloops and squags
• A generalization of Moufang and Steiner loops.
• Single axioms for odd exponent groups
• Moufang quasigroups
• Automorphisms of Steiner Triple Systems
• Moufang Loops of Small Order. I
• Unnamed Item
• Unnamed Item

This page was built for publication: Shortest single axioms for commutative Moufang loops of exponent 3.