inverse semigroups which are separated over a subsemigroup

2 downloads 0 Views 2MB Size Report
elements of. S there is a strong subset of S which contains one of the pair but not the other. Proof. Suppose that 77 is one-to-one and that a / b in 5. Then ar\ / br¡ ...
TRANSACTIONSOF THE AMERICAN MATHEMATICAL SOCIETY Volume 182, August 1973

INVERSESEMIGROUPSWHICHARE SEPARATED OVER A SUBSEMIGROUP BY

D. B. McALISTER( 1) ABSTRACT.

An inverse

T is generated,

exists

x e SaPiSb

such

example,

if

cipal

and right

S.

left

In this

inverse

even

In a general semilattice

image

kernel ating

is a semilattice extensions

theoretically principle, inverse

semigroups

prinover

T which

has been the object

[13L

for example).

or 0-simple

However

one to suspect

of inverse

and a semilattice shows

These

inverse

the degree

that this

are

of much study

and 0-simple papers

attempted

semigroups

of complication

is, in general,

of groups.

semigroups

of groups.

that the maximal

a futile

ideals

fundamental

[4] and

construct

all inverse

semigroups

semigroups;

the latter,

however,

Coudron

TE

E of idempotents

idempotent

semigroups

construct

so its

separ-

has been solved,

[3] so that one could,

if one could remain

homomorphic

separating

of constructing

by inverse

of

of the semigroup

of the semilattice

The problem

by its

is a consequence

p: S —» S/p. is idempotent

of groups

by D'Alarcao

is determined

This

S is a full subsemigroup

the principal

homomorphism

of semilattices

at least,

T is separated

in some cases.

semigroup

between

The canonical

leads

which

of an inverse

For

S whose

being paid to O-bisimple

O-bisimple

the structure

of Munn [ll]

S/¡i

of isomorphisms of S.

sense,

of idempotents

a theorem

semigroups

attention

and semilattices.

cases

it is possible

for right ideals.

then

of inverse

S if

b £ S there

by a semigroup

inclusion,

the structure

a,

S.

of various

of groups

a subsemigroup

x and dually

semigroup

under

([2], [9]> [lO], [il],

in these

although

b = x~

form chains

of inverse

the structure

in terms

involved

ab~

with particular

semigroups

directly task

theory

years

to determine

ideals

subsemigroups

The structure

over recent

a~

over

by S and for each

as an inverse

we investigate

over

T is separated

semigroup,

that

T is generated

paper

separated

semigroup

as an inverse

in

all fundamental

a mystery.

Received by the editors April 10, 1972. AMS'MOS) subject classifications (1970). Primary 20M10. Key words and phrases. Inverse semigroup, shift representation, group, naturally quasisemilatticed semigroup, fundamental inverse group of (strong) quotients.

(1) This research

was supported

free inverse semisemigroup, inverse semi-

by NSF Grant GP 27917. CopyrightC 1973, AmericanMithematicij Society

85

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

D. B. McALISTER

86 In this paper, semigroups.

Suppose

semigroup

T.

generated

we shall

adopt

that

6 is a homomorphism

Then we shall

as an inverse

a more internal

say that

semigroup

is separated

concept

have been

is to investigate

over a semigroup

considered

before.

separated

over S. Clifford

Eberhart

parameter

inverse

semigroup

S of the multiplicative

Theorem semigroups

extension

semigroups

it the sets

theorem

conditions

of principal

thus an inverse latticed

an explicit

For example,

let

and

semigroup

S.

over

semigroup

S.

On

over a sub-

Thus,

construct

S is naturally

inverse

by using all inverse

to do this explicitly

quasisemilatticed

of S form semilattices

S by d then,

of S.

of all one

for all fundamental

is naturally quasisemilatticed.

T is separated

T is

reals.

We have not been able

ideals

monoid

then

T is separated

in principle,

A semigroup

of this

of T in terms

of construction

over an arbitrary

left and right

cases

the structure

of the positive

[4] one could,

semigroup

T be a bisimple

the structure

semigroup

method

over

Special

of T; if S is right reflexive

[5] have described

on S.

of an inverse

of S.

semigroup

which are separated

imposing

the structure

Any such

which are separated

D'Alarcao's without

semigroups.

3-5 gives

for some y £ Sa n Sb.

[l] has described

and Seiden

S into an inverse

S, by 6, if T is

a, b £ S,

S, in terms

and let S be the right unit subsemigroup

the other hand,

over

inverse

for some x £ aS n bS,

bd =(yÖ)_1yö

The main aim of this paper

T, which

= xfXxÖ)-1

to describing

of a semigroup

T is separated

by Sd and, for each

adiad)-lbdibd)-1 iad)-ladibd)-1

approach

under inclusion;

If S is naturally

semi-

for a, b £ S,

adiad)' lbdibd)-1 = ia Ar b)v[ia Ar b)6]-\

iaO)-ladibd)-lbd = [ia A, b)d]~Ha A, b)d, where, thus

for example,

a universal

which

a A

inverse

are separated

b in S is such that aSx n bS x = (a A semigroup

over

S.

EÍS)

An explicit

for EÍS) are given in §4 while

in the category construction

the congruences

b)S . There

of inverse and several

and ideal

is

semigroups coordinatisations

structure

form the sub-

ject matter of $5. Whenever chains

the sets

of principal

under inclusion,

group, by a homomorphic inverse

semigroup

quasisemilatticed inverse

semigroup

over S.

on S and so S can be embedded in EÍS).

(Theorem

and sufficient

The last

result

4.6) so that we can use

conditions

of a semigroup

generated,

image of S is separated

only if it can be embedded

necessary

left and right ideals

every inverse

S are

as an inverse Hence

semi-

EÍS) is the free

in an inverse

semigroup

remains

if S is naturally

EÍS)

for the embeddability

semigroups.

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

true

to obtain

if and

a set of

of such semigroups

in

INVERSE SEMIGROUPSSEPARATED OVER A SUBSEMIGROUP The main tools

used

in this paper

S by one-to-one

partial

Vagner-Preston

representations

tions

of cancellative The theory

consideration conditions

transformations.

c with

cipal

left and right

also

applied

It is applied semigroup

of S should

consists

of several In particular

0-simple

inverse

are traversed

the 0-simple

inverse

semigroups

semigroups

element

conditions

and sufficient

of IÍS) should

inclusion.

of inverse

be of of prin-

The theory

cone of a right

the theory gives

is

ordered

semigroups

group.

which

a method

for con-

5) ^ £). The -D-classes

in these

but noil-class

obtained

S under

are that the sets

under

examples

in which

by a semigroup

representa-

in §2.

of the positive

theory.

semigroups

both the

in §6 to give necessary

be chains

to give a characterisation

from the general

structing

generalise

when the semigroup

so that each

a, b, c £ S; the precise

ideals

of

and the regular

simplification

The final section arise

semigroups

They are described

considerable

is cancellative.

representations

These representations

of inverse

semigroups.

undergoes

on a cancellative

the form ab~

are what we term shift

87

is a subsemigróup

here are, in a sense,

so that

dual to those con-

sidered by Munn [12]. 1. Embedding it follows

inverse

a semigroup

from general

semigroup

homomorphism

semigroup.

considerations,

IÍS) and a homomorphism

erty: given any homomorphism unique

in an inverse

categorical

If S is any semigroup,

or from [8], that there

is an

77:S —>IÍS) with the following

6 of S into an inverse

semigroup

prop-

T, there is a

iff. 1ÍS) —»T such that the diagram

5.

commutes.

The semigroup

IÍS) is called

the aims of this paper

is to investigate

groups

structure

when the ideal

when the sets

of principal

It follows and IÍS)

easily

relationships

between

IÍS)

factored one-to-one.

any homomorphism

We shall

assume

Let S = S

and sufficient

be a semigroup.

conditions

properties;

Hence,

semi-

in particular,

/(S1)

in studying

throughout

the

assume

that

this paper.

semigroup

can be uniquely

semigroup

if and only if r¡ is

proof of Schein's

for embedding

Then a nonempty

One of

under inclusion.

loss of generality,

the latter

in an inverse

We can use this to give a short

on S.

of S , S° and IÍS) that

isomorphic.

of S into an inverse

through r/, S can be. embedded

gives necessary semigroups.

special

properties

ate naturally

semigroup

of IÍS) and some related

of S form chains

S and IÍS) we may, without

S has a zero and an identity.

Because

of S has certain

left and right ideals

from the functorial

and IÍS ) and

the free inverse

the structure

subset

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

theorem

semigroups

[l6] which in inverse

H of S is strong

it

88

D. B. McALISTER

ax, bx, ay e H together strong

subsets

Let

imply by £ H. Clearly,

subset

for example,

H/x

transformations

WH is clearly

of S = S

(KH)

of

and define

if and only if H'x = H'y

= [u e S: x u e H\.

on S [2, § IO.2] and can be used

partial

the intersection

is strong.

H / D be a strong

x =y where,

if nonvoid,

to construct

in the following

an J\„-class

Then

3\H is a right congruence

a representation

way [2, §11.4].

on

of S by one-to-one

Set W^ = [x e S: H 'x = □ }.

of S, and let XH be the set of J\„-classes

different

from WH. For each a e S, define xp Then the mapping transformations verse

that,

for each

p : a —>p

of X„;

semigroup Recall

= xa

thus

HjCA

x e !X„ such that ~xâ e Ji^.

is a representation p

of S by one-to-one

is a homomorphism

partial

of S into the symmetric

in-

on Jl„.

if T is an inverse

semigroup,

the natural

partial

order on T is

defined by x < y if and only if x = ey for some

Lemma

semigroup which

1.1.

d be a homomorphism

T and let a e S.

contains Proof.

also,

Let

Then

e = e

e T [2, §7.l].

of a semigroup

S = S

into an inverse

K - [x e S: ad < xd\ is a strong

subset

of S

a.

Suppose

bx, by. ex e K. Then ad