Semigroups of (linear) transformations whose restrictions belong to a given semigroup

Abstract: Let

T (X)

(resp. L(V)) be the semigroup of all transformations (resp. linear transformations) of a set

X

(resp. vector space

V

). For a subset

Y

of

X

and a subsemigroup

m a t h b b S (Y)

of

T (Y)

, consider the subsemigroup

T_{m a t h b b S (Y)} (X) = f i n T (X) c o l o n f_{u p h a r p o o n r i g h t_{Y}} i n m a t h b b S (Y)

of

T (X)

, where

f_{u p h a r p o o n r i g h t_{Y}} i n T (Y)

agrees with

f

on

Y

. We give a new characterization for

T_{m a t h b b S (Y)} (X)

to be a regular semigroup [inverse semigroup]. For a subspace

W

of

V

and a subsemigroup

m a t h b b S (W)

of

L (W)

, we define an analogous subsemigroup

L_{m a t h b b S (W)} (V) = f i n L (V) c o l o n f_{u p h a r p o o n r i g h t_{W}} i n m a t h b b S (W)

of

L (V)

. We describe regular elements in

L_{m a t h b b S (W)} (V)

and determine when

L_{m a t h b b S (W)} (V)

is a regular semigroup [inverse semigroup, completely regular semigroup]. If

m a t h b b S (Y)

(resp.

m a t h b b S (W)

) contains the identity of

T (Y)

(resp.

L (W)

), we describe unit-regular elements in

T_{m a t h b b S (Y)} (X)

(resp.

L_{m a t h b b S (W)} (V)

) and determine when

T_{m a t h b b S (Y)} (X)

(resp.

L_{m a t h b b S (W)} (V)

) is a unit-regular semigroup.

This page was built for publication: Semigroups of (linear) transformations whose restrictions belong to a given semigroup