Single axioms for groups and Abelian groups with various operations

This paper summarizes the results of an investigation into single axioms for groups, both ordinary and Abelian, with each of following six sets of operations: {product, inverse}, {division}, {double division, identity}, {double division, inverse}, {division, identity}, and {division, inverse}. In all but two of the twelve corresponding theories, we present either the first single axioms known to us or single axioms shorter than those previously known to us. The automated theorem-proving program OTTER was used extensively to construct sets of candidate axioms and to search for and find proofs that given candidate axioms are in fact single axioms.