Skip to main content
SpringerLink
Log in

Baer Criterion for Injectivity of Projection Algebras

  • Published:
Semigroup Forum Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. Department of Mathematics, Shahid Beheshti University and Institute for Studies in Theoretical Physics and Mathematics (IPM) Tehran, Iran

    M. Mehdi Ebrahimi

  2. Department of Mathematics, Shahid Beheshti University, Tehran, Iran

    Mojgan Mahmoudi

Authors
  1. M. Mehdi Ebrahimi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mojgan Mahmoudi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to M. Mehdi Ebrahimi or Mojgan Mahmoudi.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ebrahimi, M., Mahmoudi, M. Baer Criterion for Injectivity of Projection Algebras. Semigroup Forum 71, 332–335 (2005). https://doi.org/10.1007/s00233-004-0152-y

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-004-0152-y

Keywords

Search

Navigation