Single identities for lattice theory and for weakly associative lattices
- Argonne National Lab., IL (United States)
- Univ. of Manitoba, Winnipeg (Canada). Dept. of Mathematics
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.
- Research Organization:
- Argonne National Lab. (ANL), Argonne, IL (United States)
- Sponsoring Organization:
- USDOE Office of Energy Research, Washington, DC (United States)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 510566
- Report Number(s):
- ANL/MCS/PP-86040; ON: DE97008386; TRN: 97:004773
- Resource Relation:
- Other Information: PBD: 13 Mar 1995
- Country of Publication:
- United States
- Language:
- English
Similar Records
Once More on the Lattice of Subvarieties of the Wreath Product of the Variety of Semilattices and the Variety of Semigroups with Zero Multiplication
An entry in the 1992 Overbeek theorem-proving contest
An entry in the 1992 Overbeek theorem-proving contest
Journal Article
·
Sat Sep 15 00:00:00 EDT 2018
· Journal of Mathematical Sciences
·
OSTI ID:510566
An entry in the 1992 Overbeek theorem-proving contest
Technical Report
·
Sun Nov 01 00:00:00 EST 1992
·
OSTI ID:510566
An entry in the 1992 Overbeek theorem-proving contest
Technical Report
·
Sun Nov 01 00:00:00 EST 1992
·
OSTI ID:510566