The shortest single axioms for groups of exponent 4
type: Item
instance of: scholarly article
title: The shortest single axioms for groups of exponent 4
zbMATH Open document ID: 0820.20001
DOI: 10.1016/0898-1221(94)00212-4
author: Kenneth Kunen
publication date: 1995-09-11T00:00:00Z
full work available at URL: http://digital.library.wisc.edu/1793/59698
review text: The author returns to the study of single axioms for some varieties of groups, using the automated reasoning program OTTER [see his paper in J. Automated Reasoning 9, 291-308 (1992; Zbl 0794.20001); the paper by \textit{W. W. McCune}, ibid. 10, 1-13 (1994; Zbl 0794.20002) should also be consulted] as a ``reasoning assistant''. He concentrates on groups of finite even exponent \(> 2\), and especially on those of exponent 4, because exponent 2 groups [that is Boolean groups] and groups of finite odd exponent have been adequately dealt with by other authors. His main result is that there are precisely three single axioms, except for trivial modifications, that define the variety of groups of exponent 4 in terms of a binary operation, namely multiplication, involve 3 variables, and are of the form \(u = v\), with \(v\) of length 1 [that is to say just a variable] and \(u\) of length 17 [counting variable and operation symbols; the author prefers to count just the variables, which, in the absence of nullary operations, is entirely justifiable]. An elaborate search, using OTTER, shows that no shorter law will do, and that all other such laws reduce, by obvious transformations, to one of the three. The author claims in the introduction that the reviewer [Bull. Aust. Math. Soc. 23, 81-102 (1981; Zbl 0581.20003)=Selected Works of \textit{B. H. Neumann} and \textit{Hanna Neumann}, Winnipeg, Canada (1988; Zbl 0655.20001), Vol. V, 1076-1097] ``found a general scheme for single axioms for any variety of groups, but single axioms for exponent \(n\) groups produced as instances of this scheme are quite large''. Both these claims are not quite correct, as the reviewer's ``general scheme'' applies only to varieties of groups that can be defined by a finite set of laws; and for groups of exponent \(n\) the length remains linear in \(n\), not biquadratic in \(n\), as the author claims in Section 6, if the reviewer's scheme is applied as stated, namely with a binary multiplication and …
Mathematics Subject Classification ID: 20A05
Mathematics Subject Classification ID: 20-04
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 20E10
Mathematics Subject Classification ID: 20F50
zbMATH DE Number: 718807
zbMATH Keywords: single axioms
zbMATH Keywords: varieties of groups
zbMATH Keywords: automated reasoning program OTTER
zbMATH Keywords: groups of finite even exponent
zbMATH Keywords: groups of exponent 4
Wikidata QID: Q114683438
reviewed by: B. H. Neumann
describes a project that uses: OTTER
MaRDI profile type: Publication
OpenAlex ID: W2015229744
cites work: Another single law for groups
cites work: Equational logic
cites work: Q4255507
cites work: Single axioms for groups and abelian groups with various operations
cites work: Single axioms for groups
cites work: Q5581665
cites work: Q4165387
published in: Computers & Mathematics with Applications
description: scientific article; zbMATH DE number 718807