Next Article in Journal
Double Tseng’s Algorithm with Inertial Terms for Inclusion Problems and Applications in Image Deblurring
Previous Article in Journal
The Smirnov Property for Weighted Lebesgue Spaces
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Idempotent-Aided Factorizations of Regular Elements of a Semigroup

by
Miroslav Ćirić
,
Jelena Ignjatović
and
Predrag S. Stanimirović
*
Faculty of Science and Mathematics, University of Niš, Višegradska 33, 18108 Niš, Serbia
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(19), 3136; https://doi.org/10.3390/math12193136
Submission received: 12 September 2024 / Revised: 5 October 2024 / Accepted: 6 October 2024 / Published: 7 October 2024
(This article belongs to the Section A: Algebra and Logic)

Abstract

:
In the present paper, we introduce the concept of idempotent-aided factorization (I.-A. factorization) of a regular element of a semigroup, which can be understood as a semigroup-theoretical extension of full-rank factorization of matrices over a field. I.-A. factorization of a regular element d is defined by means of an idempotent e from its Green’s D -class as decomposition into the product d = u v , so that the element u belongs to the Green’s R -class of the element d and the Green’s L -class of the idempotent e, while the element v belongs to the Green’s L -class of the element d and the Green’s R -class of the idempotent e. The main result of the paper is a theorem which states that each regular element of a semigroup possesses an I.-A. factorization with respect to each idempotent from its Green’s D -class. In addition, we prove that when one of the factors is given, then the other factor is uniquely determined. I.-A. factorizations are then used to provide new existence conditions and characterizations of group inverses and ( b , c ) -inverses in a semigroup. In our further research, these factorizations will be applied to matrices with entries in a field, and efficient algorithms for realization of such factorizations will be provided.

1. Introduction

Factorization is the general mathematical idea of representing a mathematical object as a product of other objects, which are usually simpler objects of the same kind. Over hundreds of years, this idea has proven very successful in its application to numbers, polynomials, matrices, and other types of mathematical objects. Factorization problems in semigroups, discussed in numerous papers, have been mainly motivated by corresponding problems in number theory and the fundamental theorem of arithmetic that asserts that every natural number greater than one can be decomposed into a product of prime numbers, in an essentially unique way. In one direction, this led to an extensive study of decompositions of elements of semigroups and monoids into products with irreducible or atomic factors (for a review of classical results in that area and their recent generalizations, we refer to [1,2,3]), and in another, to consideration of the uniqueness problem for such decompositions (see, for instance, [4,5]). The ideas, results, and methods of factorization theories for elements of monoids have also been successfully used in the decomposition of various algebraic structures, such as monoids, groups, rings, or modules, into the product or sum of their proper substructures (cf. [6,7,8,9,10,11]). In addition to factorizations inspired by the factorization of integers, different factorizations are also considered, such as, for example, idempotent factorizations, where an element of a semigroup is decomposed into a product of idempotents. Such factorizations are inspired by the classical result which states that every square non-invertible matrix can be decomposed into a product of idempotent matrices (see [12], and for information on recent advances in the field, see [13]).
In this paper, we approach the factorization problem in semigroups with a different motivation, which comes from linear algebra and matrix theory. Namely, we introduce the concept of idempotent-aided factorization (I.-A. factorization), where an arbitrary regular element d of a semigroup S is decomposed into the product d = u v in such a way that the position of the factors u and v in the structure of the Green’s equivalence classes of that semigroup is determined by the element d, which is factorized, and an idempotent e, which additionally specifies those locations. More precisely, u is required to belong to the H -class R d L e and v to belong to the H -class L d R e . For instance, in the semigroup containing matrices over fields, the I.-A. factorization of the matrix D with regard to a given idempotent matrix E of the same rank as D, is its representation as the product D = U V , where the matrix U has an identical range (image, column space) to D and identical null-space (kernel) to E, while the matrix V has the same range as E and the same null-space as D. Arbitrary I.-A. factorization of a matrix D with respect to the identity matrix of the same rank as D is just a full-rank factorization (F.-R. factorization) of D, so the concept of I.-A. factorization can be understood as an extension of the classical matrix F.-R. factorization.
The key result of the current research is achieved in Theorem 3, which asserts that any regular element d of a semigroup possesses a factorization with respect to any idempotent e from the D -class of d. In addition, the same theorem asserts that for every u R d L e there is a unique v R e L d such that ( u , v ) is a factorization pair for d with respect to e, and conversely, for every v R e L d there is a unique u R d L e such that ( u , v ) is a factorization pair for d with respect to e. Theorem 3 also says that for every factorization d = u v such that u R d , v L d , there exists an idempotent e so that this factorization is an I.-A. factorization with respect to e. In Theorems 4 and 5, the existence conditions and characterizations of group inverses and ( b , c ) -inverses, based on I.-A. factorizations, have been given. The basic idea behind these results is that the group invertibility issue of an element d is solved in the H -class of an arbitrary idempotent from the D -class of d, instead of in the H -class of d, while the problem of the ( b , c ) -invertibility is solved in the H -class of an arbitrary idempotent from the D -class of b and c, instead of in the H -classes R b L c and L b R c . In particular, in the semigroup of matrices over a field, these problems can be transferred to the H -class of the identity matrix of the same rank as the matrix D or the matrices B and C under consideration.
It is worth noting that I.-A. factorizations originate from the concept of a trace product of elements of a semigroup, which was first studied in [14]. In [15,16,17], trace products were used in the construction of regular semigroups, and in [18] they were used in the construction of pseudo-inverse semigroups. As shown there, the structure of a pseudo-inverse semigroup is completely determined if we know trace products and the natural partial order on it, and to determine the structure of a regular semigroup we need to know trace products and the biordered set of idempotents. In [19], trace products were used in the study of generalized inverses in a semigroup.
The paper’s organization is subject to the following global structure. After this prelusive part, in Section 2 we introduce some fundamental terms and present some basic results that will be utilized below. These are mainly concepts and results concerning Green’s relations in a semigroup. For the sake of completeness, we also list some well-known results that can be found in most basic books on general semigroup theory, including the books [20,21]. In the same section, we give examples that show what Green’s relations look like on principal semigroups considered in later examples—the semigroup of matrices over a field and the full transformation semigroup on a set. Section 3 involves the basic result on I.-A. factorizations as well as examples to illustrate proposed factorizations. Finally, in Section 4 theorems are proved that provide existence constraints and procedures for computing group inverses and ( b , c ) -inverses. Examples are also given to illustrate the presented theory. In the examples dealing with matrices over a field, algorithms for performing a particular F.-R. factorization, known as column–row factorization, were used.

2. Preliminaries

According to standard notation, N symbolizes the set of all natural numbers (without zero), and R stands for the set of all real numbers.
Let S be a semigroup. If S does not have an identity, then S 1 denotes a new semigroup created from S by joining an element 1 (which is not in S) and extending the multiplication so that 1 is an identity in S 1 . Otherwise, if S has an identity, we write S 1 = S .
For an element a S , L ( a ) = S 1 a = S a { a } is the least left ideal of S containing a, termed as the principal left ideal of S generated by a, while R ( a ) = a S 1 = a S { a } is the least right ideal of S containing a, termed as the principal right ideal of S generated by a. Green’s equivalences  L , R , H , and D on S are defined as
p L q L ( p ) = L ( q ) ( s , t S 1 ) p = s q , q = t p p R q R ( p ) = R ( q ) ( u , v S 1 ) p = b q , q = p v
for all a , b S , and H = L R . Since L R = R L is an equivalence relation (where ∘ is the composition of binary relations), D is defined by D = L R = R L . The equivalence classes of L , R , H , and D containing a S are denoted by L a , R a , H a , and D a , respectively.
Because L D and R D , each D -class is the union of L -classes contained in it, and also, is the union of R -classes contained in it. The subsequent equivalencies are valid for any p , q S :
p D q R p L q L p R q .
The result (1) enables us to visualize the D -class in a diagram that Clifford and Preston [20] termed an ’eggbox’, in which rows represent R -classes, columns represent L -classes, and cells represent H -classes. Figure 1a gives an illustration.
For a semigroup S, the inner left translation  λ a and the inner right translation  ϱ a determined by a S are mappings of S into itself determined by λ a ( x ) = a x and ϱ a ( x ) = x a , for each x S . The restriction of a mapping χ with a domain D to arbitrary subset X D is designated as χ | X .
Some basic results relevant to Green’s equivalences are highlighted in the subsequent results. Proofs of these results can be found in [20,21].
Lemma 1
(Green’s lemma [22]). Let p , q be R -related elements of a semigroup S, and let s , t S 1 satisfy p s = q and q t = p . The inner right translations ϱ s | L p and ϱ t | L q are mutually inverse bijections from L p onto L q and L q onto L p , in that order.
Moreover, these bijections preserve R -classes, that is, x R ϱ s ( x ) , for every x L p , and y R ϱ t ( y ) , for every y L q .
Lemma 2
(Green’s lemma [22]). Let p , q be L -related elements of a semigroup S, and let u , v S 1 satisfy u p = q and q b = p . Then, the inner left translations λ u | R p and λ v | R q are mutually inverse bijections from R p onto R q and R q onto R p , respectively.
Moreover, these bijections preserve L -classes, that is, x L λ u ( x ) , for every x R p , and y L λ v ( y ) , for every y R q .
Visualizations of Lemmas 1 and 2 are given in Figure 1b and Figure 1c, respectively.
Lemma 3
([21]). Every idempotent e of a semigroup S is a left identity for elements from R e and a right identity for elements from L e .
Theorem 1
(Green’s Theorem [22]). If H is an H -class of a semigroup S, then either H 2 H = or H represents a maximal subgroup of S.
Let us note that for an arbitrary idempotent e of a semigroup S, the maximal subgroup of S with e as its identity, i.e., the H -class H e of e, can be characterized as follows:
H e = { a S a R ( e ) L ( e ) , e R ( a ) L ( a ) } = { a S a e S S e , e a S S a } .
Theorem 2
(Miller–Clifford’s theorem [14]). Let p , q S be arbitrary in a semigroup S. Then, p q R p L q if and only if R q L p contains an idempotent.
If p q R p L q holds, then p q is called a trace product ([18]; see also [14,19]). This is an old and standard notion of semigroup theory, and when dealing with matrices it should not be confused with the trace of a matrix, which is a completely independent notion of matrix theory.
Example 1.
Let M ( S ) be the set of all matrices of arbitrary dimensions and with entries from a semiring S , i.e.,
M ( S ) = m , n N S m × n ,
where S m × n denotes the set of all m × n -matrices with entries over S . In addition, let S not belong to M ( S ) , and consider M ( S ) = M ( S ) { } .
The multiplication in M ( S ) is defined as their ordinary matrix product in the case of proper dimensions, and ⌀ otherwise. Supplied by this multiplication, M ( S ) becomes a semigroup with the zero ⌀. Such a structure will be called the semigroup of matrices over S .
In the following, let F denote a field. The range R ( M ) and null space N ( M ) of M F m × n are subspaces of the vector spaces F m and F n , defined as follows:
R ( M ) = { q F m | ( p F n ) M p = q } , N ( M ) = { p F n | M p = 0 }
(cf. [23,24]). It is well known that R ( M ) is a subspace of F m generated by the column vectors of M, and it is also called the column space of M. The dimension of R ( A ) is denoted by rank ( M ) and called the rank of M. The set of all m × n -matrices over F of rank r is denoted by F r m × n .
For any A , B M ( F ) it follows that
M R N R ( M ) = R ( N ) ; M L N N ( M ) = N ( N ) ; M H N R ( M ) = R ( N ) N ( M ) = N ( N ) ; M D N rank ( M ) = rank ( N ) .
Example 2.
Let T X denote the full transformation semigroup on a set X, whose carrier set consists of all mappings from X into X and the multiplication operation is the composition of mappings. If X = { 1 , , n } is a finite set of n elements, then T n is used instead of T X , while a mapping ζ T n is represented as ζ = ( ζ 1 ζ n ) , such that ζ i = ζ ( i ) , for each i X .
The composition of mappings ζ , θ T X is defined by ( ζ θ ) ( x ) = ζ ( θ ( x ) ) , for every x X .
For ζ T X , Im ( ζ ) stands for the image of ζ and ker ( ζ ) means the kernel of ζ, defined by
Im ( ζ ) = { δ X | ( γ X ) ζ ( γ ) = δ } , ker ( ζ ) = { ( γ , δ ) X × X | ζ ( γ ) = ζ ( δ ) } .
Further, rank ( ζ ) = | Im ( ζ ) | denotes the rank of ζ, which is defined as the cardinality of Im ( ζ ) . It is evident that rank ( ζ ) = | X / ker ( ζ ) | , where X / ker ( ζ ) denotes the factor set of X with respect to ker ( ζ ) . The following inclusions and inequalities are valid for arbitrary ζ , θ T X :
im ( ζ θ ) im ( ζ ) , ker ( θ ) ker ( ζ θ ) , rank ( ζ θ ) min { rank ( ζ ) , rank ( θ ) } .
According to [25] (Theorem 4.5.1) (or [20] (§2.2) or [21] (Exercise 2.6.16)) it follows that
γ R δ Im ( γ ) = Im ( δ ) ; γ L δ ker ( γ ) = ker ( δ ) ; γ H δ Im ( γ ) = Im ( δ ) ker ( γ ) = ker ( δ ) ; γ D δ γ J δ rank ( γ ) = rank ( δ ) .
Consider a semigroup S and a S . If the H -class H a of a contains an idempotent e, then it is a group with identity e and we say that a is group invertible and the inverse of a in this group is denoted by a # and known as the group inverse of a. If x S fulfills a x a = a , then x is an inner inverse of a, and if x = x a x , it is said that x is an outer inverse of a. An element of a semigroup which has an inner inverse is called a regular element. It is well known that for any regular element a there is an element which is both an inner and outer inverse of a. If a D -class D of a semigroup S contains a regular element, then all elements from D are regular, and D is termed as a regular D -class. For a subset T S , E ( T ) denotes the set of all idempotents from T.

3. Idempotent-Aided Factorizations

Theorem 3 can be interpreted as a generalization of the F.-R. factorization theorem for matrices.
Theorem 3.
Let D be a regular D -class of a semigroup S and d D . In this case, the subsequent statements hold:
(a)
For each idempotent e E ( D ) , there exist u R d L e and v L d R e such that d = u v .
(b)
For each e E ( D ) and every u R d L e , there exists a unique v L d R e such that d = u v .
(c)
For each e E ( D ) and every v L d R e , there exists a unique u R d L e such that d = u v .
(d)
For each u , v S satisfying d = u v , R d = R u , L d = L v , there exists an idempotent e E ( D ) that fulfills u L e and v R e .
Proof. 
(a) Take an idempotent e E ( D ) . Then, there exists u S such that e L u and u R d , and hence, u L e . By u R d , it follows that d = u s for some s S 1 , so d = u s = ( u e ) s = u ( e s ) = u v , where v = e s . According to Green’s lemma, ϱ s | L u : L u L d is a bijection which preserves R -classes, so e R ϱ s ( e ) = e s = v , and thus, v R e . Finally, the H -class L u R v = L e R e = H e contains an idempotent, and by Theorem 2 d = u v R u L v , i.e., R d = R u and L d = L v .
(b) Let u R d L e . By u R d and the regularity of d it follows that equations u x = d and d y = u , with unknowns x and y, have solutions in S, and by (a) it follows that the equation u x = d has a solution in L d R e . It will be verified that this equation is uniquely solvable in the larger set R ( e ) = e S , which will imply that it has a unique solution in L d R e as well.
Consider p S such that d p = u . Suppose that s , t R ( e ) such that u s = u t = d . By the first Green’s lemma (Lemma 1), the inner right translations ϱ s | L u and ϱ p | L d are mutually inverse bijections from L u = L e onto L d and L d onto L u = L e , respectively. However, this also holds for ϱ t | L u and ϱ p | L d , so we conclude that
ϱ s | L u = ( ϱ p | L d ) 1 = ϱ t | L u .
By s , t R ( e ) , it follows that e s = s and e t = t , and therefore,
s = e s = ϱ s | L u ( e ) = ϱ t | L u ( e ) = e t = t .
Hence, we have proved the uniqueness of the solution of the equation u x = d in R ( e ) , and thus, also in L d R e .
(c) This can be proved similarly as in (b).
(d) If u , v S satisfy d = u v , R d = R u , and L d = L v , then by Theorem 2 there exists an idempotent e R v L u , which means u L e and v R e . □
The requirements in Theorem 3 are illustrated in Figure 2.
The representation of d S in the form d = u v , with e E ( D d ) , u R d L e , and v L d R e , will be called a factorization of d with respect to e, or shortly, an e-factorization of d. Factorizations of this type will also be called idempotent-aided factorizations (I.-A. factorization). The pair ( u , v ) will be called an e-factorization pair for d.
This theorem implies Corollary 1.
Corollary 1.
Every regular element of a semigroup possesses a factorization with respect to any idempotent from its D -class.
It should be pointed out that I.-A. factorizations of an element d of a semigroup make sense only if d is a regular element, because otherwise, if d is not regular, the D -class D d does not contain any idempotents.
The assertions (b) and (c) of Theorem 3 can also be stated as in Corollary 2.
Corollary 2.
Let d be a regular element of a semigroup S and e E ( D ) . In this case,
ϕ ( u ) = v ( u , v ) is an e-factorization pair for d
defines a bijective mapping from the H -class R d L e onto the H -class L d R e .
Let us also note that u L e and v R e implies that e is a right identity for u and a left identity for v, i.e., u e = u and e v = v , and also, u is left invertible and v is right invertible with respect to e, i.e., e = s u and e = v t , for some s , t S .
Theorem 3 is illustrated in the following example considering a full transformation semigroup.
Example 3.
Observe the full transformation semigroup T 4 on X = { 1 , 2 , 3 , 4 } , and its elements δ = ( 1124 ) and ε = ( 4234 ) . These elements satisfy
rank ( δ ) = | Im ( δ ) | = | { 1 , 2 , 4 } | = 3 = | { 2 , 3 , 4 } | = | Im ( ε ) | = rank ( ε ) ,
which means that δ D ε . It is easy to verify the idempotency of ε. The H -classes R δ L δ , R δ L ε , R ε L δ , and R ε L ε are shown in the ‘eggbox’ diagram in Figure 3.
Let us note that the class R ε L δ contains the idempotent ( 2234 ) , and the class R ε L ε contains the idempotent ε = ( 4234 ) , so these two classes are groups. The other two classes R δ L δ and R δ L ε do not contain idempotents, so they are not groups.
By a straightforward verification, we obtain that the ε-factorization pairs for δ are
( ( 4214 ) , ( 3324 ) ) , ( ( 2412 ) , ( 3342 ) ) , ( ( 4124 ) , ( 2234 ) ) , ( ( 1421 ) , ( 4432 ) ) , ( ( 2142 ) , ( 2243 ) ) , ( ( 1241 ) , ( 4423 ) ) .
Note also that an overview of all Green’s equivalence classes of the semigroup T 4 is given in [20] (Section 2.2). However, it should be kept in mind that in that book the symbol denoting a mapping is written on the right side of the argument, which is why the full transformation semigroups from that book are dual (anti-isomorphic) to those which we deal with in this paper. This means that R -classes from the book [20] are L -classes here, and L -classes from [20] are R -classes here.
As said earlier, the notion of the I.-A. factorization can be treated as a semigroup extension of the classical F.-R. matrix factorization (cf. [23,24]). This will be explained below. Consider an arbitrary matrix D F m × n of rank r, where F is a field. As we noted in Example 1, in the semigroup of matrices M ( F ) , Green’s D -class of D consists of all matrices having the rank r. Take an arbitrary idempotent matrix E F k × k with the same rank r, and let D = U V , where U F m × k and V F k × n , be an E-factorization of D. According to Theorem 3, the matrices U and V are also of rank r, and in the case k = r , i.e., when E possesses full rank, U is of full column rank and V is of full row rank. Therefore, I.-A. factorizations with respect to a full-rank idempotent matrix are nothing but F.-R. factorizations. Recall that the only full-rank idempotent matrix of rank r is the identity r × r -matrix I r .
On the other hand, if E is rank-deficient (not of full rank), it is clear that the E-factorization D = U V is not an F.-R. factorization. However, it is such a factorization where U is of the same range as D and has the same null space (kernel) as E, while V is of the same kernel as D and the same range (column space) as E.
The next example illustrates I.-A. factorizations over a field.
Example 4.
Consider a matrix D R 4 × 5 given by
D = 1 2 0 2 5 2 5 1 1 8 0 3 3 4 1 3 6 0 7 2
and of rank rank ( D ) = 3 . The pair of matrices
U = 1 2 2 2 5 1 0 3 4 3 6 7 , V = 1 0 2 0 1 0 1 1 0 1 0 0 0 1 1 ,
form a factorization pair for D with respect to the 3 × 3 -identity matrix I 3 ; that is, the factorization D = U V is an F.-R. factorization of D. More precisely, it is a factorization known as the column–row factorization (cf. [26] (Section 7.6)).
On the other hand, the pair of matrices
U = 1 2 1 2 2 5 3 1 0 3 3 4 3 6 3 7 , V = 0 1 1 0 1 1 2 0 0 3 1 1 1 0 2 0 0 0 1 1
form a factorization pair for D with respect to an idempotent matrix
E = 0 1 1 0 1 2 1 0 1 1 0 0 0 0 0 1 .
Since E is a 4 × 4 -matrix of rank 3, i.e., it is rank-deficient, the factorization D = U V is not an F.-R. factorization.

4. Existence and Characterizations of Group Inverses and (b,c)-Inverses

In the following, we give several applications of I.-A. factorizations. First, we consider the group invertibility in terms of I.-A. factorizations. The following theorem extends the well-known result on the existence of the group inverse in a field based on the F.-R. factorization (cf. [23], Ch. 4, Theorem 3).
Theorem 4.
Let d belong to a semigroup S, and let D be the D -class of d. The following statements are equivalent under these assumptions:
(i)
d is group invertible;
(ii)
There exist e E ( D ) and an e-factorization pair ( u , v ) for d such that v u H e ;
(iii)
E ( D ) and for any e E ( D ) and any e-factorization pair ( u , v ) for d we have v u H e .
If (ii) holds, then
d # = u ( ( v u ) # ) 2 v = u s v = u t v = u p v = u q v ,
for arbitrary s , t , p , q S which satisfy e = s ( v u ) 2 = ( v u ) 2 t and v u = p ( v u ) 3 = ( v u ) 3 q .
Proof. 
(i)⇒(iii). Let d be group invertible, and consider an arbitrary idempotent e E ( D ) and an arbitrary e-factorization pair ( u , v ) for d. Then, R u L v = R d L d = H d contains an idempotent, and by Theorem 2 we obtain that v u R v L u = R e L e = H e .
(iii)⇒(ii). This implication is evident.
(ii)⇒(i). Let there exist an idempotent e E ( D ) and an e-factorization pair ( u , v ) for d such that v u H e = R v L u . Then, from Theorem 2 it follows that R u L v = H d contains an idempotent, so d is group invertible.
Further, the validity of (5) is proved. For this purpose, consider f = u ( v u ) # v . Let us note that from u L e and v R e it follows that u e = u and e v = v . This leads to the conclusion
f 2 = u ( v u ) # v u ( v u ) # v = u e ( v u ) # v = u ( v u ) # v = f ,
i.e., f is an idempotent. It is clear that f R ( u ) L ( v ) . Moreover,
u = u e = u ( v u ) # v u = f u R ( f ) , v = e v = v u ( v u ) # v = v f L ( f ) .
Therefore, f R u L v = H d , i.e., f represents the identity in the group H d .
The subsequent conclusion is
d · u ( ( v u ) # ) 2 v = u v u ( v u ) # ( v u ) # v = u e ( v u ) # v = u ( v u ) # v = f ,
and also,
u ( ( v u ) # ) 2 v · d = u ( v u ) # ( v u ) # v u v = u ( v u ) # e v = u ( v u ) # v = f .
Consequently, u ( ( v u ) # ) 2 v = d # .
Next, let e = s ( v u ) 2 = ( v u ) 2 t and v u = p ( v u ) 3 = ( v u ) 3 q , for some s , t , p , q S . Such elements exist since e, v u , ( v u ) 2 and ( v u ) 3 are H -related. Then, we obtain
d # = u ( ( v u ) # ) 2 v = u e ( ( v u ) # ) 2 v = u s ( v u ) 2 ( ( v u ) # ) 2 v = u s e v = u s v ,
and in an analogous way e = ( v u ) 2 t gives d # = u t v . On the other hand,
d # = u ( ( v u ) # ) 2 v = u e ( ( v u ) # ) 2 v = u v u ( v u ) # ( ( v u ) # ) 2 v = u p ( v u ) 3 ( ( v u ) # ) 3 v = u p e v = u p v ,
and similarly, v u = ( v u ) 3 q gives d # = u q v . □
Let us emphasize once again that if for some idempotent e E ( D ) and some e-factorization pair ( u , v ) for d it holds that v u H e , then this also holds for every factorization pair for d, with respect to any idempotent from E ( D ) . This means that we can verify the fulfillment of the conditions of the previous theorem by examining an arbitrary idempotent from E ( D ) and an arbitrary factorization pair for d with respect to that idempotent, which we can also use to compute the group inverse of d, if the mentioned conditions are fulfilled.
Example 5.
Examine once more the full transformation semigroup T 4 over X = { 1 , 2 , 3 , 4 } , and the elements δ = ( 1124 ) and ε = ( 4234 ) already examined in Example 3.
For any ε-factorization pair ( u , v ) for δ listed in (4), we can easily verify that v u H ε . Moreover, v u is of rank 2 and does not even belong to the D -class of δ. This means that δ is not group invertible.
Example 6.
Consider again the semigroup T 4 , and assume that δ = ( 2421 ) . This element has rank 3, and we choose the idempotent ε = ( 4234 ) , also of rank 3, and the pair ( α , β ) , where α = ( 1241 ) and β = ( 2324 ) , which forms an ε-factorization pair for δ. Then, we obtain
β α = ( 2324 ) ( 1241 ) = ( 2342 ) H ε
(since ( 2342 ) has the same image and kernel as ε), so we conclude that δ is group invertible.
Using the procedure proposed in Theorem 4, we first solve the equation ε = σ β α for σ, and obtain that σ = ( i 423 ) , for an arbitrary i { 1 , 2 , 3 , 4 } , and then, we obtain
δ # = α ( σ ε ) 2 β = ( 1241 ) ( i 423 ) ( 4234 ) 2 ( 2324 ) = ( 1241 ) ( 3423 ) 2 ( 2324 ) = ( 1241 ) ( 2342 ) ( 2324 ) = ( 4142 ) .
Theorem 4 actually says that testing the group invertibility of an element d and computing its group inverse, if it exists, can be moved from the H -class of that element to the H -class of some idempotent e from the same D -class. This fact could be very useful because sometimes it can happen that it is easier to work within the class H e than within the class H d . That is best illustrated by the next example with matrices over a field, where testing the group invertibility and computing the group inverse of the matrix D is reduced to testing the ordinary invertibility and computing the ordinary inverse of the matrix V U .
Example 7.
Let us examine the matrix D R 4 × 4 given by
D = 1 2 2 0 2 5 1 1 0 3 4 3 3 6 7 0 ,
whose rank is 3. The matrices U R 4 × 3 and V R 3 × 4 , given by
U = 1 2 2 2 5 1 0 3 4 3 6 7 , V = 1 0 0 2 0 1 0 1 0 0 1 0 ,
form a factorization pair for D with respect to the identity matrix I 3 , and
V U = 7 14 12 5 11 6 0 3 4 .
It is not hard to verify that V U is an invertible matrix, and therefore, it is group invertible. Its (group) inverse is given by
( V U ) # = ( V U ) 1 = 13 41 10 41 24 41 10 41 14 41 9 41 15 82 21 82 7 82 .
Based on Theorem 4, the matrix D is group invertible, with the group inverse given by
D # = 1 2 2 2 5 1 0 3 4 3 6 7 13 41 10 41 24 41 10 41 14 41 9 41 15 82 21 82 7 82 2 1 0 0 2 0 1 0 1 0 0 1 0 = 13 3362 379 3362 263 3362 353 3362 587 6724 1855 6724 755 6724 681 6724 15 82 21 82 7 82 9 82 1053 6724 441 6724 2231 6724 1665 6724 .
Further, I.-A. factorizations can be used in testing ( b , c ) -invertibility and computing ( b , c ) -inverses in semigroups.
Let a , b , c S be entries in a semigroup S. Drazin, in [27], defined x S to be a ( b , c ) -inverse of a S if the following conditions hold:
(D1)
x b S x x S c ;
(D2)
x a b = b c a x = c .
As noted in [28], if (D2) is satisfied, then (D1) can be substituted by a simpler constraint x b S S c , or by
(D 1 )
x R ( b ) L ( c ) .
Drazin, in [27], showed that a ( b , c ) -inverse of a exists if and only if c a b R c L b , and that it is unique whenever it exists. On the other hand, it was shown in [27] (see also [28]) that x is the ( b , c ) -inverse of a if and only if it is the unique outer inverse of a from the H -class R b L c . The ( b , c ) -inverse of a, in the case of its existence, will be marked with a ( b , c ) .
Mary, in [19], introduced essentially the same concept. For a semigroup S and elements a , d S , he defined an inverse ofaalongd as an element x S satisfying the following constraints:
(M1)
x R ( d ) L ( d ) ;
(M2)
x a d = d d a x = d .
He also showed that x is an inverse of a along d if and only if it represents an outer inverse of a in the H -class H d , and that it is unique whenever it exists. The inverse of a along d is denoted by a d .
Theorem 5 gives representations of ( b , c ) -inverses by means of I.-A. factorizations. The equivalence (i)⇔(ii) generalizes [23] (Ch. 1, Theorem 5), as well as the well-known representation theorem for the outer inverse of complex matrices with a predefined image and kernel (cf. [29]), while (i)⇔(iv) can be considered as a generalization of [23] (Ch. 2, Theorem 5).
Theorem 5.
Let S be a semigroup, let D be a D -class of S, and let a S and b , c D be arbitrary elements. Then, the following statements are equivalent:
(i)
a is ( b , c ) -invertible;
(ii)
There exist e E ( D ) , u L e R b , and v R e L c satisfying v a u H e ;
(iii)
E ( D ) and for arbitrary e E ( D ) , u L e R b , v R e L c it follows that v a u H e ;
(iv)
E ( D ) and for arbitrary e E ( D ) there exist u L e R b , v R e L c satisfying v a u = e .
If (ii) holds, then
a ( b , c ) = u ( v a u ) # v = u s v = u t v = u p v = u q v ,
for arbitrary s , t , p , q S such that e = s v a u = v a u t and v a u = p ( v a u ) 2 = ( v a u ) 2 q , and if (iv) holds, then a ( b , c ) = u v .
Proof. 
(i)⇒(iii). Let a be ( b , c ) -invertible and let x be the ( b , c ) -inverse of a. Then, x = x a x implies a x , x a E ( D ) , which implies E ( D ) .
Consider e E ( D ) , u R b L e , and v L c R e (see Figure 4). Since x is the unique outer inverse of a from H -class R b L c = R u L v , it is a ( u , v ) -inverse of a too, and from (vi) of Theorem 4.5 [28] it follows that
v a u R v L u = R e L e = H e .
(iii)⇒(ii). This implication is obvious.
(ii)⇒(i). Suppose the existence of e E ( D ) , u L e R b , and v R e L c satisfying v a u H e . Then, v a u is group invertible and
v a u ( v a u ) # = ( v a u ) # v a u = e ,
while from u L e and v R e , it follows that u e = u and e v = v .
Set x = u ( v a u ) # v . It is understandable that x = u ( v a u ) # v R ( u ) L ( v ) . On the other hand,
u = u e = u ( v a u ) # v a u = x a u R ( x ) , v = e v = v a u ( v a u ) # v = v a x L ( x ) ,
whence x R u and x L v , that is, x R u L v = R b L c .
In addition,
x a x = u ( v a u ) # v a u ( v a u ) # v = u e ( v a u ) # v = u ( v a u ) # v = x .
Therefore, x is an outer inverse of a belonging to H -class R b L c , which guarantees that x is a ( b , c ) -inverse of a.
(i)⇒(iv). Let x be a ( b , c ) -inverse of a. As in the verification of (i)⇒(iii), we conclude that E ( D ) . Consider an arbitrary e E ( D ) , and let ( u , v ) be an arbitrary e-factorization pair for x. This means that u L e R x = L e R b , v R e L x = R e L c , and x = u v . Moreover, as in the proof of (i)⇒(iii) the relation v a u H e is obtained. Since we have already proved that (i)⇔(ii), then, based on (ii)⇒(i), it follows that x = u ( v a u ) # v . Now,
v a u = v a u ( v a u ) # v a u = v a x a u = v a u v a u = ( v a u ) 2 ,
and since v a u H e and e is the unique idempotent in H e , we conclude that v a u = e , which was to be proved.
(iv)⇒(ii). This is evident.
Further, suppose that (ii) holds, i.e., assume the existence of e E ( D ) , u L e R b , and v R e L c satisfying v a u H e . In the part (ii)⇒(i), we have proved that a ( b , c ) = u ( v a u ) # v . Consider arbitrary s , t , p , q S for which e = s v a u = v a u t and v a u = p ( v a u ) 2 = ( v a u ) 2 q . Such elements exist because e, v a u and ( v a u ) 2 are H -related. In this case,
a ( b , c ) = u ( v a u ) # v = u e ( v a u ) # v = u s v a u ( v a u ) # v = u s e v = u s v ,
and in the same way we show that e = v a u t gives a ( b , c ) = u t v .
On the other hand, from v a u = p ( v a u ) 2 we obtain that
a ( b , c ) = u ( v a u ) # v = u e ( v a u ) # v = u v a u ( ( v a u ) # ) 2 v = u p ( v a u ) 2 ( ( v a u ) # ) 2 v = u p e v = u p v ,
and similarly, from v a u = ( v a u ) 2 q we obtain a ( b , c ) = u q v .
Finally, if (iv) is true, then a ( b , c ) = u ( v a u ) # v = u e # v = u e v = u v . This finalizes the proof. □
It is worth noting that, in the notation from (i)⇒(iii) of Theorem 5, from u R b L e and v L c R e it follows that R v L u = R e L e = H e , and according to Theorem 2 we obtain that u v R u L v = R b L c . This means that a ( b , c ) and u v are in the same H -class R b L c , for all e D , u R b L e , and v L c R e (cf. Figure 4). If we assume that d = u v , then it is clear that ( u , v ) is an e-factorization pair for d.
Directly from Theorem 5, we obtain the following consequence.
Corollary 3.
Let S be a semigroup, D be a D -class of S, and let a S and d D be arbitrary elements. The subsequent claims are mutually equivalent:
(i)
a is invertible along d;
(ii)
There exist e E ( D ) , u L e R d and v R e L d satisfying v a u H e ;
(iii)
E ( D ) and for arbitrary e E ( D ) , u L e R d , and v R e L d we have v a u H e ;
(iv)
E ( D ) and for every e E ( D ) there exist u L e R d and v R e L d satisfying v a u = e .
If (ii) holds, then
a d = u ( v a u ) # v = u e t v = u s e v .
for arbitrary t , s S such that e = v a u t = s v a u , and if (iv) holds, then a d = u v .
The situation considered in Corollary 3 is shown in Figure 5.
Example 8.
Choose A R 5 × 4 , B R 4 × 5 , and C R 4 × 5 given by
A = 0 1 1 0 1 2 1 0 1 0 1 0 0 0 0 1 1 3 2 1 , B = 1 2 2 1 1 2 5 1 7 1 0 3 4 10 4 3 6 7 16 10 , C = 1 2 0 0 3 0 0 0 1 1 0 1 1 0 1 1 1 1 1 3 .
The matrices B and C have rank 3, which means that they are in the same D -class of the semigroup M ( R ) . Consider the matrices
U = 1 2 2 2 5 1 0 3 4 3 6 7 , V = 1 0 2 0 1 0 1 1 0 1 0 0 0 1 1 .
It is easy to check that R ( U ) = R ( B ) , N ( U ) = N ( I 3 ) , N ( V ) = N ( C ) , and R ( V ) = R ( I 3 ) . Moreover, the matrix
V A U = 4 3 29 10 19 26 1 1 27
is invertible, i.e., it belongs to the H -class of I 3 in M ( R ) . Now, according to Theorem 5, the matrix A is ( B , C ) -invertible and its ( B , C ) -inverse is given by
A ( B , C ) = U ( V A U ) # V = U ( V A U ) 1 V = 1 2 2 2 5 1 0 3 4 3 6 7 539 2047 52 2047 629 2047 244 2047 79 2047 186 2047 29 2047 1 2047 106 2047 1 0 2 0 1 0 1 1 0 1 0 0 0 1 1 = 7 2047 212 2047 226 2047 45 2047 160 2047 171 2047 500 2047 842 2047 222 2047 107 2047 616 2047 233 2047 1465 2047 134 2047 249 2047 4 23 7 23 1 23 17 23 6 23
If instead of the matrix A we take the matrix
A = 0 1 1 0 1 2 1 1 1 1 0 1 1 4 3 1 1 3 2 1 ,
then we obtain that
V A U = 1 0 2 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 2 1 1 1 1 0 1 1 4 3 1 1 3 2 1 1 2 2 2 5 1 0 3 4 3 6 7 = 6 5 5 6 9 45 10 12 45 ,
and since the last matrix is not invertible, we conclude that A is not ( B , C ) -invertible.
Example 9.
Take into account T 4 on a set X = { 1 , 2 , 3 , 4 } , and the transformations α = ( 3144 ) , β = ( 1442 ) , and γ = ( 2213 ) . It is clear that all these transformations have rank 3.
Choose the idempotent transformation ε = ( 4234 ) . It also has rank 3, and therefore, it belongs to the same D -class of the semigroup M ( R ) that contains β and γ. The H -classes obtained as intersections of L -classes and R -classes determined by β, γ, and ε are shown in Figure 6.
Next, we take the transformations ( 4214 ) R β L ε and ( 3324 ) R ε L γ . We have that
( 3324 ) α ( 4214 ) = ( 3324 ) ( 3144 ) ( 4214 ) = ( 4324 ) H ε ,
and according to Theorem 5, one concludes that α is ( β , γ ) -invertible. Its ( β , γ ) -inverse is given by
α ( β , γ ) = ( 4214 ) ( 4324 ) # ( 3324 ) = ( 4214 ) ( 4324 ) ( 3324 ) = ( 2214 ) R β L γ ,
since ( 4324 ) 2 = ε , so ( 4324 ) # = ( 4324 ) .
On the other hand, if instead of α we take α = ( 3242 ) , then
( 3324 ) α ( 4214 ) = ( 3324 ) ( 3242 ) ( 4214 ) = ( 3323 ) H ε ,
whence we conclude that α is not ( β , γ ) -invertible.

5. Concluding Remarks

In this paper, we introduced a new type of factorization of elements of a semigroup, which is called I.-A. factorization. It is a factorization in which the location of factors in the structure of Green’s equivalence classes is precisely determined by the element being factorized and the idempotent by which the factorization is performed. We proved that every regular element of a semigroup possesses such a factorization with respect to an arbitrary idempotent from the same Green’s D -class. I.-A. factorizations have been used to provide the existence criteria and characterizations of group inverses and ( b , c ) -inverses of elements of a semigroup.
In further research, it is possible to develop algorithms for efficient I.-A. factorization for matrices over a field, as well as the corresponding algorithms for verifying the existence and calculating group inverses and the ( B , C ) -inverse of matrices.

Author Contributions

Conceptualization, M.Ć. and P.S.S.; methodology, M.Ć., P.S.S. and J.I.; software, M.Ć. and P.S.S.; validation, M.Ć., P.S.S. and J.I.; formal analysis, P.S.S., M.Ć. and J.I.; investigation, M.Ć., P.S.S. and J.I.; data curation, P.S.S. and M.Ć.; writing—original draft preparation, M.Ć.; writing—review and editing, P.S.S. and J.I.; visualization, M.Ć. and J.I.; supervision, M.Ć. and P.S.S.; project administration, P.S.S. and M.Ć. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data will be made available on request.

Acknowledgments

This research is supported by the Science Fund of the Republic of Serbia, Grant no 7750185, Quantitative Automata Models: Fundamental Problems and Applications—QUAM. All authors are also supported by the Ministry of Science, Technological Development and Innovation, Republic of Serbia, grant no. 451-03-65/2024-03/200124.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
I.-A.Idempotent-aided
F.-R.Full-rank

References

  1. Baeth, N.R.; Enlow, M. Multiplicative factorization in numerical semigroups. Int. J. Algebra Comput. 2020, 3, 419–430. [Google Scholar] [CrossRef]
  2. Baeth, N.R.; Smertnig, D. Factorization theory: From commutative to noncommutative settings. J. Algebra 2015, 441, 475–551. [Google Scholar] [CrossRef]
  3. Tringali, S. An abstract factorization theorem and some applications. J. Algebra 2022, 602, 352–380. [Google Scholar] [CrossRef]
  4. Juett, J.; Mooney, C. Notions of unique factorization in commutative rings with zero divisors. Houst. J. Math. 2021, 47, 1–29. [Google Scholar]
  5. Juett, J.R.; Mooney, C.P.; Roberts, R.D. Unique factorization properties in commutative monoid rings with zero divisors. Semigroup Forum 2021, 102, 674–696. [Google Scholar] [CrossRef]
  6. Baeth, N.R.; Geroldinger, A. Monoids of modules and arithmetic of direct-sum decompositions. Pac. J. Math. 2014, 271, 257–319. [Google Scholar] [CrossRef]
  7. Baeth, N.R.; Smertnig, D. Lattices over Bass rings and graph agglomerations. Algebr. Represent. Theor. 2022, 25, 669–704. [Google Scholar] [CrossRef]
  8. Baeth, N.R.; Wiegand, R. Factorization theory and decompositions of modules. Am. Math. Mon. 2013, 120, 3–34. [Google Scholar] [CrossRef]
  9. Balogh, Z.A.; Mesablishvili, T. Some results on factorization of monoids. J. Algebra Appl. 2024, 26, 2450118. [Google Scholar] [CrossRef]
  10. Bovdi, V.; Mesablishvili, B. Descent cohomology and factorizations of groups. Algebr. Represent. Theory 2023, 26, 1693–1712. [Google Scholar] [CrossRef]
  11. Fan, Y.; Tringali, S. Power monoids: A bridge between factorization theory and arithmetic combinatorics. J. Algebra 2018, 512, 252–294. [Google Scholar] [CrossRef]
  12. Erdos, J.A. On products of idempotent matrices. Glasg. Math. J. 1967, 8, 118–122. [Google Scholar] [CrossRef]
  13. Cossu, L.; Tringali, S. Abstract factorization theorems with applications to idempotent factorizations. Isr. J. Math. 2024, 1–47. [Google Scholar] [CrossRef]
  14. Miller, D.D.; Clifford, A.H. Regular D-classes in semigroups. Trans. Am. Math. Soc. 1956, 82, 270–280. [Google Scholar]
  15. Meakin, J. The structure mappings on a regular semigroup. Proc. Edinb. Math. Soc. 1978, 21, 135–142. [Google Scholar] [CrossRef]
  16. Nambooripad, K.S.S. Structure of regular semigroups I: Fundamental regular semigroups. Semigroup Forum 1976, 9, 354–363. [Google Scholar] [CrossRef]
  17. Nambooripad, K.S.S. Structure of regular semigroups II: The general case. Semigroup Forum 1976, 9, 364–371. [Google Scholar] [CrossRef]
  18. Pastijn, F. The structure of pseudo-inverse semigroups. Trans. Am. Math. Soc. 1982, 27, 631–655. [Google Scholar] [CrossRef]
  19. Mary, X. On generalized inverses and Green’s relations. Linear Algebra Appl. 2011, 434, 1836–1844. [Google Scholar] [CrossRef]
  20. Clifford, A.H.; Preston, G.B. The Algebraic Theory of Semigroups; American Mathematical Society: Providence, RI, USA, 1961; Volume 1. [Google Scholar]
  21. Howie, J.M. Fundamentals of Semigroup Theory; Clarendon Press: Oxford, UK, 1995. [Google Scholar]
  22. Green, J.A. On the structure of semigroups. Ann. Math. 1951, 54, 163–172. [Google Scholar] [CrossRef]
  23. Ben-Israel, A.; Greville, T.N.E. Generalized Inverses: Theory and Applications, 2nd ed.; Springer: New York, NY, USA, 2003. [Google Scholar]
  24. Wang, G.; Wei, Y.; Qiao, S. Generalized Inverses: Theory and Computations; Science Press: Beijing, China, 2003. [Google Scholar]
  25. Ganyushkin, O.; Mazorchuk, V. Classical Finite Transformation Semigroups: An Introduction; Springer: London, UK, 2009. [Google Scholar]
  26. Anton, H.; Busby, R.C. Contemporary Linear Algebra, 2nd ed.; John Wiley & Sons: Hoboken, NJ, USA, 2023. [Google Scholar]
  27. Drazin, M.P. A class of outer generalized inverses. Linear Algebra Appl. 2012, 436, 1909–1923. [Google Scholar] [CrossRef]
  28. Ćirić, M.; Ignjatović, J.; Stanimirović, P. Outer inverses in semigroups belonging to the prescribed Green’s equivalence classes. Semigroup Forum 2023, 107, 251–293. [Google Scholar] [CrossRef]
  29. Sheng, X.; Chen, G. Full-rank representation of generalized inverse A T , S ( 2 ) and its application. Comput. Math. Appl. 2007, 54, 1422–1430. [Google Scholar] [CrossRef]
Figure 1. (a) Visualizations of the ’eggbox’; (b,c) Green’s lemmas.
Figure 1. (a) Visualizations of the ’eggbox’; (b,c) Green’s lemmas.
Mathematics 12 03136 g001
Figure 2. I.-A. factorization of d with respect to e.
Figure 2. I.-A. factorization of d with respect to e.
Mathematics 12 03136 g002
Figure 3. H -classes R δ L δ , R δ L ε , R ε L δ , and R ε L ε of T 4 for δ = ( 1124 ) and ε = ( 4234 ) .
Figure 3. H -classes R δ L δ , R δ L ε , R ε L δ , and R ε L ε of T 4 for δ = ( 1124 ) and ε = ( 4234 ) .
Mathematics 12 03136 g003
Figure 4. Visualization of the situation considered in Theorem 5.
Figure 4. Visualization of the situation considered in Theorem 5.
Mathematics 12 03136 g004
Figure 5. Visualisation of the environment required in Corollary 3.
Figure 5. Visualisation of the environment required in Corollary 3.
Mathematics 12 03136 g005
Figure 6. Visualization of the situation considered in Example 9.
Figure 6. Visualization of the situation considered in Example 9.
Mathematics 12 03136 g006
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Ćirić, M.; Ignjatović, J.; Stanimirović, P.S. Idempotent-Aided Factorizations of Regular Elements of a Semigroup. Mathematics 2024, 12, 3136. https://doi.org/10.3390/math12193136

AMA Style

Ćirić M, Ignjatović J, Stanimirović PS. Idempotent-Aided Factorizations of Regular Elements of a Semigroup. Mathematics. 2024; 12(19):3136. https://doi.org/10.3390/math12193136

Chicago/Turabian Style

Ćirić, Miroslav, Jelena Ignjatović, and Predrag S. Stanimirović. 2024. "Idempotent-Aided Factorizations of Regular Elements of a Semigroup" Mathematics 12, no. 19: 3136. https://doi.org/10.3390/math12193136

APA Style

Ćirić, M., Ignjatović, J., & Stanimirović, P. S. (2024). Idempotent-Aided Factorizations of Regular Elements of a Semigroup. Mathematics, 12(19), 3136. https://doi.org/10.3390/math12193136

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