On mappings of terms determined by hypersubstitutions

Details On mappings of terms determined by hypersubstitutions On mappings of terms determined by hypersubstitutions

2008-11-20

arxiv.org/abs/0811.3325v1

Mathematics

Rings and Algebras

10 pages, Journal "Algebra and Discrete Mathematics", Number 3 (2005), pp. 18-29

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

On mappings of terms determined by hypersubstitutions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On mappings of terms determined by hypersubstitutions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On mappings of terms determined by hypersubstitutions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-668651