Another single law for groups

DOI10.1017/S0004972700006912MaRDI QIDQ3704061zbMATH OpenOpenAlexWikidataFDO

Authors B. H. Neumann

Publication date 1981

Published in Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0004972700006912

zbMATH Keywords

axiomsinversionmultiplicationsingle law defining groups

Mathematics Subject Classification ID

Axiomatics and elementary properties of groups (20A05)

Recommendations

• Yet another single law for groups
• On single-law definitions of groups
• Single axioms for groups and abelian groups with various operations
• scientific article; zbMATH DE number 792620
• Single axioms for groups

Cited in

(15)

• Yet another single law for groups
• Some experiments with a completion theorem prover
• Single axioms for groups and abelian groups with various operations
• Automated proofs of equality problems in Overbeek's competition
• The shortest single axioms for groups of exponent 4
• Single axioms for odd exponent groups
• Basis reduction for cryptogroups and orthogroups
• ON SINGLE LAWS FOR VARIETIES OF QUASIGROUPS ASSOCIATED WITH EXTENDED CYCLE SYSTEMS
• Computer solutions of problems in inverse semigroups.
• On single-law definitions of groups
• A method for finding new sets of axioms for classes of semigroups.
• A lower bound of the number of rewrite rules obtained by homological methods
• A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
• Single axioms for groups
• Searching for shortest single axioms for groups of exponent \(6\)

This page was built for publication: Another single law for groups

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