软代数（Fuzzy格）的中理想及同余关系

摘要

本文主要研究软代数（Ｆｕｚｚｙ格）的内部构造．本文首次引入了反映软代数（Ｆｕｚｚｙ格）基本特性的所谓理想（Ｍ－理想）的概念．证明了任一软代数的全体中理想组成一分配格．其次讨论了软代数（Ｆｕｚｚｙ格）的同余关系，证明了全体同余关系组成一具有０，１元素的完备分配格和Ｂｒｏｕｗｅｒ格．给出了极大同余关系的存在性，讨论了软代数中“理想”跟“同余”的关系．证明了每个理想及每个元素、每个中理想都以一种确定的方式定义一同余关系．文中有趣地发现跟一般格论显著不同，在软代数（Ｆｕｚｚｙ格）里，一个理想产生的同余关系在自然映射之下，其核一般不再等于原来的理想．文中给出了使之等于原理想的充分必要条件．从而为探索同余理想（即与核相等的理想），开避了道路．本文在我们软代数讨论班上散发之后，已有四、五名学者在此基础上写出了新的论文．