Another single law for groups

DOI10.1017/S0004972700006912zbMath0581.20003OpenAlexW2147182002WikidataQ114850048 ScholiaQ114850048MaRDI QIDQ3704061

Bernhard 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

inversionmultiplicationaxiomssingle law defining groups

Mathematics Subject Classification ID

Axiomatics and elementary properties of groups (20A05)

Related Items (13)

A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods ⋮ The shortest single axioms for groups of exponent 4 ⋮ Single axioms for odd exponent groups ⋮ Searching for shortest single axioms for groups of exponent \(6\) ⋮ 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. ⋮ Basis reduction for cryptogroups and orthogroups ⋮ Some experiments with a completion theorem prover ⋮ Computer Solutions of Problems in Inverse Semigroups ⋮ ON SINGLE LAWS FOR VARIETIES OF QUASIGROUPS ASSOCIATED WITH EXTENDED CYCLE SYSTEMS ⋮ Single axioms for groups ⋮ Single axioms for groups and abelian groups with various operations ⋮ Automated proofs of equality problems in Overbeek's competition

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