Single axioms for groups

DOI10.1007/BF00245293MaRDI QIDQ688567zbMATHWikidataFDO

Authors Kenneth Kunen

Publication date 25 August 1994

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

zbMATH Keywords

variableslengthbinary operationinversionsvariety of groupsunary operationlawsMoufang loopautomated theorem-proving program OTTERnon-associative di-associative loopsingle axioms

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Axiomatics and elementary properties of groups (20A05)

Recommendations

• Single axioms for groups and abelian groups with various operations
• The shortest single axioms for groups of exponent 4
• On single-law definitions of groups
• Another single law for groups
• Yet another single law for groups
• Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
• scientific article; zbMATH DE number 1324436
• Searching for shortest single axioms for groups of exponent \(6\)
• Solution of the Robbins problem
• scientific article; zbMATH DE number 3922990

Cites work

• Another single law for groups
• Yet another single law for groups

Cited in

(26)

• Single axioms: With and without computers
• System description generating models by SEM
• Shortest single axioms with neutral element for groups of exponent 2 and 3.
• Yet another single law for groups
• A lower bound of the number of rewrite rules obtained by homological methods
• scientific article; zbMATH DE number 120344 (Why is no real title available?)
• scientific article; zbMATH DE number 3912595 (Why is no real title available?)
• Automatic construction and verification of isotopy invariants
• A shortest single axiom with neutral element for commutative Moufang loops of exponent 3
• Another single law for groups
• Single axioms for odd exponent groups
• Computer solutions of problems in inverse semigroups.
• Fiala-Agre list of single axioms for Boolean groups is wrong
• Automated discovery of new axiomatizations of the left group and right group calculi
• Applying SAT solving in classification of finite algebras
• Absolutely Independent Group Axioms
• OTTER experiments in a system of combinatory logic
• scientific article; zbMATH DE number 2064560 (Why is no real title available?)
• Single axioms for groups and abelian groups with various operations
• Searching for shortest single axioms for groups of exponent \(6\)
• Group axioms for iteration
• Ken Kunen: algebraist.
• The shortest single axioms for groups of exponent 4
• A method for finding new sets of axioms for classes of semigroups.
• Basis reduction for cryptogroups and orthogroups
• A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: Single axioms for groups

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