A new monoid construction under crossed products
© Emin et al.; licensee Springer. 2013
Received: 12 December 2012
Accepted: 26 April 2013
Published: 15 May 2013
In this paper we define a new monoid construction under crossed products for given monoids. We also present a generating set and a relator set for this product. Finally, we give the necessary and sufficient conditions for the regularity of it.
MSC:05C10, 05C12, 05C25, 20E22, 20M05.
Keywordscrossed product semi-direct product monoid presentation
1 Introduction and preliminaries
In , some conditions for the regularity of the semi-direct product are given. Moreover, in , a new monoid construction under semi-direct product and Schützenberger product for any two monoids is defined, and its regularity is examined. Also, in , necessary and sufficient conditions for this new product to be strongly π-inverse are determined. The regularity and π-inverse property for the Schützenberger product are studied in . By using similar methods as in these above papers, the purpose of this paper is to define a new monoid construction under a crossed product and to give its regularity.
for all , . The crossed system is called normalized if . The map is called weak action and is called an α-cocycle.
If is a normalized crossed system, then we have and by .
for all , . Then is a monoid with unit if and only if is a normalized crossed system. In this case, the monoid is called a crossed product of A and B associated to the crossed system . The reader is referred to  and  for more details on this material.
It is known that is a monoid with identity , where ∅ is an empty set (see ).
2 A new monoid construction
In this section, as one of the main results of the paper, we define a new monoid construction under a crossed product and the Schützenberger product by considering the definitions given in the above section. In order to do that, firstly we give the definition of this new product and then we define its presentation.
on the set , where and are given in Definition 1.
Let us denote this new product by . Then, by the above argument, we say that is a monoid with the identity .
By the following remark, we explain why this new product is worked on in this paper.
Remark 1 In [8–13] the authors give some new results about the p-Cockcroft property of some extensions. So, by using these papers, one can also work on this subject by using this new product. So, one can give some new efficient (equivalently, p-Cockcroft) presentation examples. By the way, one can also do further algebraic works on this new product. For instance, in this paper, we give necessary and sufficient conditions for this new product to be regular.
3 Presentation of
Let us consider Remark 1. In order to do such algebraic work, we need to define the presentation of this new product. So, in the following theorem, we give a presentation of as one of the main results of this paper.
where is the word on X.
Thus these above arguments say that ψ induces an epimorphism from the monoid defined by (3)-(7), say M, onto .
for any word .
Now, let us take and for some . If , then, by the equality of these components, we deduce that in A, in B and . Relations (3) and (4) imply that and hold in M. So that holds. Thus is injective. □
4 Regularity of
Let A and B be monoids. As depicted in Remark 1, one can work on this new product to show some algebraic properties. To this end, in this section we define the necessary and sufficient conditions for to be regular.
For an element a in a monoid M, let us take for the set of inverses of a in M, that is, . Hence M is regular if and only if, for all , the set is not equal to the empty set.
Let us consider the notations given in Definition 3. Then we have the following theorem as a final main result of this paper.
Theorem 2 Let A and B be any monoids. The product is regular if and only if A is a regular monoid and B is a group.
and, in particular, and , we get . This says that B is a group.
where , and for some such that . Hence the result. □
Dedicated to Professor Hari M Srivastava.
- Nico WR: On the regularity of semi-direct products. J. Algebra 1983, 80: 29–36. 10.1016/0021-8693(83)90015-7MathSciNetView ArticleGoogle Scholar
- Ateş F: Some new monoid and group constructions under semidirect products. Ars Comb. 2009, 91: 203–218.Google Scholar
- Karpuz EG, Çevik AS: A new example of strongly π -inverse monoids. Hacet. J. Math. Stat. 2011, 40: 461–468.MathSciNetGoogle Scholar
- Ateş F, Karpuz EG, Çevik AS: Regular and π -inverse monoids under Schutzenberger products. Algebras Groups Geom. 2010, 27(4):455–470.MathSciNetGoogle Scholar
- Agore AL, Militaru G: Crossed product of groups applications. Arab. J. Sci. Eng. 2008, 33: 1–17.MathSciNetGoogle Scholar
- Agore AL, Fratila D: Crossed product of cyclic groups. Czechoslov. Math. J. 2010, 60(135):889–901.MathSciNetView ArticleGoogle Scholar
- Howie JM, Ruskuc N: Constructions and presentations for monoids. Commun. Algebra 1994, 22(15):6209–6224. 10.1080/00927879408825184MathSciNetView ArticleGoogle Scholar
- Ateş F, Çevik AS: Separability and efficiency under standard wreath product in terms of Cayley graphs. Rocky Mt. J. Math. 2008, 38: 779–800. 10.1216/RMJ-2008-38-3-779View ArticleGoogle Scholar
- Ateş F, Çevik AS: Minimal but inefficient presentations for semi-direct products of finite cyclic monoids. L.M.S Lecture Note Series 1. In Proceedings of Groups St Andrews 2005. Cambridge University Press, Cambridge; 2006:175–180.Google Scholar
- Ateş F, Çevik AS: The p -Cockcroft property of central extensions of groups II. Monatshefte Math. 2007, 150: 181–191. 10.1007/s00605-006-0435-3View ArticleGoogle Scholar
- Cevik AS: The p -Cockcroft property of semi-direct products of monoids. Int. J. Algebra Comput. 2003, 13(1):1–16. 10.1142/S0218196703001298MathSciNetView ArticleGoogle Scholar
- Cevik AS: Minimal but inefficient presentations of the semi-direct product of some monoids. Semigroup Forum 2003, 66(1):1–17.MathSciNetView ArticleGoogle Scholar
- Cevik AS: Efficiency for self semi-direct products of the free Abelian monoid on two generators. Rocky Mt. J. Math. 2005, 35(1):47–59. 10.1216/rmjm/1181069767MathSciNetView ArticleGoogle 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.