计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (34): 23-25.DOI: 10.3778/j.issn.1002-8331.2008.34.006

• 博士论坛 • 上一篇    下一篇

由可精确测量元控制的弱可换的伪效应代数

颉永建1,李永明1,2   

  1. 1.陕西师范大学 数学与信息科学学院,西安 710062
    2.陕西师范大学 计算机科学学院,西安 710062
  • 收稿日期:2008-06-20 修回日期:2008-09-16 出版日期:2008-12-01 发布日期:2008-12-01
  • 通讯作者: 颉永建

Sharply dominating weak commutative pseudoeffect algebras

XIE Yong-jian1,LI Yong-ming1,2   

  1. 1.College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China
    2.College of Computer Science,Shaanxi Normal University,Xi’an 710062,China
  • Received:2008-06-20 Revised:2008-09-16 Online:2008-12-01 Published:2008-12-01
  • Contact: XIE Yong-jian

摘要: 主要研究了由可精确测量元控制的弱可换的伪效应代数中可精确测量元。证明了可精确测量元控制的弱可换的伪效应代数中可精确测量元是弱可换的伪正交代数代数。讨论了弱可换的伪效应代数与BZ-偏序集之间的关系。讨论了弱可换的伪效应代数商代数中可精确测量元与正规Riesz理想之间的关系。

关键词: 可精确测量元, 弱可换的伪效应代数, 正规Riesz理想

Abstract: In this paper,the set of sharp elements in sharply dominating weak commutative pseudoeffect algebras is studied.It’s proved that the set of sharp elements in sharply dominating weak commutative pseudoeffect algebras are weak commutative pseudoorthoalgebras.At the same time,the relationships between weak commutative pseudoeffect algebras and BZ-posets are discussed.At last,it’s proved that the equivalent class of sharp element is sharp element in the quotient algebra of a weak commutative pseudoeffect algebra gotten by normal Riesz ideals.

Key words: sharp elements, weak commutative pseudoeffect algebras, normal Riesz ideals