摘要:本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件嵌入定理;最后,通过以蕴涵算子表示的隐式余三角模对MT理想的特征进行了描述,并通过特征定理给出了正则FI代数中MT理想的生成方法.
关键词:逻辑代数 正则fi代数 mt理想 同余关系 还原性
单位:陕西师范大学数学与信息科学学院; 陕西西安710062
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社