Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
WILLIAM S. MCCUNE, A. D. Sands · American Mathematical Monthly · 1996
single axiom, but then \\Delta is not product, and \\Gamma1 is not inverse. The same situation holds for the Abelian case. Another curious fact is that there is no single equational axiom for groups or for Abelian groups in terms of the three standard operations of product, inverse, and Supported by the Mathematical, Information, and Computational Sciences Division subprogram of the Office of Computational and Technology Research, U.S. Department of Energy, under Contract W-31-109-Eng-38. the identity element [8]. Single equational axioms in terms of product and inverse have been reported by Neumann [5] and others [3, 2]. In this note we consider single implicative axioms, that is, axioms of the form ff = fi ) fl = ffi. For Abelian groups, an axiom of this type with five variables was given by Sholander [6]. If we allow one of f