Single identities for lattice theory and for weakly associative lattices
IL (United States) Argonne National Lab., William W. McCune, Ranganathan Padmanabhan · 1995
We present a single identity for the variety of all lattices that is much simpler than those previously known to us. We also show that the variety of weakly associative lattices is one-based, and we present a generalized one-based theorem for subvarieties of weakly associative lattices that can be defined with absorption laws. The automated theorem-proving program OTTER was used in substantial way to obtain the results.