R0-代数的理想与其定义的简化

• 作 者: 覃锋
• 机 构: 陕西师范大学数学与信息科学学院
• 出 处: 陕西师范大学学报：自然科学版
• 发表日期: 2004年3期
• 关键词: R0-代数 理想 一一对应 同余关系 逆序 证明 简化 定义 基本性质 独立 R_0-algebras ideas congruences distrib
• 基金项目: 江西省自然科学基金

为了建立R0-代数的理想和同余之间的关系和简化它的原始定义,首先给出了R0-代数的若干基本性质,然后证明了R0-代数的理想之集与R0-代数上的同余关系之间,以及R0-代数的特殊理想之集与商R0-代数的理想之集之间分别存在一一对应关系.结果表明,R0-代数的原始定义中的逆序对合对应与分配性是不独立的,从而简化了R0-代数的定义.