Abstract
Generalizing a linear expression over a vector space, we call a term of an arbitrary type τ linear if its every variable occurs only once. Instead of the usual superposition of terms and of the total many-sorted clone of all terms in the case of linear terms, we define the partial many-sorted superposition operation and the partial many-sorted clone that satisfies the superassociative law as weak identity. The extensions of linear hypersubstitutions are weak endomorphisms of this partial clone. For a variety V of one-sorted total algebras of type τ, we define the partial many-sorted linear clone of V as the partial quotient algebra of the partial many-sorted clone of all linear terms by the set of all linear identities of V. We prove then that weak identities of this clone correspond to linear hyperidentities of V.
Similar content being viewed by others
References
Lawvere F. W., Functorial Semantics of Algebraic Theories: Diss., New York Columbia Univ. (1963).
Börner F., “Clones of partial functions,” in: (K. Denecke and O. Lüders, Eds.) Conf. Gen. Alg. Appl. Discr. Math. (Potsdam, 1996). Berichte aus der Mathematik, Shaker-Verlag, Aachen, 1997, pp. 35–52.
Hoehnke H.-J. and Schreckenberger J., Partial Algebras and Their Theories, Shaker-Verlag, Aachen (2007).
Taylor W., “Abstract clone theory,” in: Algebras and Order, Kluwer Acad. Publ., Dordrecht; Boston; London, 1993, pp. 507–530.
Denecke K. and Wismath S. L., Hyperidentities and Clones, Gordon and Breach Sci. Publ., New York; Amsterdam (2000).
Graczynska E. and Schweigert D., “Hypervarieties of a given type,” Alg. Univ., 27, 305–318 (1990).
Movsisjan Yu. M., Introduction into the Theory of Algebras with Hyperidentities, Yerewan Univ., Yerewan (1986).
Movsisjan Yu. M., Hyperidentities and Hypervarieties in Algebras, Yerewan Univ., Yerewan (1990).
Neumann W., “Representing varieties of algebras by algebras,” J. Austral. Math. Soc., 11, 1–8 (1970).
Denecke K., Jampachon P., and Wismath S. L., “Clones of n-ary algebras,” J. Appl. Alg. Discr. Struct., 1, No. 2, 141–158 (2003).
Denecke K. and Jampachon P., “Clones of full terms,” Alg. Discr. Math., 4, 1–11 (2004).
Denecke K., “Terms, trees and languages,” in: Lect. Notes 8th Workshop of Young Algebraists of Thailand, KhonKaen Univ., Department of Math., KhonKaen, 2013, pp. 1–258.
Couceiro M. and Lehtonen E., “Galois theory for sets of operations closed under permutation, cylindrification and composition,” Alg. Univ., 67, 273–297 (2012).
Malcev I. A., “Hyperidentities of quasilinear clones on the three-element set,” Sib. Math. J., 55, No. 2, 284–295 (2014).
Malcev A. I., “Iterative Post algebras and Post varieties,” Algebra i Logika, 5, No. 2, 5–24 (1966).
Burmeister P., A Model Theoretic Oriented Approach to Partial Algebras, Akademie-Verlag, Berlin (1986).
Changphas Th., Denecke K., and Pibaljommee B., “Linear terms and linear hypersubstitutions,” SEAMS Bull. Math., V. 40 (to be published) (2016).
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of H.-J. Hoehnke on occasion of his 90th birthday in October 2015.
Original Russian Text Copyright © 2016 Denecke K.
Potsdam; KhonKaen. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 57, No. 4, pp. 755–767, July–August, 2016; DOI: 10.17377/smzh.2016.57.403. Original article submitted March 13, 2015.
Rights and permissions
About this article
Cite this article
Denecke, K. The partial clone of linear terms. Sib Math J 57, 589–598 (2016). https://doi.org/10.1134/S0037446616040030
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446616040030