Baer Criterion for Injectivity of Projection Algebras

被引：0
|
作者：
M. Mehdi Ebrahimi
Mojgan Mahmoudi
机构：
[1] Department of Mathematics,
[2] Shahid Beheshti University and Institute for Studies in Theoretical Physics and Mathematics (IPM) Tehran,undefined
[3] Department of Mathematics,undefined
[4] Shahid Beheshti University,undefined
[5] Tehran,undefined
来源：
Semigroup Forum | 2005年 / 71卷
关键词：
Computer Scientist; Closure Operator; Process Algebra; Algebraic Specification; Projection Algebra;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Projection algebras are M-sets for the monoid M = (ℕ∞, min) which are used by computer scientists for algebraic specification of process algebras. In contrast to the case of modules it is well known that the Baer Criterion does not generally hold for injectivity of M-sets for an arbitrary monoid M. Here, introducing a closure operator, we prove that the Baer Criterion does hold for injectivity of projection algebras.
引用
收藏
页码：332 / 335
页数：3
相关论文
共 50 条
12345