BCI-代数的一些局部特征.pdfVIP

第22卷第1期 甘肃联合大学学报(自然科学版) Vo1．22 No．1 2008年1月 Journal of Gansu Lianhe University(Natural Sciences) Jan．2008 文章编号：1672—691X(2008)01—0034—02 BCI-代数的一些局部特征 杨永保 (西北师范大学数学与信息科学学院，甘肃兰州730070) 摘 要：BCI-代数被划分为B，M，N三部分，并指出了它们的一些特征．两个主要结果是(1)B—Xg，其中 是 g的右稳定分子；(2)令 l B l≥2，如果N—p，那么 }M l≥2，M不是x的理想． 关键词：BCI-代数；极小元；右稳定化子；理想 中图分类号：O153 文献标识码：A 设X是一BCI一代数，将X的元素划分为B， 证明 任意g∈G，由BCI一代数的定义知 M，N三部分，对每一部分的性质加以探讨，从而 0*(0 g)≤g． 为研究BCI-代数的结构提供帮助． 而g是极小元，故0*(0*g)一g，g∈E． B，M，N的定义如下： 反之，任意z∈E，则0*(0*z)一z．若有 B一{JT∈X l 0*z一0)； ∈X，使得 ≤z，于是 *z一0．即 M={0*z l z∈X)； ( *z)* 一0* ． N= {z∈X l z睡B且z睡M )． 又根据BCI一代数的性质得 B称为X的BCK部分，M是X的极小元部 ( *z)* 一 ( * )*z一0*z． 分，N叫做X的第三部分，其中BnM=(0}．我 故0*z一0 ． 们分别用l X B l，l Ml，J Nl表示X，B，M，N中 另一方面，z =(0*(0*z)) 一(0 ) 元素的个数． *(0*z)一0． 首先，给出需要用到的两个引理． 故 —z．z∈G．G=：=E． 引理1 设G是BCI一代数X的极小元所成 证毕． 集合，任意g∈G，则存在32∈X，使得g一0*32，并 综合引理1、引理2可知M=E=G． 且 G—M． 引理3 在BCI一代数X中成立 证明 任意gEG，由BCI一代数的性质知 0*( z)一 (0 )*(0 z)， 0*(0 g)≤ g． 任意z，yE X(见文[4])． 而g是极小元，所以0*(0*g)一g． 定义1 设X是一BCI一代数，口∈X，令 令0*g—z，则g一0*z．这说明G M- X。=：={z∈X l口*z一口)． 另一方面，任意0*z∈M(xE X)，若有 ∈ 称X 为。在X中的右稳定化子． X，使得 *(0* )=0．那么 定义2 设 X是一 BCI一代数，B是X的 (0*z)* 一 (( *(0*z))*z)* 一 BCK部分，若X≠B，就称X是一真BCI一代数． (( (O* )) )*32一 有了上面的准备工作，可得下面两个结论． (( * )*(0* ))* 一 (0*z)*(0*z)一 0． 定理 1 设 X是一BCI