首页 / 资料库 / 文献详情

The Order of Hypersubstitutions of Type （2, 2）

Thawhat、Changphas、Klaus、Denecke

2007Acta Scientiarum Naturalium Universitatis SunyatseniComputer Science被引 1

摘要

Hypersubstitutions 是印射操作符号到相应 arities 的术语的地图砰。他们作为使 ahyperidentity 和归纳的概念精确到 M-hyperidentities 的一个方法被介绍。每身份作为亢奋的身份在满足的一个变化被称为固体。如果每身份是为子集 Mof 的 M-hyperidentity 所有亢奋的替换的集合，变化被称为 M 固体。在亢奋的替换的单音的标志和一种给定的类型的代数学的所有变化的格子的潜水艇格子之间有一个 Galois 连接。因此，知道怎么有趣、有用半组或在到 M 固体变化的相应格子的性质的这个 Galois 连接下面的亢奋的替换转移的单音的标志性质 ofmonoids。在这篇论文，我们学习类型(2,2 ) 的 eachhypersubsfitution 的顺序，即，周期的 subsemigroup 的顺序由类型的所有亢奋的替换的单音的标志的 thathypersubstitution 产生了(2， 2 ) 。主要结果是顺序是 1， 2， 3， 4 或无限。

引用本文（GB/T 7714）