The partial clone of linear terms
- Generalizing a linear expression over a vector space, we call a term of an arbitrary type tau 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 tau, 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.
Verfasserangaben: | Klaus-Dieter DeneckeORCiDGND |
---|---|
DOI: | https://doi.org/10.1134/S0037446616040030 |
ISSN: | 0037-4466 |
ISSN: | 1573-9260 |
Titel des übergeordneten Werks (Englisch): | Siberian Mathematical Journal |
Verlag: | Pleiades Publ. |
Verlagsort: | New York |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2016 |
Erscheinungsjahr: | 2016 |
Datum der Freischaltung: | 22.03.2020 |
Freies Schlagwort / Tag: | clone; linear hyperidentity; linear hypersubstitution; linear identity; linear term; partial clone |
Band: | 57 |
Seitenanzahl: | 10 |
Erste Seite: | 589 |
Letzte Seite: | 598 |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Mathematik |
Peer Review: | Referiert |