Next Article in Journal
Similitude for the Dynamic Characteristics of Dual-Rotor System with Bolted Joints
Previous Article in Journal
From Automata to Multiautomata via Theory of Hypercompositional Structures
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Skew Pairs of Idempotents in Partial Transformation Semigroups

by
Panuwat Luangchaisri
and
Thawhat Changphas
*
Department of Mathematics, Faculty of Science, Khon Kaen University, Khon Kaen 40002, Thailand
*
Author to whom correspondence should be addressed.
Mathematics 2022, 10(1), 2; https://doi.org/10.3390/math10010002
Submission received: 16 November 2021 / Revised: 7 December 2021 / Accepted: 17 December 2021 / Published: 21 December 2021
(This article belongs to the Section A: Algebra and Logic)

Abstract

:
Let S be a regular semigroup. A pair ( e , f ) of idempotents of S is said to be a skew pair of idempotents if f e is idempotent, but e f is not. T. S. Blyth and M. H. Almeida (T. S. Blyth and M. H. Almeida, skew pair of idempotents in transformation semigroups, Acta Math. Sin. (English Series), 22 (2006), 1705–1714) gave a characterization of four types of skew pairs—those that are strong, left regular, right regular, and discrete—existing in a full transformation semigroup T ( X ) . In this paper, we do in this line for partial transformation semigroups.

1. Introduction

In [1], the authors defined a skew pair of idempotents in a regular semigroup as follows:
Definition 1.
Let S be a regular semigroup and e , f be idempotents of S. A pair ( e , f ) is said to be a skew pair of idempotents of S if f e is idempotent, but e f is not.
It was then proved that there are four distinct types of skew pairs of idempotents. Indeed:
Theorem 1.
Let S be a regular semigroup. Then, there are four distinct types of skew pairs ( e , f ) of idempotents, namely those that are:
(1)
strong if f e = ( e f ) 2 [ = e f e = f e f ] ;
(2)
left regular if f e = f e f e f e [ = ( e f ) 2 ] ;
(3)
right regular if f e = e f e f e f [ = ( e f ) 2 ] ;
(4)
discrete if f e , f e f , e f e , ( e f ) 2 are distinct.
If X is a nonempty set, then the full transformation semigroup (under the composition) will be denoted by T ( X ) . A lot of information on transformation semigroups is contained in Clifford and Preston’s text [2]. Suschkewitsch showed in [3] that every semigroup can be embedded in T ( X ) for some nonempty set X. This means that transformation semigroups play the same role for semigroup theory as permutation groups do for group theory. In [4], the same authors as in [1] determined whether the regular semigroup T ( X ) contains skew pairs of idempotents. They proved the following theorem:
Theorem 2.
A transformation semigroup T ( X ) contains skew pairs of idempotents that are:
(1)
strong if and only if | X | 3 ;
(2)
left regular if and only if | X | 4 ;
(3)
right regular if and only if | X | 5 ;
(4)
discrete if and only if | X | 6 .
In this line, for a vector space V, T. Changphas and R. P. Sullivan [5] determined whether the regular subsemigroup T ( V ) of linear transformations on V contains a skew pair of idempotents of each of the types. The purpose of this paper is to perform a similar task for a regular semigroup consisting of partial transformations on a nonempty set.

2. Results

Let X be a nonempty set. A partial transformation on X is a function α : A X , mapping a subset A of X into X. Unlike the standard practice, we write all mappings on the left (for example, α β ( x ) = α ( β ( x ) ) ). For a partial transformation α , let dom α and ran α denote the domain of α and the image of α , respectively. Let P ( X ) be the semigroup (under the composition) of all partial transformations on X. The product of idempotents on P ( X ) was considered widely (see e.g., [6,7]). For each α , β P ( X ) , it was observed that:
dom α β = β 1 ( ran β dom α ) dom β ran α β = α ( ran β dom α ) ran α .
Moreover, it is known that for each α P ( X ) , α is idempotent if and only if ran α dom α and α ( x ) = x for all x ran α , and that P ( X ) is regular.
Hereafter, we shall prove the following main results:
Theorem 3.
Let X and Y be nonempty sets with | X | | Y | . If P ( X ) contains a strong (respectively, left regular, right regular, discrete) skew pair of idempotents, then P ( Y ) contains a strong (respectively, left regular, right regular, discrete) skew pair of idempotents.
Corollary 1.
Let X and Y be nonempty sets with | X | | Y | . If P ( Y ) does not contain a strong (respectively, left regular, right regular, discrete) skew pair of idempotents, then P ( X ) does not contain a strong (respectively, left regular, right regular, discrete) skew pair of idempotents.
Theorem 4.
Let X be a nonempty set. Then P ( X ) contains a skew pair that is:
(1)
strong if and only if | X | 2 ;
(2)
left regular if and only if | X | 4 ;
(3)
right regular if and only if | X | 4 ;
(4)
discrete if and only if | X | 5 .
Firstly, we state the following useful lemma, and the proof is clear:
Lemma 1.
P ( X ) contains a skew pair of idempotents if and only if | X | 2 .
For a regular semigroup S, the set of all idempotents of S will be denoted by E ( S ) , and the set of all inverses of a S will be denoted by V ( a ) . That is V ( a ) = { x S : a = a x a , x = x a x } .
Let ( e , f ) be a skew pair of idempotents in P ( X ) . We first set fix e f = { x X e f ( x ) = x } . Then, ran e f \ fix e f . For every x ran e f \ fix e f , we choose and fix an element α x such that e f ( α x ) = x ; if x fix e f , we choose α x = x . Therefore, we have e f ( α x ) = x for every x ran e f .
Theorem 5.
Let ( e , f ) be a skew pair of idempotents in P ( X ) . For each x ran e f , α x ran e f if and only if x fix e f .
Proof. 
Let x ran e f . If α x ran e f , then there exists y dom e f such that e f ( y ) = α x , and so:
x = e f ( α x ) = ( e f ) 2 ( y ) fix e f .
The opposite direction is clear.    □
Corollary 2.
Let ( e , f ) be a skew pair of idempotents in P ( X ) . If x , α x ran e f , then α α x = α x .
We now prove the main theorem by separating them into the following theorems:
Theorem 6.
If ( e , f ) is a skew pair of idempotents in P ( X ) , then there exists γ V ( e f ) E ( P ( X ) ) such that the skew pair ( e f γ , γ e f ) is strong.
Proof. 
Let ( e , f ) be a skew pair of idempotents in P ( X ) . Define the following:
γ : ( dom e f ran e f ) X
by
γ ( x ) = α x if x ran e f , α e f ( x ) if x ran e f .
We then have that γ E ( P ( X ) ) . Indeed, we can see that ran γ dom e f dom γ . Next, we let x ran γ , then there exists y dom γ such that γ ( y ) = x .
Case 1:  y ran e f . Then x = γ ( y ) = α y , and γ ( x ) = γ ( α y ) . If α y ran e f , then γ ( α y ) = α α y = α y = x . If α y ran e f , then γ ( α y ) = α e f ( α y ) = α y = x .
Case 2:  y ran e f . Then x = γ ( y ) = α e f ( y ) , and γ ( x ) = γ ( α e f ( y ) ) . If α e f ( y ) ran e f , then γ ( α e f ( y ) ) = α α e f ( y ) = α e f ( y ) = x . If α e f ( y ) ran e f , then γ ( α e f ( y ) ) = α e f ( α e f ( y ) ) = α e f ( y ) = x .
Next, γ is an inverse of e f . Hence, we have the following:
dom e f = ( e f ) 1 ( ran e f ) = ( e f ) 1 ( ran e f dom γ ) = ( e f ) 1 ( ran e f γ 1 ( ran γ ) ) = ( e f ) 1 ( ran e f γ 1 ( ran γ dom e f ) ) = ( e f ) 1 ( ran e f dom e f γ ) = dom e f γ e f .
Since e f γ e f ( x ) = e f ( α e f ( x ) ) = e f ( x ) for all x dom e f , it follows that e f = e f γ e f . We consider dom γ and dom γ e f γ :
dom γ = γ 1 ( ran γ ) = γ 1 ( ran γ dom e f ) = γ 1 ( ran γ ( e f ) 1 ( ran e f ) ) = γ 1 ( ran γ ( e f ) 1 ( ran e f dom γ ) ) = dom γ e f γ .
Let y dom γ . If y ran e f , then γ e f γ ( y ) = γ e f ( α y ) = γ ( y ) . If y ran e f , then γ e f γ ( y ) = γ e f ( α e f ( y ) ) = γ ( e f ( y ) ) = α e f ( y ) = γ ( y ) . Thus, γ = γ e f γ .
Finally, we show that ( e f γ , γ e f ) is strong by showing that γ ( e f ) 2 = ( e f ) 2 and ( e f ) 2 γ = ( e f ) 2 . Let x dom ( e f ) 2 γ , then we have two cases to consider.
Case 1:  x ran e f . Then we have:
α x = γ ( x ) dom ( e f ) 2 = dom ( e f ) 3 .
Thus, x = e f ( α x ) dom ( e f ) 2 .
Case 2:  x ran e f . Then x dom e f , and we have the following:
α e f ( x ) = γ ( x ) dom ( e f ) 2 = dom ( e f ) 3 .
Thus,
x ( e f ) 1 ( e f ( x ) ) ( e f ) 1 ( ran e f dom ( e f ) 2 ) = dom ( e f ) 3 = dom ( e f ) 2 .
Hence, dom ( e f ) 2 γ dom ( e f ) 2 . Let x dom ( e f ) 2 , then x dom e f dom γ .
Case 1:  x ran e f . Then γ ( x ) = α x dom ( e f ) 2 , and it follows that:
x γ 1 ( α x ) γ 1 ( ran γ dom ( e f ) 2 ) = dom ( e f ) 2 γ .
Case 2:  x ran e f . Since x dom ( e f ) 2 , it follows that:
α e f ( x ) ( e f ) 1 ( e f ( x ) ) ( e f ) 1 ( ran e f dom e f ) = dom ( e f ) 2 .
Thus,
x γ 1 ( α e f ( x ) ) γ 1 ( ran γ dom ( e f ) 2 ) = dom ( e f ) 2 γ .
Hence, dom ( e f ) 2 dom ( e f ) 2 γ . These imply that dom ( e f ) 2 = dom ( e f ) 2 γ . For each x dom ( e f ) 2 γ , we have the following:
( e f ) 2 γ ( x ) = ( e f ) 2 ( α x ) = ( e f ) 3 ( α x ) = ( e f ) 2 ( x ) if x ran e f , ( e f ) 2 ( α e f ( x ) ) ( e f ) 2 ( x ) if x ran e f .
We infer that ( e f ) 2 γ = ( e f ) 2 . Next, we obtain dom γ ( e f ) 2 = dom ( e f ) 2 by:
dom γ ( e f ) 2 dom ( e f ) 2 = dom e f γ ( e f ) 2 dom γ ( e f ) 2 .
Let x dom ( e f ) 2 . Then y = ( e f ) 2 ( x ) for some y ran ( e f ) 2 ran e f . Since we have:
e f ( y ) = ( e f ) 3 ( x ) = ( e f ) 2 ( x ) = y ,
we obtain α y = y . Thus, γ ( e f ) 2 ( x ) = γ ( y ) = α y = y = ( e f ) 2 ( x ) . Therefore, γ ( e f ) 2 = ( e f ) 2 . Hence, ( e f γ , γ e f ) is strong.    □
Corollary 3.
P ( X ) contains a strong skew pair of idempotents if and only if | X | 2 .
Proof. 
Assume that | X | 2 . Let x , y be distinct elements of X. Define functions e and f by the following:
e = x y y y , f = x x .
We can see that
e f = x y and f e = .
Thus, ( e , f ) is a skew pair of idempotents. According to Theorem 6, P ( X ) contains a strong skew pair of idempotents. The opposite direction follows Lemma 1.    □
Corollary 4.
P ( X ) contains a left regular skew pair of idempotents if and only if | X | 4 .
Proof. 
Assume that P ( X ) contains a left regular skew pair of idempotents ( e , f ) . Since we have:
dom f e = dom f e f e dom e f e dom f e ,
we let x dom f e = dom e f e such that
a = f e ( x ) e f e ( x ) = b .
If X = { a , b , c } , then we have the following equations:
f e ( a ) = a f e ( b ) = a e f e ( b ) = b e ( a ) = b e ( b ) = b e f e ( a ) = b f ( b ) = a f ( a ) = a .
From these equations, we obtain a ran e since e is an idempotent. Hence, we have:
e f ( a ) = b e f ( b ) = b .
We require two other elements, as e f is not an idempotent of P ( X ) . Therefore, | X | 4 . Conversely, assume that | X | 4 . Let x , y , z , w be distinct elements of X. Define functions e and f by the following equation:
e = x y z w y y z z , f = x y z w x y y y .
Then, ( e , f ) is a left regular skew pair of idempotents of P ( X ) .    □
Lemma 2.
If P ( X ) contains a right regular skew pair of idempotents ( e , f ) such that dom ( e f ) 2 dom e f , then | X | 4 .
Proof. 
Assume that x is an element of dom ( e f ) 2 \ dom e f . Then, there exists y X such that y = e f ( x ) dom e f , and x ran e . Otherwise, there exists z X such that:
e f ( x ) = e f e ( z ) = e f e f e ( z ) = e f e f ( x ) .
Moreover, y dom f because
x dom e f e f f e f e f = dom f e f = ( e f ) 1 ( dom f ran e f ) .
If | X | = 3 , then we have two cases to consider:
Case 1.  f ( x ) = x . Then e ( x ) = y , e ( y ) = y and z dom e .
If e ( z ) = y , then f e = = f e f , which is a contradiction.
If e ( z ) = z , then f e = z z = f e f , which is a contradiction. Thus, this case is impossible.
Case 2.  f ( x ) = z . Then f ( z ) = z since f is an idempotent. In addition, e ( z ) = y . Now, either e ( x ) = x or e ( x ) = y .
If e ( x ) = x then f e = x z contradicting f e is an idempotent.
If e ( x ) = y , then f e = = f e f , which is a contradiction. Thus, this case is impossible.
Therefore, | X | 4 .    □
Lemma 3.
If P ( X ) contains a right regular skew pair of idempotents ( e , f ) such that dom ( e f ) 2 = dom e f , then | X | 4 .
Proof. 
Let x dom e f = dom ( e f ) 2 be such that
y = e f ( x ) ( e f ) 2 ( x ) = z .
Then, x y and x z . Otherwise, we obtain the following:
y = e f ( x ) = e f ( y ) = e f e f ( x ) = z
or
y = e f ( x ) = e f ( z ) = e f e f e f ( x ) = e f e f ( x ) = z .
If | X | = 3 , then the following hold:
e ( y ) = y e ( z ) = z f ( z ) = z e f ( y ) = z e f ( z ) = z ( e f ) 2 ( y ) = z ( e f ) 2 ( z ) = z f e f ( y ) = z f e f ( z ) = z f e ( z ) = z f e ( y ) = z e f e ( z ) = z e f e ( y ) = z f ( y ) = z f ( x ) = x e ( x ) = y f e ( x ) = z
Thus, f e = x y z z z z = f e f is a contradiction. Therefore, | X | 4 .    □
Theorem 7.
P ( X ) contains a right regular skew pair of idempotents if and only if | X | 4 .
Proof. 
Assume that P ( X ) contains a right regular skew pair of idempotents. By Lemma 2 and 3, we have | X | 4 . Conversely, if | X | 4 , we let:
e = x y z w x z z x , f = x y x y .
We can prove that ( e , f ) is a skew pair of idempotents of P ( X ) .    □
If P ( X ) contains a skew pair of idempotents ( e , f ) , then we have immediately that dom f e = dom e f e . Therefore, the condition f e e f e implies that there exists x dom f e such that f e ( x ) e f e ( x ) .
Lemma 4.
If P ( X ) contains a discrete skew pair of idempotents ( e , f ) such that dom ( e f ) 2 dom e f , then | X | 5 .
Proof. 
Assume that ( e , f ) is a discrete skew pair of idempotents of P ( X ) such that d o m ( e f ) 2 dom e f . Then, there exists x X such that:
a = f e ( x ) e f e ( x ) = b .
It is clear that
e ( a ) = e ( b ) = b and f ( a ) = f ( b ) = a .
By assumption, there exist c dom e f \ dom ( e f ) 2 = dom e f \ dom f e f , which are different from a and b. It is clear that f ( c ) a , f ( c ) b , e ( c ) a , e ( c ) b . Assume that | X | = 4 . Then, f ( c ) = c or f ( c ) = d . The first case implies f e = f e f , and the second case implies dom f = X , which is a contradiction. Thus, | X | 5 .    □
Lemma 5.
If P ( X ) contains a discrete skew pair of idempotents ( e , f ) such that dom ( e f ) 2 = dom e f , then | X | 5 .
Proof. 
Let x X such that:
a = f e ( x ) e f e ( x ) = b
By assumption, we require another element of X, say c, such that e f ( x ) e f e f ( c ) . If | X | = 4 , X contains another element d, then f ( c ) = c or f ( c ) = d .
Case 1.  f ( c ) = c . Then, e ( c ) = d and e ( d ) = d .
( α )
d dom f or f ( d ) = c implies e f e = e f e f ;
( β )
f ( d ) = a or f ( d ) = d implies f e = f e f .
Thus, this case is impossible.
Case 2.  f ( c ) = d . Then, f ( d ) = d . Now we have the following equation:
f = a b c d a a d d ,
but we cannot define the value of e ( d ) satisfying our conditions. Thus, this case is also impossible.
Therefore, | X | 5 .    □
Theorem 8.
P ( X ) contains a discrete skew pair of idempotents if and only if | X | 5 .
Proof. 
Assume that P ( X ) contains a discrete skew pair of idempotents. Based on Lemmas 4 and 5, it follows that | X | 5 . Conversely, if X = { x , y , z , w , v } , then we define:
e = x y z w v z w z w z and f = x y z x y x .
Then,
e f = x y z z w z , f e = x z v x x x , ( f e ) 2 = x z v x x x
( e f ) 2 = x z z z , e f e = x z v z z z , f e f = x z x x .
Thus, ( e , f ) is a discrete skew pair of idempotents of P ( X ) .    □

3. Conclusions

A skew pair of idempotents on a regular semigroup is defined to be a pair ( e , f ) such that f e is an idempotent but e f is not. It was proved that there are exactly four distinct types of skew pairs of idempotents, namely: strong, left regular, right regular, and discrete. In this paper, we considered the existence of skew pairs of idempotents on partial transformation semigroups using the cardinality of its based set. As in Theorem 4, we conclude that a partial transformation semigroup on a nonempty set X contains skew pairs of idempotents that are: strong if and only if | X | 2 ; left regular if and only if | X | 4 ; right regular if and only if | X | 4 ; discrete if and only if | X | 5 .

Author Contributions

All authors have cooperated in the preparation of this work. Conceptualization, P.L. and T.C.; methodology, P.L. and T.C.; validation, T.C.; formal analysis, P.L. and T.C.; writing, original draft preparation, P.L.; writing, review and editing, P.L. and T.C.; project administration, P.L. and T.C. All authors have read and agreed to the published version of the manuscript.

Funding

Changphas has received funding support from the National Science, Research and Innovation Fund (NSRF).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Blyth, T.S.; Almeida Santos, M.H. Regular semigroups with skew pairs of idempotents. Semigroup Forum 2002, 65, 264–274. [Google Scholar] [CrossRef]
  2. Clifford, A.H.; Preston, G.B. The Algebraic Theory of Semigroups. In Mathematical Surveys; American Mathematical Society: Providence, RI, USA, 1961. [Google Scholar]
  3. Schein, B.M. Semigroups for which every transitive representation by functions is a representation by invertible functions. Izv. Vyss. Uchebnykh Zaved. Mat. 1973, 134, 112–121. [Google Scholar]
  4. Blyth, T.S.; Almeida Santos, M.H. Skew pairs of idempotents in transformation semigroups. Acta Math. Sin. 2006, 22, 1705–1714. [Google Scholar] [CrossRef]
  5. Changphas, T.; Sullivan, R.P. Skew idempotents in linear transformation semigroups. Linear Multilinear Algebra 2010, 58, 399–411. [Google Scholar] [CrossRef]
  6. Garba, G.U. Idempotents in partial transformation semigroups. Proc. R. Soc. Edinb. 1990, 116A, 359–366. [Google Scholar] [CrossRef]
  7. Zubairu, M.M.; Ali, B. On the idempotents of semigroup of partial contractions of a finite chain. Osman. Korkut Ata Univ. J. Inst. Sci. Technol. 2021, 4, 242–249. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Luangchaisri, P.; Changphas, T. Skew Pairs of Idempotents in Partial Transformation Semigroups. Mathematics 2022, 10, 2. https://doi.org/10.3390/math10010002

AMA Style

Luangchaisri P, Changphas T. Skew Pairs of Idempotents in Partial Transformation Semigroups. Mathematics. 2022; 10(1):2. https://doi.org/10.3390/math10010002

Chicago/Turabian Style

Luangchaisri, Panuwat, and Thawhat Changphas. 2022. "Skew Pairs of Idempotents in Partial Transformation Semigroups" Mathematics 10, no. 1: 2. https://doi.org/10.3390/math10010002

APA Style

Luangchaisri, P., & Changphas, T. (2022). Skew Pairs of Idempotents in Partial Transformation Semigroups. Mathematics, 10(1), 2. https://doi.org/10.3390/math10010002

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop