Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Transactions of the ...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 1968
Data sources: zbMATH Open
Transactions of the American Mathematical Society
Article . 1968 . Peer-reviewed
Data sources: Crossref
Transactions of the American Mathematical Society
Article . 1968 . Peer-reviewed
Data sources: Crossref
versions View all 3 versions
addClaim

Bisimple Inverse Semigroups

Bisimple inverse semigroups
Authors: Reilly, N. R.;

Bisimple Inverse Semigroups

Abstract

In [1] Clifford showed that the structure of any bisimple inverse semigroup with identity is uniquely determined by that of its right unit subsemigroup. The object of this paper is to show that the structure of any bisimple inverse semigroup with or without identity is determined by that of any of its a-classes. Let us define a right partial semigroup S to be a set S together with a partial binary operation satisfying the following condition: (A) if, for elements a, b, c of S, a(bc) is defined then so also is (ab)c defined and then a(bc) = (ab)c. We say that a right partial semigroup S is isomorphic with a right partial semigroup T if there exists a bijection b of S onto T such that ab is defined if and only if aq bq is defined and such that if ab is defined then (ab)k = aq bb. We define an RP-system (R, P) to be a right partial semigroup R together with a subsemigroup P of R such that: P(1) ab is defined if and only if a E P, for all a, b in R; P(2) R has a left identity contained in P; P(3) ac = bc implies that a = b for all a, b E P, c E R; P(4) foralla,be R,PanPb=Pcforsomece R. It then follows from P(1) and P(3) that any left identity of R contained in P is, in fact, a two-sided identity for P and so is unique. Now consider any a-class R of a bisimple inverse semigroup S. If we define the partial binary operation o in R by the rule that a o b = ab if and only if ab e R, then with respect to this operation R is a right partial semigroup with a subsemigroup P such that (R, P) is an RP-system (Theorem 1.4). Note 1. RP-systems can be obtained from systems having products more generally defined than stipulated in P(1). We then just ignore products which do not satisfy the condition P(1) (cf. Examples 1, 2 in ?6). Note 2. In particular, R could be a lattice ordered group and P the positive cone of R. We show that for any RP-system (R, P) there exists a bisimple inverse semigroup, which we denote by R-1 o R, some a-class of which is isomorphic with R. Conversely, for any a-class R of a bisimple inverse semigroup S there is a subsemigroup P of R such that (R, P) is an RP-system and R1 o R is isomorphic with S.

Keywords

generalized groups, semigroups

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    6
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
6
Average
Top 10%
Average
bronze