On Centralizers of Idempotents with Restricted Range

: This study delves into the structure and properties of left inverse zero divisor bands within semigroups, identifying their maximal forms and broadening the theoretical landscape of semigroup analysis. A significant focus is placed on the automorphisms of a semigroup S of centralizers of idempotent transformations with restricted range, revealing that these automorphisms are inner ones and induced by the units of S . Additionally, we establish that the automorphism group Aut ( S ) is isomorphic to U S , the group of units of S . These findings extend previous results on semigroups of transformations, enhancing their applicability and providing a more unified theory. The practical implications of this work span multiple fields, including automata theory, coding theory, cryptography, and graph theory, offering tools for more efficient algorithms and models. By simplifying complex concepts and providing a solid foundation for future research, this study makes significant contributions to both theoretical and applied mathematics.


Introduction
The study of automorphisms of centralizers of idempotents in semigroups is a highly intricate and specialized field within algebra.The subject incorporates aspects of semigroup theory, ring theory, and linear algebra, uncovering complex structural characteristics and symmetries.
The study of idempotents in semigroups originated from the initial research on semigroup theory.In their influential work, Clifford and Preston [1] presented a thorough and fundamental exploration of idempotents and their centralizers in different forms of semigroups, elucidating their features and classifications.
Within the realm of semigroups, the structure of centralizers varies greatly from its equivalents in ring theory since it lacks supplementary algebraic structures, such as additive inverses.This disparity requires distinct approaches and viewpoints.Green's relations, which were introduced by Green in [2], play a crucial role in comprehending the arrangement of elements around idempotents.They have a significant impact on the examination of centralizers and the automorphisms associated with them.
Munn [3] expanded upon these concepts by examining the semigroup of partial transformations and their idempotents.Munn's research on the semigroup of partial transformations on a set X yielded significant insights into the topologies of centralizers in transformation semigroups.Recent research has further investigated these fundamental concepts, delving into more specialized categories of semigroups and examining the characteristics of their idempotent centralizers.The study of inverse semigroups, which extend the concept of groups by including partial symmetries, has been a central focus.Petrich [4] conducted a comprehensive investigation on inverse semigroups, emphasizing the significance of idempotents and their centralizers in these structures.
In [5], Howie presented a contemporary viewpoint on the categorization and examination of idempotents in different semigroups.He highlighted the significance of this research for centralizers and their automorphisms.Computational approaches have proven indispensable in recent studies.By employing algorithms and computational tools, researchers such as Easdown and Okninski [6] have made substantial progress in automating the process of identifying and categorizing automorphisms of centralizers in complicated semigroups.This advancement has greatly contributed to the comprehension of the structural characteristics of these semigroups.
The consequences of comprehending automorphisms of centralizers of idempotents in semigroups are significant.Within the realm of pure mathematics, these investigations contribute to the wider categorization of semigroups and their inherent symmetries.Within the field of applied mathematics, namely in the domains of computation theory and automata theory, the knowledge acquired about structures can have a significant impact on the development of efficient algorithms and the examination of computational processes.The investigation of automorphisms of centralizers of idempotents in semigroups is a developing area of study, originating from classical semigroup theory and growing with the use of contemporary computer methods.
The study of fixed points of principal bundles over algebraic curves represents a rich and intricate area of mathematical research.It bridges various domains such as algebraic geometry, topology, and mathematical physics, offering profound insights into the structure and behavior of moduli spaces.By examining these fixed points, one can uncover important invariants and geometric properties that are pivotal in understanding the underlying algebraic curves and the principal bundles themselves.
The concept of automorphisms plays a significant role in this context.Automorphisms of a principal bundle are transformations that map the bundle to itself while preserving its structure.Studying these automorphisms, particularly those that fix certain points, can reveal symmetries and invariants of the moduli space.These fixed points under automorphisms often correspond to special geometric configurations and can lead to a deeper understanding of the moduli space's topology and geometry.
Additionally, studying automorphisms of the centralizers of idempotents with limited range holds significant importance in addressing fixed-point problems in principal and Higgs bundles over algebraic curves.These automorphisms serve as a key tool for systematically exploring invariant configurations within the fundamental objects of algebraic geometry and gauge theory.By focusing our investigation on the centralizers of idempotents, we can efficiently navigate through intricate algebraic interactions, thereby facilitating the analysis of fixed points and revealing profound insights into the symmetry, stability, and geometric properties of the bundles.
This approach not only enhances our understanding of these complex structures but also broadens the spectrum of potential applications in both theoretical and applied mathematics.By elucidating the role of automorphisms in the context of centralizers of idempotents, we can unlock new avenues for research and discovery, ultimately contributing to advancements in various mathematical disciplines and their practical implementations.
The works of Clifford, Preston, Green, and Munn have laid a strong foundation, while the recent improvements by Petrich, Howie, and Easdown have enhanced the comprehension and expanded the practical uses of these concepts.Further investigation in this field holds the potential to reveal additional knowledge about the structure and practical uses, hence strengthening its significance in modern algebra.
Consider an arbitrary non-empty set A and let T (A) be the semigroup that consists of maps from A to itself, where composition serves as the semigroup operation.In [5], it was established that any semigroup S can be embedded into a semigroup of transformations, making transformation semigroups prototypes for semigroups.The study of semigroups, specifically transformation semigroups, has a substantial impact on several mathematical disciplines, such as automata, language, combinatorics, and the theory of machines.An automorphism ψ of a semigroup S is deemed inner if there is an α ∈ S(A), the group of all bijections on A, such that ψ(u) = αuα −1 for all u ∈ S. The study of automorphisms of transformation semigroups is crucial in the exploration of semigroup automorphisms, with significant prior research in this domain.Schreier [7] and Mal'cev [8] showed that every ψ ∈ Aut(T (A)) is such that ψ(u) = αuα −1 for all u ∈ T (A), where α ∈ S(A), and Aut(T (A)) ∼ = S(A).Sutov [9] and Magil [10] obtained similar findings for the partial transformation semigroup P (A), while Liber [11] obtained similar results for I(A), which consists of all partial one-one mappings on A. Gluskin [12] presented more illustrations, elucidating the automorphisms of the endomorphism monoid of a vector space.Sullivan [13] and Levi [14,15] extended the findings of Liber, Schreier, Sutov, and Mal'cev by proposing the notion of S(A)-normality.In a more recent study, Mir et al. [16] expanded upon Sullivan's findings regarding P M (X), which refers to the partial monotone transformation posemigroups.Shah et al. [17] extended the inner automorphism theorem from groups to monoids, introducing the concept of nearly complete semigroups.They also provided several necessary and sufficient conditions for semigroups to be nearly complete.
Consider a non-empty subset B of A. Then, the set T (A, B) = {α ∈ T(A) : α(A) ⊆ B} forms a subsemigroup of T (A).For an equivalence relation σ on A, let σ = σ ∩ (B × B) represent the restriction of σ to B, and R be a transversal of the partition B/ σ.Consider a semigroup with σ denoting an equivalence relation on A, and R being the transversal of the partition B/ σ.
In this paper, our aim is to describe the automorphism group of T(A, B, σ, R) (for arbitrary σ and R).Our results extend the findings of Symons [18,19] and Araujo and Konieczny [20].We determine the automorphisms of T (A, B, σ, R) and prove that they are inner, where the conjugating element is chosen from S(A, B, σ, R), where S(A, B, σ, R) = {g ∈ S(A, B) : g(R) = R and (a, b) ∈ σ ⇔ (g(a), g(b)) ∈ σ}, with S(A, B) = {g ∈ S(A) : g| B ∈ S(B)}.Furthermore, we demonstrate that Aut(T (A, B, σ, R)) is isomorphic to S(A, B, σ, R).These results extend those obtained for T (A, B) and T(A, σ, R), considering σ as the identity relation on A and A = B, respectively.
The organization of the paper is as follows.In Section 1, we prove that the semigroup T (A, B, σ, R) in general does not contain an identity.In Section 2, we describe the group of units of S(A, B, σ, R), and we prove that the sets F 1 , F 2 and T (A, 2, σ, R) are characteristic in T (A, B, σ, R).In Section 3, we introduce left inverse zero divisor bands and determine the maximal left inverse zero divisor bands.Finally, in Section 4, we use the results of the previous sections to prove the main theorems of the paper: the automorphisms of T (A, B, σ, R) are the inner automorphisms induced by the units of T (A, B, σ, R), and Aut(T (A, B, σ, R)) is isomorphic to the group of units of T (A, B, σ, R).

Semigroup T(A, B, σ, R) and Centralizers of Idempotents
In general, the semigroup T(A, B, σ, R) does not contain an identity, as illustrated in the following example.

Example 1. Let
We analyze the action of α on the identity element ι applied to a 5 : This implies that ι(a 5 ) ∈ {a 5 , a 6 }, since ι must map a 5 to an element within its equivalence class under σ which is {a 5 , a 6 }.However, this leads to a contradiction because B = {a 1 , a 3 }, and neither a 5 nor a 6 are elements of B. Hence, the assumption that T(A, B, σ, R) possesses an identity element must be reconsidered.
Therefore, we conclude that T(A, B, σ, R) is a semigroup with an adjoined identity element, implying that the identity element does not inherently exist within the structure and must be externally appended contradicts their absence in B. Hence, we assume that T(A, B, σ, R) is a semigroup with an adjoined identity.
Consider the subset of S(A, B): Clearly, id A ∈ S(A, B, σ, R).Also, S(A, B, σ, R) is closed under composition and inverses, thus forming a group.Now, we prove the following theorem.

Some Subsemigroups of T (A, B, σ, R)
In this section, we establish key notations and essential facts for our investigation, beginning with the following lemma.
Proof.Let g be a constant function defined on the set S. We can select an element a ′ ∈ A such that the function h(a) maps every element a ∈ A to a ′ .Therefore, we may conclude , which means that h f h = h for all f ∈ S. On the other hand, let us suppose that h ∈ S meets the condition h f h = h for every f ∈ S. Since this property applies to all functions f in the set S, including the constant mapping f a ′ , we can conclude that h f a ′ h = h.Hence, for any element a belonging to the set A, we have h , which demonstrates a fixed mapping as needed.
By K(S), we mean the collection of all constant mappings of a semigroup S, and α| U as the restriction of α to U. We now state the following lemma.Lemma 2. Let S be a subsemigroup of T (A, B, σ, R).For φ ∈ Aut(S), φ| K(S) = K(S).

Left Inverse Zero Divisor Bands
A band is a semigroup in which every element is idempotent.In a band B with a zero element, 0, it is termed a zero divisor band if for all l, m ∈ B, l ̸ = m ⇒ lm = 0.
Conversely, if Ker(e) = Ker(e ′ ), since e, e ′ ∈ F 1 are idempotents, then im(e) = {b, r} and im(e .Clearly, α ∈ F 1 ; thus, e ′ = αe.Similarly, consider . It is evident that β ∈ F 1 ; thus, e = βe ′ .Hence, e L F 1 e ′ . Consider a zero divisor band B with a zero element denoted as 0. A zero divisor band in F 1 is defined as a set B such that B \ {0} is a subset of F 1 and 0 belongs to the semigroup T (A, 1, σ, R).A zero divisor band B is considered a left inverse if, for every non-zero element e in B, the L F 1 -class of e in F 1 contains just one idempotent, which is e itself.
For every b ∈ B \ R and r ∈ R such that b σr, φ {b,r} denotes the element of T(A, B, σ, R) defined by φ {b,r} (b) = b and φ {b,r} (A \ {b}) = {r}.For r ∈ R, A r represents the constant element of T (A, B, σ, R).Clearly, φ 2 {b,r} = φ {b,r} in F 1 .For r ∈ R, define the set Lemma 9.For r ∈ R, B r is a maximal left inverse zero divisor band in F 1 .
Proof.Let ψ ∈ Aut(F 1 ∪ T (A, 1, σ, R)) and B r be a zero divisor band.Since A r is zero in B r , for any α ∈ B r , we have As A s is zero in ψ(B r ), by the proof of Lemma 10, ψ(B r ) ⊆ B s .Hence, B r ⊆ ψ −1 (B s ).Conversely, we have ψ −1 (B s ) is a left inverse zero divisor band in F 1 , as by Lemma 9, B r is a maximal left inverse zero divisor band in F 1 .Thus, B r = ψ −1 (B s ), and so ψ −1 (B r ) = B s .A, B, σ, R)

Automorphism Group of T (
, and for every r ∈ R, there exists r ′ ∈ R such that We can thus define α ψ ∈ T (A) as follows:
Thus, α ψ is well-defined and injective.Since ψ −1 is also an automorphism, there is Now, we have to show that R ⊆ α ψ (R).For this, let t ∈ R. Since α ψ | B is a bijection, there exists some s ∈ R such that α ψ (s Lemma 13.Let S be a subsemigroup of T (A, B, σ, R) which contains F 1 ∪ T (A, 1, σ, R), and F 1 is characteristic in S. If ψ, φ ∈ Aut(S) and ψ| B r = φ| B r ∀ r ∈ R, then ψ = φ.

Proof. Since we know that Aut(
That is, Θ is an injective map.By Theorem 3, Θ is clearly onto and hence a bijection from Aut(T (A, B, σ, R)) to S(A, B, σ, R).

Conclusions
In this study, we explored T (A, B, σ, R), a semigroup composed of full maps from a set A with a restricted range preserving an equivalence relation σ and a transversal R. Our investigation yielded several key results:

•
We established that T (A, B, σ, R) generally lacked an identity element.

•
We demonstrated the characteristics of the sets F 1 , F 2 , and T (A, 2, σ, R) within T (A, B, σ, R).

•
We identified the maximal left inverse zero divisor bands within T (A, B, σ, R).

•
We delved into the automorphisms of T (A, B, σ, R), revealing that each automorphism was inner, induced by elements of S(A, B, σ, R).

•
Furthermore, we established an isomorphism between the automorphism group of T (A, B, σ, R) and S(A, B, σ, R).
These findings significantly contribute to the understanding of T (A, B, σ, R) and extend previous results concerning T (A, B) and T (A, σ, R), where σ represents the identity relation and A = B, respectively.
In conclusion, the research presented in this paper holds significant importance across a spectrum of mathematical and applied fields.It provides foundational insights into algebraic structures, aiding in their analysis and comprehension.Moreover, it contributes to our understanding of fundamental groups in algebraic topology, shedding light on their invariance properties.Furthermore, the study of inner automorphisms enriches character theory and module actions in representation theory, offering valuable tools for exploring the behavior of group actions on vector spaces.Beyond theoretical realms, the implications extend to practical domains such as cryptographic protocol design, where inner automorphisms play a crucial role in ensuring security and robustness.Moreover, the insights gleaned from this research deepen our understanding of Lie algebras and their symmetries, opening avenues for further exploration in mathematical physics.Applications in mapping class groups and fiber bundles within geometry and topology further underscore the breadth of its impact.Crucially, the results established in this paper hold significant applications in mathematical physics, particularly in the realms of quantum groups and gauge theory, underscoring their relevance in advancing our understanding of complex physical phenomena.By harnessing the power of inner automorphisms, researchers can delve deeper into the intricacies of symmetry, structure, and properties inherent in both mathematical abstractions and real-world systems, thus highlighting their broad relevance and importance in diverse fields.
Future studies in this area have the potential to significantly deepen our understanding of these structures and their properties.Here are several promising avenues for further research: 1.
We established that T (A, B, σ, R) generally lacked an identity element.It is natural to seek conditions under which T (A, B, σ, R) can admit an identity element, potentially by relaxing certain constraints or introducing additional structure.

2.
Finding the necessary and sufficient conditions under which T (A, B, σ, R) is a BQsemigroup, i.e., a semigroup whose bi-ideals and quasi-ideals coincide.

3.
It is well known that T (X) ∼ = T (Y) if and only if |X| = |Y|.Investigating analogous results for T (A, B, σ, R) is worthwhile.4.
Exploring the maximal left inverse zero divisor bands within other semigroups of this type, such as the semigroup T (A, B, σ, ρ, R), where the two equivalences ρ and σ are preserved along with a cross section.
By pursuing these directions, future studies can further advance our understanding of T (A, B, σ, R) and its broader implications in mathematics and beyond.

F 1 φ 1 . 10 .
{b,r} .Then, by Lemma 8, ker(e) = ker(φ {b,r} ), and so e = {b} A\{b} a s for some s ∈ R and a ∈ B \ R. Since e is idempotent, e(b) = b implies a = b.Moreover, since a ∈ [s] σ and a = b ∈ [r] σ , we have [s] σ = [r] σ , and so r = s.Thus, B r is left inverse.Let B r be contained in a left inverse zero divisor band B of F 1 .Then, A r ∈ B, so A r is zero in B. Let A r ̸ = e ∈ B. Then, e ∈ F 1 , so e = M N b s for some s ∈ R and b ∈ B \ R. Since e is idempotent, b ∈ M and s ∈ N. Suppose there is a ∈ M such that a ̸ = b.Since e(R) ⊆ R and b / ∈ R, this implies M ∩ R = ∅.Thus, r a ∈ N, so e ′ = M N a r a is an idempotent in F 1 such that Ker(e) = Ker(e ′ ).This is a contradiction since e ̸ = e ′ and B is left inverse.It follows that M = {b}, and so e = φ {b,r} .Since A r is the zero in B, φ {b,r} A r = A r .Thus, s = r and so e = φ {b,r} ∈ B r .Therefore, B = B r , demonstrating that B r is a maximal left inverse zero divisor band in F Lemma Suppose B is a maximal left inverse zero divisor band in F 1 .Then, there exists r ∈ R such that B = B r .Proof.Let r ∈ R be such that A r is zero in B. Assume A r ̸ = e ∈ B with im(e) = {b, s} (b ∈ B \ R, s ∈ R).By Lemma 9, e = φ {b,r} .Hence, B ⊆ B r , and thus B r = B, as B r is maximal.