关于BCK-代数的次伪赋值.pdfVIP

2009年 11月 中央 民族 大学学报( 自然科 学版) Nov.，2009 18 JournalofMUC( NaturalSciencesEdition) Vol.18Suppl. 第 卷 增刊 BCK- 关 于 代 数 的 次 伪 赋 值 苑 雷 ( 中央 民族 大学 理学 院 ，北京 100081) 摘 要 : 本文介绍 了 BCK-代数 的次伪赋值 的概念和性质.我们研 究 了次伪赋 值和理想 之 间的 联系.我们使 BCK- . 用次伪赋值 定义关于 代数 的 次伪度量 并且用此证 明诱导 同 余关系 我们通过 这种关系 定义 了商 代数并 BCK-. 证 明了它也是一个 代数 关键词 : 次伪赋值 ; 伪赋值 ; 赋值 ; BCK-代数 : O153: A: 1005-8036( 2009) -0051-03 中图分类 号 文献标识码 文 章编号 增刊 1引 言 ［2�3］ Imai和 Iseki在 1966年 介绍 了 BCK-代数 的定 义 .BCK-代 数 有许 多令 人 感兴趣 的代数 性 质.最 D.Busneag .， . 近 定义 了剩 余格 上的赋值 概念 这 里 我们给 出在 下一 小节 需要 的概 念和 定理 ［2�3］ 1.1( 2，0) ( A，*，0) �，�，�A， 定 义 如 果 类型的代数 对于任意 的 �满足 下列 条件 那 么称其 为 BCK-代数. ( BCK1) ( ( �*�) *( �*�) *( �*�) ) =0， ( BCK2) �*0=�， ( BCK3) 0*�=0， ( BCK4) �*�=0，�*�=0��=�. ［5�6］ 定 理 1.1令 ( A，*，0) 是一 个 BCK-代数 .在 A上定 义运 算 �: 对任 意的 �，��A，���当且 仅 当 �*�=0.那么 ( A，�) 是一 个 以 0为最 小元 素的偏序 集. ［6］ 1.2( 2，0) ( A，*，0) BCK-A 定 理 一 个 型的代数 是 一个 代 数当且 仅当存 在 上一 个 偏序 �使 得 �，�，�A: 对 于任 意的 �满 足下 列条 件 ( 1) ( �*�) *( �*�) �( �*�) ， ( 2) �*( �*�) ��， ( 3) 0�， � ( 4) �*�=0��. 当且仅 当 � ［6］ 定 理 1.3令 �，�，��A是在 BCK-代数 A上的任意元素.则有 ( 1) ���蕴涵 �*���*�和 �*���*�， ( 2) ( �*�) *�=( �*�) *�， ( 3) �*���*��， �当且 仅当 � ( 4) �*( �*( �*�) ) =�*�， ( 5) 0*( �*�) =( 0*�) *( 0*�