通过在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.