Abstract
In this note, we study shortest (with respect to the number of variable occurrences on the left-hand side) possible single axioms for groups of exponent 6 of the form T = x, where T is a term in product only. These investigations were carried out with the automated theorem provers OTTER and Prover9 and the finite first-order model finder Mace4.
Similar content being viewed by others
References
GAP Group (2005) GAP – Groups, Algorithms, and Programming, Version 4.4. http://www.gap-system.org
Hart, J., Kunun, K.: Single axioms for odd exponent groups. J. Autom. Reason. 14, 383–412 (1995)
Kalman, J.A.: Automated Reasoning with OTTER. Rinton, Princeton, New Jersey (2001)
Kunen, K.: The shortest single axioms for groups of exponent 4. Comput. Math. Appl. 29, 1–12 (1995)
Kunen, K.: The semantics of answer literals. J. Autom. Reason. 17, 83–95 (1996)
Lewis RH (14 June 2005) Fermat User’s Guide for Windows, Linus, Unix, and Mac OSX. http://www.bway.net/~lewis/
Maple 10.00, Waterloo Maple Inc.
McCune, W.: OTTER 3.3 Reference Manual, Mathematics and Computer Science Division Tech. Memo. No. 263. Argonne National Laboratory, Argonne, Illinois (Aug. 2003) (http://www-unix.mcs.anl.gov/AR/otter/otter33.pdf)
McCune, W.: Mace4 Reference Manual and Guide, Mathematics and Computer Science Division Tech. Memo. No. 264. Argonne National Laboratory, Argonne, Illinois (Aug. 2003) (http://www-unix.mcs.anl.gov/AR/mace4/July-2005/doc/mace4.pdf)
McCune, W., Wos, L.: Applications of automated deduction to the search for single axioms for exponent groups. In: Logic Programming and Automated Reasoning, pp. 131–136. Springer, Berlin Heidelberg New York (1992)
Neumann, B.H.: Another single law for groups. Bull. Aust. Math. Soc. 23, 81–102 (1981)
Octave 2.1.70. http://www.octave.org
Wall, L., Christiansen, T., Orwant, J.: Programming Perl. O’Reilly, Sebastopol, California (2000)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fiala, N.C., Agre, K.M. Searching for Shortest Single Axioms for Groups of Exponent 6. J Autom Reasoning 36, 241–257 (2006). https://doi.org/10.1007/s10817-006-9044-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-006-9044-z