期刊文献+

半分配同余簇主同余的研究 被引量:1

The research on principal congruence of congruence semi-distributive variety
原文传递
导出
摘要 分配同余簇是半分配同余簇的真子类,给出了半分配同余簇上的一个重要的相仿于分配同余簇上的结论. Congruence distributive variety is a proper subclass of congruence semi-distributive variety.An important conclusion on congruence semi-distributive variety to be similar to congruence distributive variety is attained in this paper.
作者 曹发生 王驹
出处 《福州大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第3期309-311,共3页 Journal of Fuzhou University(Natural Science Edition)
基金 国家自然科学基金资助项目(60663001) 贵州省教育厅自然科学基金资助项目(20090068) 毕节学院重点资助项目(20092015)
关键词 有穷基 主同余 半分配同余簇 finite basis principal congruence congruence semi-distributive variety
  • 相关文献

参考文献7

  • 1王驹,赵希顺.代数等式系有穷公理化的一个扩充定理[J].软件学报,1999,10(3):332-335. 被引量:3
  • 2Burris S, Sankappanavar H P. A course in universal algebra[M]. New York: Springer Verlag, 1981 : 276.
  • 3Baker K A. Finite equational bases for algebras in a congruence - distributive equational class [ J ]. Advances in Math, 1977, 24 (3) : 207 - 243.
  • 4Mekenzie R. Para -primal varieties: a study of finite axiomatizability and definable principal congruences in locally finite varieties[J], Algebra Univensalis, 1978, 8(1) : 336 -348.
  • 5Willard R. Extending Baker' s theorem[ J ]. Algebra Universalis, 2001,45 (2/3) : 335 - 344.
  • 6Baker K A, McNulty G F, Wang J. An extension of Willard finite basis theorem: conguence meet - semidistributive varieties of finite critical depth [ J ]. Algebra Universalis, 2004, 52 (2/3) : 289 - 302.
  • 7Baker K A, Wang J. Definable principal subcongruences[J]. Algebra Universalis, 2002, 47(2) : 145 -151.

共引文献2

同被引文献25

  • 1罗从文.伪补MS代数的主同余关系[J].应用数学,2004,17(4):661-664. 被引量:11
  • 2Burris S,Sankappanavar H P.A Course in Universal Algebra[M].New York:Springer-Verlag,1981:38-256.
  • 3Gratzer G.Universal Algebra[M].New York:Springer-Verlag,1979:1-350.
  • 4Sankappanavar H P.Principal congruences on psdudo-complemented on Morgan algebras[J].Proc Am Math Soc,1987,33:3-11.
  • 5Birkhoff G.Lattice Theory[M].New York:American Mathematical Society,1967:1-135.
  • 6Mal’cev A I.Axiomatizable classes of locally free algebras[C]//Wells B F.The Metamathematics of Algebraic Systems:Studiesin Logic and the Foundations of Mathematics.Amsterdam:North-Holland,1971:262-281.
  • 7Lakser H.Principal congruences of Pseudo-complemented distributive lattices[J].Proc Am Math Soc,1973,37(1):12-26.
  • 8Baker K A.Finite equational bases for algebras in a congruence-distributive equational class[J].Adv Math,1977,24:207-243.
  • 9Mckenzie R.Para-primal varieties:a study of finite axiomatizability and definable principal congruences in locally finite varie-ties[J].Algebra Universalis,1978,8:336-348.
  • 10Willard R.Extending Baker’s theorem[J].Algebra Universalis,2001,45:335-344.

引证文献1

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部