- Open Access
Some fixed-point results on (generalized) Bruck-Reilly ∗-extensions of monoids
© Guzel Karpuz et al.; licensee Springer 2013
- Received: 28 January 2013
- Accepted: 21 March 2013
- Published: 29 March 2013
In this paper, we determine necessary and sufficient conditions for Bruck-Reilly and generalized Bruck-Reilly ∗-extensions of arbitrary monoids to be regular, coregular and strongly π-inverse. These semigroup classes have applications in various field of mathematics, such as matrix theory, discrete mathematics and p-adic analysis (especially in operator theory). In addition, while regularity and coregularity have so many applications in the meaning of boundaries (again in operator theory), inverse monoids and Bruck-Reilly extensions contain a mixture fixed-point results of algebra, topology and geometry within the purposes of this journal.
MSC:20E22, 20M15, 20M18.
- Bruck-Reilly extension
- generalized Bruck-Reilly ∗-extension
- π-inverse monoid
- regular monoid
In combinatorial group and semigroup theory, for a finitely generated semigroup (monoid), a fundamental question is to find its presentation with respect to some (irreducible) system of generators and relators, and then classify it with respect to semigroup classes. In this sense, in , the authors obtained a presentation for the Bruck-Reilly extension, which was studied previously by Bruck , Munn  and Reilly . In different manners, this extension has been considered as a fundamental construction in the theory of semigroups. In detail, many classes of regular semigroups are characterized by Bruck-Reilly extensions; for instance, any bisimple regular w-semigroup is isomorphic to a Reilly extension of a group  and any simple regular w-semigroup is isomorphic to a Bruck-Reilly extension of a finite chain of groups [5, 6]. After that, in another important paper , the author obtained a new monoid, namely the generalized Bruck-Reilly ∗-extension, and presented the structure of the ∗-bisimple type A w-semigroup. Later on, in , the authors studied the structure theorem of the ∗-bisimple type A -semigroups as the generalized Bruck-Reilly ∗-extension. Moreover, in a joint work , it has been recently defined a presentation for the generalized Bruck-Reilly ∗-extension and then obtained a Gröbner-Shirshov basis of this new construction. As we depicted in the abstract of this paper, Bruck-Reilly, its general version generalized Bruck-Reilly ∗-extension of monoids and semigroup classes are not only important in combinatorial algebra but also in linear algebra, discrete mathematics and topology. So these semigroup classes, regular, coregular, inverse and strongly π-inverse, are the most studied classes in algebra.
In this paper, as a next step of these above results, we investigate regularity, coregularity and strongly π-inverse properties over Bruck-Reilly and generalized Bruck-Reilly ∗-extensions of monoids. We recall that regularity and strongly π-inverse properties have been already studied for some other special extensions (semidirect and wreath products) of monoids [10, 11]. We further recall that these two important properties have been also investigated for the semidirect product version of Schützenberger products of any two monoids [12, 13]. However, there are not yet such investigations concerning coregularity. As we depicted in the abstract, semigroup classes have important applications in various fields of mathematics, such as matrix theory, discrete mathematics and p-adic analysis (especially in operator theory). In addition, while regularity and coregularity have so many applications in the meaning of boundaries (again in operator theory), inverse monoids and Bruck-Reilly extensions contain a mixture of algebra, topology and geometry within the purposes of this journal.
An element a of a semigroup S is called regular if there exists such that . The semigroup S is called regular if all its elements are regular. Groups are of course regular semigroups, but the class of regular semigroups is vastly more extensive than the class of groups (see ). Further, to have an inverse element can also be important in a semigroup. Therefore, we call S is an inverse semigroup if every element has exactly one inverse. The well-known examples of inverse semigroups are groups and semilattices. An element is called coregular and b its coinverse if . A semigroup S is said to be coregular if each element of S is coregular . In addition, let and RegS be the set of idempotent and regular elements, respectively. We then say that S is called π-regular if, for every , there is an such that . Moreover, if S is π-regular and the set is a commutative subsemigroup of S, then S is called strongly π-inverse semigroup . We recall that RegS is an inverse subsemigroup of a strongly π-inverse semigroup S.
In the above references, the authors used to prove that every semigroup embeds in a simple monoid, and to characterize special classes of inverse semigroups. In [, Theorem 3.1], Munn showed that is an inverse semigroup if and only if A is inverse. So, the following result is a direct consequence of this theorem.
Corollary 1 Let A be an arbitrary monoid. Then is regular if and only if A is regular.
with and , the set becomes a subsemigroup of . Thus, we further have the following lemma.
Lemma 1 Let . If is coregular then .
where and . This gives , , and consequently, . Together with , we obtain as required. □
Now we can present the following result.
Theorem 1 Let A be a monoid. Then is coregular if and only if A is coregular.
By (1) and (2), we clearly have , and hence, and . So A is coregular.
Therefore, is coregular. □
In [, Theorem 3.1], it is proved that:
is an idempotent element in if and only if and a is an idempotent element in A.
This result will be used in the proof of the following theorem.
Theorem 2 is strongly π-inverse if and only if A is regular and the idempotents in A commute.
By the assumption given in the beginning of this section, since aθ is in the ℋ-class of the element , we obtain aθ is a group element, and so there is an inverse element . Thus, by (3), we get ; in other words, . Consequently, A is regular. Now, let us also show that the elements in are commutative. But this is quite clear by the fact that the idempotents in commute if and only if the idempotents in A commute (see [, Theorem 3.1(5)]).
Conversely, let us suppose that A is regular and the idempotents in A commute. Then is regular, where π-regular by Corollary 1. Moreover, again by [, Theorem 3.1(5)], is a commutative subsemigroup, which is required to satisfy strongly π-inverse property, hence the result. □
Suppose that A is an arbitrary monoid having and as the - and ℋ- classes containing the identity element of A. Moreover, let us assume that β and γ are morphisms from A into and, for an element u in , let be the inner automorphism of defined by such that .
where and , are interpreted as the identity map of A, and also is interpreted as the identity of A. In , Yu Shung and Li-Min Wang showed that S is a monoid with the identity . In fact, this new monoid is denoted by and called generalized Bruck-Reilly ∗-extension of A determined by the morphisms β, γ and the element u.
The following lemmas were established in .
Lemma 2 If , then is an idempotent if and only if , and v is idempotent.
if and only if is an inverse of v in A while , , and .
Then we have an immediate consequence as in the following.
Corollary 2 Let A be a monoid. Then is regular if and only if A is regular.
In this section, we mainly characterize the properties coregularity and strongly π-inverse over the generalized Bruck-Reilly ∗-extensions of monoids. More specifically, for a given monoid A, we determine the maximal submonoid of , which can be held coregularity if A satisfies particular properties.
Our first observation is the following.
Lemma 4 The set is a submonoid of .
Proof By considering the multiplication in (4), the proof can be seen easily. □
It turns out that all coregular elements in belong to the submonoid ℒ .
Lemma 5 Let . If is coregular then and .
By writing the equality (8) in (7), we get . Together with , we obtain . By assuming , we also get .
Now let . Then it is easy to verify that and . If , we can easily see that or . This shows that if or . Hence, or is not possible. □
Then we have the following result.
Theorem 3 Let A be a monoid. Then the submonoid ℒ of is coregular if and only if A is coregular.
By (9) and (10), we obtain , and hence and . So, A is coregular.
Hence, is a coregular monoid, as desired. □
In the final theorem, we consider strongly π-inverse property.
Theorem 4 is strongly π-inverse if and only if A is regular and the idempotents in A commute.
So, , as required.
Conversely, let us suppose that A is regular. Then is regular, where π-regular by Corollary 2. Now we need to show that the elements in commute. To do that, let us take , and thus by Lemma 2. Now, by considering the multiplication as defined in (4), we have the following cases.
respectively. Since , we clearly obtain .
Hence, the result. □
Dedicated to Professor Hari M Srivastava.
The second and fourth authors are partially supported by Research Project Offices (BAP) of Selcuk (with Project No. 13701071) and Uludag (with Project No. 2012-15 and 2012-19) Universities, respectively.
- Howie JM, Ruskuc N: Constructions and presentations for monoids. Commun. Algebra 1994, 22(15):6209–6224. 10.1080/00927879408825184MATHMathSciNetView ArticleGoogle Scholar
- Bruck RH Ergebnisse der Mathematik, Neue Folge 20. In A Survey of Binary Systems. Springer, Berlin; 1958.View ArticleGoogle Scholar
- Munn W: On simple inverse semigroups. Semigroup Forum 1970, 1: 63–74. 10.1007/BF02573020MATHMathSciNetView ArticleGoogle Scholar
- Reilly NR: Bisimple w -semigroups. Proc. Glasg. Math. Assoc. 1966, 7: 160–167. 10.1017/S2040618500035346MATHMathSciNetView ArticleGoogle Scholar
- Kochin BP: The structure of inverse ideal-simple w -semigroups. Vestn. Leningr. Univ. 1968, 23(7):41–50.MATHGoogle Scholar
- Munn W: Regular w -semigroups. Glasg. Math. J. 1968, 9: 46–66. 10.1017/S0017089500000288MATHMathSciNetView ArticleGoogle Scholar
- Asibong-Ibe U: ∗-Bisimple type A w -semigroups-I. Semigroup Forum 1985, 31: 99–117. 10.1007/BF02572642MATHMathSciNetView ArticleGoogle Scholar
- Shung Y, Wang LM:∗-Bisimple type A -semigroups as generalized Bruck-Reilly ∗-extensions. Southeast Asian Bull. Math. 2008, 32: 343–361.MathSciNetGoogle Scholar
- Kocapinar C, Karpuz EG, Ateş F, Çevik AS: Gröbner-Shirshov bases of the generalized Bruck-Reilly ∗-extension. Algebra Colloq. 2012, 19(1):813–820.MATHMathSciNetView ArticleGoogle Scholar
- Nico WR: On the regularity of semidirect products. J. Algebra 1983, 80: 29–36. 10.1016/0021-8693(83)90015-7MATHMathSciNetView ArticleGoogle Scholar
- Zhang Y, Li S, Wang D: Semidirect products and wreath products of strongly π -inverse monoids. Georgian Math. J. 1996, 3(3):293–300. 10.1007/BF02280010MATHMathSciNetView ArticleGoogle Scholar
- Ateş F: Some new monoid and group constructions under semidirect products. Ars Comb. 2009, 91: 203–218.MATHGoogle Scholar
- Karpuz EG, Çevik AS: A new example of strongly π -inverse monoids. Hacet. J. Math. Stat. 2011, 40(3):461–468.MATHMathSciNetGoogle Scholar
- Clifford AH, Preston GB Mathematical Surveys 7. In The Algebraic Theory of Semigroups, vol. I. Am. Math. Soc., Providence; 1964.Google Scholar
- Clifford AH, Preston GB Mathematical Surveys 7. In The Algebraic Theory of Semigroups, vol. II. Am. Math. Soc., Providence; 1967.View ArticleGoogle Scholar
- Howie JM: Fundamentals of Semigroup Theory. Clarendon Press, New York; 1995.MATHGoogle Scholar
- Bijev G, Todorov K: Coregular semigroups. In Notes on Semigroups VI. Karl Marx Univ. Econom., Budapest; 1980–1984:1–11.Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.