BR0代数中的＊理想及其诱导的商代数  

The ＊ Ideals and Induced Quotient Algebras in BR0 Algebras

作　　者：牛超慧 吴洪博[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《江西师范大学学报（自然科学版）》2013年第3期221-224,共4页Journal of Jiangxi Normal University(Natural Science Edition)

基　　金：国家自然科学基金(11171196)资助项目

摘　　要：通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.The ＊ ideal,prime ＊ ideal,generate ＊ ideal and maximal ＊ ideal are all defined by introducing ＊operation in BR0 algebras.Then the properties related to those ideals are studied respectively.What＇s more,a congruence relation based on the notion of（prime）＊ideals in BR0 algebras is structured.It is proved that the quotient algebra of a BR0 algebra under this congruence relation is still a（totally）BR0 algebra.

关 键 词：逻辑代数 BR0代数 ＊理想 素＊理想 极大＊理想 商代数 

分 类 号：O141.1[理学—数学]