宝鸡文理学院学报(自然科学版)
寶鷄文理學院學報(自然科學版)
보계문이학원학보(자연과학판)
JOURNAL OF BAOJI COLLEGE OF ARTS AND SCIENCE
2004年
2期
89-91,119
,共4页
蕴涵格%弱Ro代数%正则剩余格
蘊涵格%弱Ro代數%正則剩餘格
온함격%약Ro대수%정칙잉여격
讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).
討論瞭蘊涵格、弱Ro代數以及正則剩餘格之間的相互關繫,證明瞭以下結論:(1) 弱Ro代數既是蘊涵格又是正則剩餘格;(2) 蘊涵格L是正則剩餘格(弱Ro代數)的充分必要條件是:對任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正則剩餘格L是蘊涵格(弱Ro代數)的充分必要條件是:對任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).
토론료온함격、약Ro대수이급정칙잉여격지간적상호관계,증명료이하결론:(1) 약Ro대수기시온함격우시정칙잉여격;(2) 온함격L시정칙잉여격(약Ro대수)적충분필요조건시:대임의x,y,z∈L,x→(y→z)=y→(x→z);(3) 정칙잉여격L시온함격(약Ro대수)적충분필요조건시:대임의x,y,z∈L,x→y∨z=(x→y)∨(x→z).
