Clones of full terms
In this paper the well-known connection between hyperidentities of an algebra and identities satisfied by the clone of this algebra is studied in a restricted setting, that of n-ary full hyperidentities and identities of the n-ary clone of term operations which are induced by full terms. We prov...
Gespeichert in:
| Veröffentlicht in: | Algebra and Discrete Mathematics |
|---|---|
| Datum: | 2004 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут прикладної математики і механіки НАН України
2004
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/156591 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Clones of full terms / K. Denecke, P. Jampachon // Algebra and Discrete Mathematics. — 2004. — Vol. 3, № 4. — С. 1–11. — Бібліогр.: 3 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | In this paper the well-known connection between
hyperidentities of an algebra and identities satisfied by the clone
of this algebra is studied in a restricted setting, that of n-ary full
hyperidentities and identities of the n-ary clone of term operations
which are induced by full terms. We prove that the n-ary full
terms form an algebraic structure which is called a Menger algebra
of rank n. For a variety V , the set IdF
n V of all its identities built
up by full n-ary terms forms a congruence relation on that Menger
algebra. If IdF
n V is closed under all full hypersubstitutions, then
the variety V is called n−F−solid. We will give a characterization
of such varieties and apply the results to 2 − F−solid varieties of
commutative groupoids.
|
|---|---|
| ISSN: | 1726-3255 |