Partial orders on linear transformation semigroups

2005 ◽  
Vol 135 (2) ◽  
pp. 413-437 ◽  
Author(s):  
R. P. Sullivan
Keyword(s):  
Vector Space ◽  
Regular Semigroup ◽  
Partial Order ◽  
Linear Transformation ◽  
Natural Partial Order ◽  
Transformation Semigroups ◽  
Linear Transformations ◽  
Partially Ordered ◽  
Partial Linear ◽  
A Chain

Let V be any vector space and P(V) the set of all partial linear transformations defined on V, that is, all linear α: A → B, where A, B are subspaces of V. Then P(V) is a semigroup under composition, which is partially ordered by ⊆ (that is, α ⊆ β if and only if dom α ⊆ dom β and α = β | dom α). We compare this order with the so-called 'natural partial order' ≤ on P(V) and we determine their meet and join. We also describe all elements of P(V) that are minimal (or maximal) with respect to each of these four orders, and we characterize all elements that are 'compatible' with them. In addition, we answer similar questions for the semigroup T(V) consisting of all α ∈ P(V) whose domain equals V. Other orders have been defined by Petrich on any regular semigroup: three of them form a chain below ≤, and we show that two of these are equal on the semigroup P(V) and on the ring T(V). We also consider questions for these orders that are similar to those already mentioned

THE NATURAL PARTIAL ORDER ON SOME TRANSFORMATION SEMIGROUPS

2013 ◽  
Vol 89 (2) ◽  
pp. 279-292 ◽  
Author(s):  
SUREEPORN CHAOPRAKNOI ◽  
TEERAPHONG PHONGPATTANACHAROEN ◽  
PATTANACHAI RAWIWAN
Keyword(s):  
Partial Order ◽  
Partially Ordered Sets ◽  
Natural Partial Order ◽  
Transformation Semigroups ◽  
Ordered Sets ◽  
Maximal Elements ◽  
Partially Ordered

AbstractFor a semigroup $S$, let ${S}^{1} $ be the semigroup obtained from $S$ by adding a new symbol 1 as its identity if $S$ has no identity; otherwise let ${S}^{1} = S$. Mitsch defined the natural partial order $\leqslant $ on a semigroup $S$ as follows: for $a, b\in S$, $a\leqslant b$ if and only if $a= xb= by$ and $a= ay$ for some $x, y\in {S}^{1} $. In this paper, we characterise the natural partial order on some transformation semigroups. In these partially ordered sets, we determine the compatibility of their elements, and find all minimal and maximal elements.

scholarly journals On transformation semigroups which areℬ𝒬-semigroups

2006 ◽  
Vol 2006 ◽  
pp. 1-10
Author(s):  
S. Nenthein ◽  
Y. Kemprasit
Keyword(s):  
Vector Space ◽  
Regular Semigroup ◽  
Transformation Semigroup ◽  
Transformation Semigroups ◽  
Linear Transformations ◽  
Full Transformation ◽  
Full Transformation Semigroup

A semigroup whose bi-ideals and quasi-ideals coincide is called aℬ𝒬-semigroup. The full transformation semigroup on a setXand the semigroup of all linear transformations of a vector spaceVover a fieldFinto itself are denoted, respectively, byT(X)andLF(V). It is known that every regular semigroup is aℬ𝒬-semigroup. Then bothT(X)andLF(V)areℬ𝒬-semigroups. In 1966, Magill introduced and studied the subsemigroupT¯(X,Y)ofT(X), where∅≠Y⊆XandT¯(X,Y)={α∈T(X,Y)|Yα⊆Y}. IfWis a subspace ofV, the subsemigroupL¯F(V,W)ofLF(V)will be defined analogously. In this paper, it is shown thatT¯(X,Y)is aℬ𝒬-semigroup if and only ifY=X,|Y|=1, or|X|≤3, andL¯F(V,W)is aℬ𝒬-semigroup if and only if (i)W=V, (ii)W={0}, or (iii)F=ℤ2,dimFV=2, anddimFW=1.

scholarly journals Maximum idempotents in naturally ordered regular semigroups

1983 ◽  
Vol 26 (2) ◽  
pp. 213-220 ◽  
Author(s):  
D. B. McAlister ◽  
R. McFadden
Keyword(s):  
Regular Semigroup ◽  
Partial Order ◽  
Natural Partial Order ◽  
Ordered Semigroup ◽  
Regular Semigroups ◽  
Partially Ordered ◽  
Image Position ◽  
Reverse Implication

We shall denote by ω the natural partial order on the idempotents E = E(S) of a regular semigroup S, so that in E,A partially ordered semigroup S(≦) is called naturally partially ordered [9] if the imposed partial order ≦ extends ω in the sense thatNo assumption is made about the reverse implication.

THE NATURAL PARTIAL ORDER ON LINEAR SEMIGROUPS WITH NULLITY AND CO-RANK BOUNDED BELOW

2014 ◽  
Vol 91 (1) ◽  
pp. 104-115 ◽  
Author(s):  
SUREEPORN CHAOPRAKNOI ◽  
TEERAPHONG PHONGPATTANACHAROEN ◽  
PONGSAN PRAKITSRI
Keyword(s):  
Semigroup Forum ◽  
Partial Order ◽  
Lower Bounds ◽  
Partial Orders ◽  
Natural Partial Order ◽  
Linear Transformations ◽  
Bounded Below

AbstractHiggins [‘The Mitsch order on a semigroup’, Semigroup Forum 49 (1994), 261–266] showed that the natural partial orders on a semigroup and its regular subsemigroups coincide. This is why we are interested in the study of the natural partial order on nonregular semigroups. Of particular interest are the nonregular semigroups of linear transformations with lower bounds on the nullity or the co-rank. In this paper, we determine when they exist, characterise the natural partial order on these nonregular semigroups and consider questions of compatibility, minimality and maximality. In addition, we provide many examples associated with our results.

scholarly journals Primitive idempotent measures on compact semitopological semigroups

1972 ◽  
Vol 13 (4) ◽  
pp. 451-455 ◽  
Author(s):  
Stephen T. L. Choy
Keyword(s):  
Partial Order ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Zero Element ◽  
Primitive Idempotent ◽  
Natural Partial Order ◽  
Partially Ordered

For a semigroup S let I(S) be the set of idempotents in S. A natural partial order of I(S) is defined by e ≦ f if ef = fe = e. An element e in I(S) is called a primitive idempotent if e is a minimal non-zero element of the partially ordered set (I(S), ≦). It is easy to see that an idempotent e in S is primitive if and only if, for any idempotent f in S, f = ef = fe implies f = e or f is the zero element of S. One may also easily verify that an idempotent e is primitive if and only if the only idempotents in eSe are e and the zero element. We let П(S) denote the set of primitive idempotent in S.

scholarly journals Regular semigroups, fundamental semigroups and groups

1980 ◽  
Vol 29 (4) ◽  
pp. 475-503 ◽  
Author(s):  
D. B. McAlister
Keyword(s):  
Regular Semigroup ◽  
Partial Order ◽  
Direct Product ◽  
Homomorphic Image ◽  
Sufficient Conditions ◽  
Main Tool ◽  
Natural Partial Order ◽  
Regular Semigroups ◽  
Necessary And Sufficient ◽  
Fundamental Semigroups

AbstractIn this paper we obtain necessary and sufficient conditions on a regular semigroup in order that it should be an idempotent separating homomorphic image of a full subsemigroup of the direct product of a group and a fundamental or combinatorial regular semigroup. The main tool used is the concept of a prehomomrphism θ: S → T between regular semigroups. This is a mapping such that (ab) θ ≦ aθ bθ in the natural partial order on T.

scholarly journals Regular Rees matrix semigroups and regular Dubreil-Jacotin semigroups

1981 ◽  
Vol 31 (3) ◽  
pp. 325-336 ◽  
Author(s):  
D. B. Mcalister
Keyword(s):  
Partial Order ◽  
Local Structure ◽  
Structure Theorem ◽  
Main Tool ◽  
Natural Partial Order ◽  
Ordered Semigroup ◽  
Ordered Group ◽  
Partially Ordered ◽  
Rees Matrix Semigroups ◽  
Matrix Semigroups

AbstractA partially ordered semigroup S is said to be a Dubreil-Jacotin semigroup if there is an isotone homomorphism θ of S onto a partially ordered group such that {} has a greatest member. In this paper we investigate the structure of regular Dubreil-Jacotin semigroups in which the imposed partial order extends the natural partial order on the idempotents. The main tool used is a local structure theorem which is introduced in Section 2. This local structure theorem applies to many other contexts as well.

A PARTIAL ORDER ON TRANSFORMATION SEMIGROUPS THAT PRESERVE DOUBLE DIRECTION EQUIVALENCE RELATION

2013 ◽  
Vol 12 (08) ◽  
pp. 1350041 ◽  
Author(s):  
LEI SUN ◽  
JUNLING SUN
Keyword(s):  
Lower Bound ◽  
Partial Order ◽  
Equivalence Relation ◽  
Transformation Semigroup ◽  
Natural Partial Order ◽  
Transformation Semigroups ◽  
Full Transformation ◽  
Minimal Elements ◽  
Full Transformation Semigroup

Let [Formula: see text] be the full transformation semigroup on a nonempty set X and E be an equivalence relation on X. Then [Formula: see text] is a subsemigroup of [Formula: see text]. In this paper, we endow it with the natural partial order. With respect to this partial order, we determine when two elements are related, find the elements which are compatible and describe the maximal (minimal) elements. Also, we investigate the greatest lower bound of two elements.

scholarly journals The ideal structure of idempotent-generated transformation semigroups

1985 ◽  
Vol 28 (3) ◽  
pp. 319-331 ◽  
Author(s):  
M. A. Reynolds ◽  
R. P. Sullivan
Keyword(s):  
Vector Space ◽  
Dimensional Vector ◽  
Boolean Ring ◽  
Ideal Structure ◽  
Transformation Semigroups ◽  
Linear Transformations ◽  
Dimensional Vector Space ◽  
Finite Dimensional Vector Space ◽  
Finite Dimensional ◽  
The Ideal

Let X be a set and the semigroup (under composition) of all total transformations from X into itself. In ([6], Theorem 3) Howie characterised those elements of that can be written as a product of idempotents in different from the identity. We gather from review articles that his work was later extended by Evseev and Podran [3, 4] (and independently for finite X by Sullivan [15]) to the semigroup of all partial transformations of X into itself. Howie's result was generalized in a different direction by Kim [8], and it has also been considered in both a topological and a totally ordered setting (see [11] and [14] for brief summaries of this latter work). In addition, Magill [10] investigated the corresponding idea for endomorphisms of a Boolean ring, while J. A. Erdos [2] resolved the analogous problem for linear transformations of a finite–dimensional vector space.

Sign in / Sign up

Export Citation Format

Share Document