On mappings of terms determined by hypersubstitutions
Rings and Algebras
2008-11-21 v1
Abstract
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.
Keywords
Cite
@article{arxiv.0811.3325,
title = {On mappings of terms determined by hypersubstitutions},
author = {Jorg Koppitz and Slavcho Shtrakov},
journal= {arXiv preprint arXiv:0811.3325},
year = {2008}
}
Comments
10 pages, Journal "Algebra and Discrete Mathematics", Number 3 (2005), pp. 18-29