论文部分内容阅读
讨论了非分配软代数F的素理想表示同余关系的问题,指出非分配软代数F的同余关系θ可由素理想表示的充要条件是F/θ是软代数.以Con(F)表示F的同余关系格,Pcon(F)表示F的全体可由素理想表示的同余关系,证明了按照Con(F)中偏序关系,Pcon(F)构成Con(F)的一个子格,并且Pcon(F)可嵌入于F的全体素理想集Z(F)的对偶幂集格P(Z(F))中.