Vol. 15, No. 2, 1965

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 290: 1  2
Vol. 289: 1  2
Vol. 288: 1  2
Vol. 287: 1  2
Vol. 286: 1  2
Vol. 285: 1  2
Vol. 284: 1  2
Vol. 283: 1  2
Online Archive
The Journal
Editorial Board
Special Issues
Submission Guidelines
Submission Form
Author Index
To Appear
ISSN: 0030-8730
Proper ordered inverse semigroups

Tôru Saitô

Vol. 15 (1965), No. 2, 649–666

Let S be an ordered inverse semigroup, that is, an inverse semigroup with a simple order < which satisfies the condition:

x < y implies xz ≦ yz and zx ≦ zy.

Let E be the subsemigroup of S constituted by all the idempotents of S. By a result of Munn, Γ = S∕σ is an ordered group, where σ is the congruence relation such that xσy if and only if ex = ey for some e E. An ordered inverse semigroup S is called proper if the σ-class I which is the identity element of Γ contains only idempotents of S.

In a proper ordered inverse semigroup S, let Γ(e)(e E) be the set of those members of Γ which intersect nontrivially with Re. Each element of S can be represented in the form (α,e), where e E and α Γ(e). We define eα = a1a E, where a = (α,e). Then Γ(e) and eα satisfy the following six conditions:

(i) eEΓ(e) = Γ;

(ii) I Γ(e) and eI = e;

(iii) if f e in the semilattice with respect to the natural ordering of the commutative idempotent semigroup E and α Γ(e), then α Γ(f) and fα eα in the semilattice E;

(iv) if α Γ(e) and β Γ(eα), then αβ Γ(e) and eαβ = (eα)β;

(v) if α Γ(e), then α1 Γ(eα);

(vi) if α Γ(e) Γ(f) and e f, then eα fα.

Also the product and the order in S determined by

(α,e)(β,f) = (αβ,(eαf)α−1);

(α,e) ≦ (β, f) if and only if either α < β or α = β, e ≦ f.

Next we prove conversely a theorem asserting that, for an ordered commutative idempotent semigroup E and an ordered group Γ, if Γ(e) and eα satisfy the six conditions above, then the set {(α,e);e E,α Γ(e)} is a proper ordered inverse semigroup with respect to the product and the order mentioned above. Besides this, we present other characterizations of special cases.

Mathematical Subject Classification
Primary: 06.70
Secondary: 20.00
Received: 14 April 1964
Published: 1 June 1965
Tôru Saitô