论文部分内容阅读
让 S 是由有零的无 semigroupQ 的完全常规的 semigroupK 的理想的无扩展。可被考虑的一致对的一个概念(未, S 的蠅) 被介绍,在未和蠅分别地是 Q 和一致 onK 上的一致的地方。S 上的每一致能是,这被证明特别地由可被考虑的一致对的 respresented (未,蠅) ofS。建议那 ? k 表示 idealK ofS 导致的 Rees 一致。然后,它在 S 上为任何一致蟽被看那,印射的螕:蟽 | 鈫 ?(蟽 Q,蟽 K ) 是从 S 上的所有一致的集合的保存顺序的 bijec