Another single law for groups
From MaRDI portal
Publication:3704061
DOI10.1017/S0004972700006912zbMath0581.20003WikidataQ114850048 ScholiaQ114850048MaRDI QIDQ3704061
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
20A05: Axiomatics and elementary properties of groups
Related Items
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, A method for finding new sets of axioms for classes of semigroups., Single axioms for groups, Searching for shortest single axioms for groups of exponent \(6\), 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