Single axioms for odd exponent groups

DOI10.1007/BF00881714zbMath0828.68109WikidataQ114694139 ScholiaQ114694139MaRDI QIDQ1893129

Joan E. Hart, Kenneth Kunen

Publication date: 3 July 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

automated reasoning systemodd exponent groups

Mathematics Subject Classification ID

Related Items (12)

Searching for shortest single axioms for groups of exponent \(6\) ⋮ A formalised theorem in the partition calculus ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Ken Kunen: algebraist. ⋮ Shortest single axioms for commutative Moufang loops of exponent 3. ⋮ Theorem proving with group presentations: Examples and questions ⋮ Alternative loop rings ⋮ The Legacy of a Great Researcher ⋮ Every diassociative A-loop is Moufang ⋮ The structure of conjugacy closed loops ⋮ Primary Decompositions in Varieties of Commutative Diassociative Loops ⋮ Rectangular quasigroups and rectangular loops.

Uses Software

• OTTER

Cites Work

• Unnamed Item
• OTTER
• Single axioms for groups
• Single axioms for groups and abelian groups with various operations
• The shortest single axioms for groups of exponent 4
• Another single law for groups

This page was built for publication: Single axioms for odd exponent groups