Summary
An equational identity of a given type τ involves two kinds of symbols: individual variables and the operation symbols. For example, the distributive identityδ: x ⋅ (y + z) = x ⋅ y + x ⋅ z has three variable symbols {x, y, z} and two operation symbols {+, ⋅}. Here the variables range over all the elements of the base set while the two operation symbols are fixed. However, we shall say that an identity ishypersatisfied by a varietyV if, whenever we also allow the operation symbols to range over all polynomials of appropriate arity, the resulting identities are all satisfied byV in the usual sense. For example, the ring of integers 〈Z; +, ⋅〉 satisfies the above distributive law, but it does not hypersatisfy the same formal law because, e.g., the identityx + (y ⋅ z) = (x + y) ⋅ (x + z) is not valid. By contrast, δis hypersatisfied by the variety of all distributive lattices and is thus referred to as a distributive latticehyperidentity. Thus a hyperidentity may be viewed as an equational scheme for writing a class of identities of a given type and the original identities themselves are obtained as special cases by substituting specific polynomials of appropriate arity for the operation symbols in the scheme. In this paper, we provide afinite equational scheme which is a basis for the set of all binary lattice hyperidentities of type 〈2, 2, ⋯〉.
Similar content being viewed by others
References
Aczél, J.,Proof of a theorem on distributive type hyperidentities. Algebra Universalis1 (1971), 1–6.
Belousov, D.,Systems of quasigroups with generalized identities. Uspekhi Mat. Nauk20 (1965), no. 1 (121), 75–146. English Translation: Russian Math. Surveys20, 75–143.
Grätzer, G.,Lattice theory: first concepts and distributive lattices. W. H. Freeman & Co, San Fransisco, 1971.
Grätzer, G.,Universal algebra. Second Edition, Springer-Verlag, New York, Heidelberg, Berlin, 1979.
Graczynska, E. andSchweigert, D.,Hyperidentities of a given type. Algebra Universalis27 (1990), 305–318.
Lakser, H., Padmanabhan, R. andPlatt, C. R.,Subdirect decomposition of Plonka Sums. Duke Math. J.39 (1972), 485–488.
Padmanabhan, R.,Regular identities in lattices. Trans. Amer. Math. Soc.158 (1971), # 1, 179–188.
Padmanabhan, R. andPenner, P.,Bases of hyperidentities of lattices and semilattices. C.R. Math. Rep. Acad. Sci. Canada4 (1982), # 1, 9–14.
Padmanabhan, R. and Penner, P.,Subdirectly irreducible n-quasilattices. Algebra Universalis, to appear.
Penner, P.,Hyperidentities of semilattices. Houstion J. Math.10 (1984), 81–108.
Penner, P.,Hyperidentities of lattices, semilattices and diagonal semigroups. Ph.D. Thesis, University of Manitoba.
Plonka, J.,On a method of construction of abstract algebras. Fund. Math.61 (1967), 183–189.
Plonka, J.,Some remarks on sums of direct systems of algebras. Fund. Math.62 (1968), 301–308.
Taylor, W.,Hyperidentities and hypervarieties. Aequationes Math.23 (1981), 30–49.
Author information
Authors and Affiliations
Additional information
This research was supported by the NSERC operating grant # 8215