On mappings of terms determined by hypersubstitutions
The extensions of hypersubstitutions are mappings on the set of all terms. In the present paper we characterize all hypersubstitutions which provide bijections on the set of all terms. The set of all such hypersubstitutions forms a monoid. On the other hand, one can modify each hypersubstitution...
Gespeichert in:
| Veröffentlicht in: | Algebra and Discrete Mathematics |
|---|---|
| Datum: | 2005 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут прикладної математики і механіки НАН України
2005
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/157195 |
| 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: | On mappings of terms determined by hypersubstitutions / J. Koppitz, S. Shtrakov // Algebra and Discrete Mathematics. — 2005. — Vol. 4, № 3. — С. 18–29. — Бібліогр.: 6 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | The extensions of hypersubstitutions are mappings on the set of all terms. In the present paper we characterize
all hypersubstitutions which provide bijections on the set of all
terms. The set of all such hypersubstitutions forms a monoid.
On the other hand, one can modify each hypersubstitution to
any mapping on the set of terms. For this we can consider mappings ρ from the set of all hypersubstitutions into the set of all
mappings on the set of all terms. If for each hypersubstitution σ
the application of ρ(σ) to any identity in a given variety V is again
an identity in V , so that variety is called ρ-solid. The concept of
a ρ-solid variety generalizes the concept of a solid variety. In the
present paper, we determine all ρ-solid varieties of semigroups for
particular mappings ρ.
|
|---|---|
| ISSN: | 1726-3255 |