罗森伯格对最大克隆的分类
摘要：I. G. Rosenberg的极大克隆的特征的证明。该定理列出了一个有限集合上的六种关系类型，如果一个克隆包含列表中的某个关系的函数，则该克隆是极大的。在普遍代数中，这立即转化为对有限preprimal代数的特征化：一个有限代数是preprimal的当且仅当它的项操作正好是保持定理中列出的六种类型关系的函数。 证明的困难部分是要展示所有极大克隆或preprimal代数都具有这种形式。这可以从并且我们也证明，是等价于原始代数的特征化：我们展示原始代数正好是那些项操作不保持列表中的任何关系的代数。
作者：Michael Pinsker
论文ID：math/0211420
分类：Logic
分类简称：math.LO
提交时间：2007-05-23