Single axioms for odd exponent groups

DOI10.1007/BF00881714MaRDI QIDQ1893129zbMATH OpenWikidataFDO

Authors 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

Axiomatics and elementary properties of groups (20A05)

Recommendations

• The shortest single axioms for groups of exponent 4
• scientific article; zbMATH DE number 1324436
• Shortest single axioms with neutral element for groups of exponent 2 and 3.
• Searching for shortest single axioms for groups of exponent \(6\)

Cites work

• scientific article; zbMATH DE number 1324436 (Why is no real title available?)
• Another single law for groups
• OTTER
• Single axioms for groups
• Single axioms for groups and abelian groups with various operations
• The shortest single axioms for groups of exponent 4

Cited in

(16)

• The legacy of a great researcher
• Theorem proving with group presentations: examples and questions
• Primary Decompositions in Varieties of Commutative Diassociative Loops
• Searching for shortest single axioms for groups of exponent \(6\)
• Fiala-Agre list of single axioms for Boolean groups is wrong
• A method for finding new sets of axioms for classes of semigroups.
• Single axioms for the left group and right group calculi
• A formalised theorem in the partition calculus
• Alternative loop rings
• The shortest single axioms for groups of exponent 4
• The structure of conjugacy closed loops
• Every diassociative \(A\)-loop is Moufang
• Ken Kunen: algebraist.
• Shortest single axioms for commutative Moufang loops of exponent 3.
• Shortest single axioms with neutral element for groups of exponent 2 and 3.
• Rectangular quasigroups and rectangular loops.

Describes a project that uses

Uses Software

• OTTER

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

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