 Research
 Open access
 Published:
Analysis approach to finite monoids
Fixed Point Theory and Applications volume 2013, Article number: 15 (2013)
Abstract
In a previous paper by the authors, a new approach between algebra and analysis has been recently developed. In detail, it has been generally described how one can express some algebraic properties in terms of special generating functions. To continue the study of this approach, in here, we state and prove that the presentation which has the minimal number of generators of the split extension of two finite monogenic monoids has different sets of generating functions (such that the number of these functions is equal to the number of generators) that represent the exponent sums of the generating pictures of this presentation. This study can be thought of as a mixture of pure analysis, topology and geometry within the purposes of this journal.
AMS Subject Classification:11B68, 11S40, 12D10, 20M05, 20M50, 26C05, 26C10.
1 Introduction and preliminaries
Associated with any (connected) topological space X is its fundamental group {\pi}_{1}(X) or 2complex (Squier complex) \mathcal{D}(X). This can often be specified by means of a presentation. A presentation of a group G or monoid M consists of a set of generators of G or M, together with a collection of relations amongst these generators, such that any other relation amongst the generators is derivable (in a precise sense) from the given relations. Algebraic information about {\pi}_{1}(X) or \mathcal{D}(X) can be used to obtain topological information about X (cf. [1]). Many techniques of this branch of mathematics are purely algebraic, and it is possible to achieve much using these techniques. However, in recent years many techniques involving geometric ideas have emerged and are proving more fruitful. These geometric techniques involve graph theory, the theory of tessellations of various surfaces and covering space theory, to name a few.
The number of vertexcolorings of a graph is given by a polynomial on the number of used colors (see [2]). Based on this polynomial, one can define the chromatic number as the minimum number of colors such that the chromatic polynomial is positive. Recently, our attention has been drawn to the paper [3] which is a generalization on the chromatic polynomial of a graph subdivision, and basically the authors determine the chromatic number for a simple graph and then present the generalized polynomial for a particular case of graph subdivision. In this reference, the main idea was to express some graph theoretical parameters in terms of special functions. In a similar manner within algebra, by considering a group or a monoid presentation \mathcal{P}, an approximation from algebra to analysis has been recently developed [4]. To do that, the authors supposed \mathcal{P} satisfies the special algebraic properties either efficiency or inefficiency while it is minimal. (The reason for choosing efficiency or (minimal) inefficiency was to have an advantage to work on a minimal number of generators.) Then it was investigated whether some generating functions can be applied, and then it was studied what kind of new properties can be obtained by considering special generating functions over \mathcal{P}. In fact, to investigate this theory, \mathcal{P} has been taken as the presentation of the split extension {\mathbb{Z}}_{n}\u22ca\mathbb{Z} and {\mathbb{Z}}^{2}\u22ca\mathbb{Z}, respectively. Since the results in [3] imply a new studying area for graphs in the meaning of representation of parameters by generating functions, the results in [4] will be also given an opportunity to make a new classification of infinite groups and monoids by using generating functions.
This paper can be thought of as another version of [4]. Our general aim here is to define some generating functions in terms of the minimality of the given presentation. This will imply that the minimal number of generators can be represented as generating functions. Similarly as in [4], our approximation will be applied by considering the split extension. Here, the split extension will be defined as a semidirect product of two finite monogenic (cyclic) monoids (we may refer to [5] for details on these monoids). It is obvious that the split extension of two finite structures will also be finite. So, the main difference between the results in here and in the paper [4] lies in this fact. Because, while a classification over special cases of infinite groups or monoids was given in [4], the classification in the present paper only focuses on the finite monoids. It is well known that giving some different approximations over finite cases is also as important as giving those over infinite cases.
In the following first subsection, as supportive material, some algebraic facts over split extensions (equivalently, semidirect products), presentations of finite monogenic monoids, a trivializer set of these presentations and efficiency (equivalently, pCockcroft property) are reminded. In Section 2, we present the main material of this paper as two separate subsections. In the first subsection, we present some known results about necessary conditions for the presentation, say {\mathcal{P}}_{M}, of the split extension of two finite monogenic monoids to be pCockcroft (see Proposition 2.1 below) and to be minimal but inefficient (see Proposition 2.3 below). In the final subsection, as a result of all theories until there, we introduce generating functions related to our title (see Theorems 2.5, 2.7 and 2.12 below). In Section 3, by considering one of the functions defined in the previous section, we study this function in the meaning of again generating functions and functional equations (see Theorems 3.1 and 3.3 below).
1.1 Fundamentals of the algebraic part
This subsection should be completely thought of as a part of the expressions in the beginning of this paper.
Let \mathcal{P}=[X;\mathbf{r}] be a monoid presentation where a typical element R\in \mathbf{r} has the form {R}_{+}={R}_{}. Here {R}_{+}, {R}_{} are words on X (that is, elements of the free monoid F(X) on X). The monoid defined by [X;\mathbf{r}] is the quotient of F(X) by the smallest congruence generated by r.
We have a (Squier) graph \mathrm{\Gamma}=\mathrm{\Gamma}(X;\mathbf{r}) associated with [X;\mathbf{r}], where the vertices are the elements of F(X) and the edges are the 4tuples e=(U,R,\epsilon ,V), where U,V\in F(X), R\in \mathbf{r} and \epsilon =\pm 1. The initial, terminal and inversion functions for an edge e as given above are defined by \iota (e)=U{R}_{\epsilon}V, \tau (e)=U{R}_{\epsilon}V and {e}^{1}=(U,R,\epsilon ,V).
Two paths π and {\pi}^{\mathrm{\prime}} in a 2complex are equivalent if there is a finite sequence of paths \pi ={\pi}_{0},{\pi}_{1},\dots ,{\pi}_{m}={\pi}^{\mathrm{\prime}}, where for 1\le i\le m, the path {\pi}_{i} is obtained from {\pi}_{i1} either by inserting or deleting a pair e{e}^{1} of inverse edges or else by inserting or deleting a defining path for one of the 2cells of the complex. There is an equivalence relation, ∼, on paths in Γ which is generated by ({e}_{1}\cdot \iota ({e}_{2}))(\tau ({e}_{1})\cdot {e}_{2})\sim (\iota ({e}_{1})\cdot {e}_{2})({e}_{1}\cdot \tau ({e}_{2})) for any edges {e}_{1} and {e}_{2} of Γ. This corresponds to requiring the closed paths ({e}_{1}\cdot \iota ({e}_{2}))(\tau ({e}_{1})\cdot {e}_{2})({e}_{1}^{1}\cdot \tau ({e}_{2}))(\iota ({e}_{1})\cdot {e}_{2}^{1}) at the vertex \iota ({e}_{1})\iota ({e}_{2}) to be the defining paths for the 2cells of a 2complex having Γ as its 1skeleton. This 2complex is called the Squier complex of \mathcal{P} and denoted by \mathcal{D}(\mathcal{P}) (see, for example, [6–9]). The paths in \mathcal{D}(\mathcal{P}) can be represented by geometric configurations, called monoid pictures. We assume here that the reader is familiar with monoid pictures (see [[6], Section 4], [[7], Section 1] or [[8], Section 2]). Typically, we will use blackboard bold, e.g., \mathbb{A}, \mathbb{B}, ℂ, ℙ, as notation for monoid pictures. Atomic monoid pictures are pictures which correspond to paths of length 1. Write [U,R,\epsilon ,V] for the atomic picture which corresponds to the edge (U,R,\epsilon ,V) of the Squier complex. Whenever we can concatenate two paths π and {\pi}^{\mathrm{\prime}} in Γ to form the path \pi {\pi}^{\mathrm{\prime}}, then we can concatenate the corresponding monoid pictures ℙ and {\mathbb{P}}^{\mathrm{\prime}} to form a monoid picture \mathbb{P}{\mathbb{P}}^{\mathrm{\prime}} corresponding to \pi {\pi}^{\mathrm{\prime}}. The equivalence of paths in the Squier complex corresponds to an equivalence of monoid pictures. That is, two monoid pictures ℙ and {\mathbb{P}}^{\mathrm{\prime}} are equivalent if there is a finite sequence of monoid pictures \mathbb{P}={\mathbb{P}}_{0},{\mathbb{P}}_{1},\dots ,{\mathbb{P}}_{m}={\mathbb{P}}^{\mathrm{\prime}} where, for 1\le i\le m, the monoid picture {\mathbb{P}}_{i} is obtained from the picture {\mathbb{P}}_{i1} either by inserting or deleting a subpicture \mathbb{A}{\mathbb{A}}^{1}, where \mathbb{A} is an atomic monoid picture, or else by replacing a subpicture (\mathbb{A}\cdot \iota (\mathbb{B}))(\tau (\mathbb{A})\cdot \mathbb{B}) by (\iota (\mathbb{A})\cdot \mathbb{B})(\mathbb{A}\cdot \tau (\mathbb{B})) or vice versa, where \mathbb{A} and \mathbb{B} are atomic monoid pictures.
A monoid picture is called a spherical monoid picture when the corresponding path in the Squier complex is a closed path. Suppose Y is a collection of spherical monoid pictures over \mathcal{P}. Two monoid pictures ℙ and {\mathbb{P}}^{\mathrm{\prime}} are equivalent relative to Y if there is a finite sequence of monoid pictures \mathbb{P}={\mathbb{P}}_{0},{\mathbb{P}}_{1},\dots ,{\mathbb{P}}_{m}={\mathbb{P}}^{\mathrm{\prime}} where, for 1\le i\le m, the monoid picture {\mathbb{P}}_{i} is obtained from the picture {\mathbb{P}}_{i1} either by the insertion, deletion and replacement operations of the previous paragraph or else by inserting or deleting a subpicture of the form W\cdot \mathbb{Y}\cdot V or of the form W\cdot {\mathbb{Y}}^{1}\cdot V, where W,V\in F(X) and \mathbb{Y}\in \mathbf{Y}. By definition, a set Y of spherical monoid pictures over \mathcal{P} is a trivializer of \mathcal{D}(\mathcal{P}) if every spherical monoid picture is equivalent to an empty picture relative to Y. By [[7], Theorem 5.1], if Y is a trivializer for the Squier complex, then the elements of Y generate the first homology group of the Squier complex. The trivializer is also called a set of generating pictures. Some examples and more details of the trivializer can be found in [7–14].
For any monoid picture ℙ over \mathcal{P} and for any R\in \mathbf{r}, {exp}_{R}(\mathbb{P}) denotes the exponent sum of R in ℙ which is the number of positive discs labeled by {R}_{+}, minus the number of negative discs labeled by {R}_{}. For a nonnegative integer n, \mathcal{P} is said to be nCockcroft if {exp}_{R}(\mathbb{P})\equiv 0 (modn), (where congruence (mod0) is taken to be equality) for all R\in \mathbf{r} and for all spherical pictures ℙ over \mathcal{P}. Then a monoid ℳ is said to be nCockcroft if it admits an nCockcroft presentation. In fact, to verify the nCockcroft property, it is enough to check for pictures \mathbb{P}\in \mathbf{Y}, where Y is a trivializer (see [7, 8]). The 0Cockcroft property is usually just called Cockcroft. In general, we take n to be equal to 0 or a prime p. Examples of monoid presentations with Cockcroft and pCockcroft properties can be found in [10].
Suppose that \mathcal{P}=[X;\mathbf{r}] is a finite presentation for a monoid ℳ. Then the Euler characteristic \chi (\mathcal{P}) is defined by \chi (\mathcal{P})=1X+\mathbf{r} and \delta (\mathcal{M}) is defined by \delta (\mathcal{M})=1r{k}_{\mathbb{Z}}({H}_{1}(\mathcal{M}))+d({H}_{2}(\mathcal{M})). In unpublished work, Pride has shown that \chi (\mathcal{P})\ge \delta (\mathcal{M}). With this background, we define the finite monoid presentation \mathcal{P} to be efficient if \chi (\mathcal{P})=\delta (\mathcal{M}), and we define the monoid ℳ to be efficient if it has an efficient presentation. Moreover, a presentation {\mathcal{P}}_{0} for ℳ is called minimal if \chi ({\mathcal{P}}_{0})\le \chi (\mathcal{P}) for all presentations \mathcal{P} of ℳ. There is also interest in finding inefficient finitely presented monoids since if we can find a minimal presentation {\mathcal{P}}_{0} for a monoid ℳ such that {\mathcal{P}}_{0} is not efficient, then we have \chi ({\mathcal{P}}^{\mathrm{\prime}})\ge \chi ({\mathcal{P}}_{0})>\delta (\mathcal{M}) for all presentations {\mathcal{P}}^{\mathrm{\prime}} defining the same monoid ℳ. Thus, there is no efficient presentation for ℳ, that is, ℳ is not an efficient monoid.
The following theorem was first given in [10]. (The group version of this result was proved by Epstein in [15].)
Theorem 1.1 Let \mathcal{P} be a monoid presentation. Then \mathcal{P} is efficient if and only if it is pCockcroft for some prime p.
Let ℳ be a monoid with the presentation \mathcal{P}=[X;\mathbf{r}], and let
be the free left \mathbb{Z}\mathcal{M}module with basis \{{e}_{S}:S\in \mathbf{r}\}. For an atomic picture \mathbb{A}=(U,S,\epsilon ,V) (where U,V\in F(\mathbf{x}), S\in \mathbf{r}, \epsilon =\pm 1), we define {eval}^{(l)}(\mathbb{A})=\epsilon \overline{U}{e}_{S}\in {P}^{(l)}, where \overline{U}\in \mathcal{M}(\mathcal{P}). For any spherical monoid picture ℙ, we then define
Let {\lambda}_{\mathbb{P},S} be the coefficient of {e}_{S} in {eval}^{(l)}(\mathbb{P}). So, we can write
Let {I}_{2}^{(l)}(\mathcal{P}) be a twosided ideal of \mathbb{Z}\mathcal{M} generated by the elements {\lambda}_{\mathbb{P},S}, where ℙ is a spherical monoid picture and S\in \mathbf{r}. Then this ideal is called the second Fox ideal of \mathcal{P}. More specifically, for a trivializer Y of \mathcal{D}(\mathcal{P}), the set {I}_{2}^{(l)}(\mathcal{P}) is generated (as twosided ideal) by the elements {\lambda}_{\mathbb{P},S}, where \mathbb{P}\in \mathbf{Y} and S\in \mathbf{r}. We note that all this above material given by the consideration ‘left’ can also be applied to ‘right’ for a monoid ℳ.
The definition and a standard presentation for the semidirect product of two monoids can be found in [10, 11, 14, 16]. Let A and K be arbitrary monoids with associated presentations {\mathcal{P}}_{A}=[X;\mathbf{r}] and {\mathcal{P}}_{K}=[Y;\mathbf{s}], respectively. Let \mathcal{M}=K{\u22ca}_{\theta}A be the corresponding semidirect product of these two monoids, where θ is a monoid homomorphism from A to End(K). (We note that the reader can find some examples of monoid endomorphisms in [17].) The elements of ℳ can be regarded as ordered pairs (a,k) where a\in A, k\in K with multiplication given by (a,k)({a}^{\mathrm{\prime}},{k}^{\mathrm{\prime}})=(a{a}^{\mathrm{\prime}},(k{\theta}_{{a}^{\mathrm{\prime}}}){k}^{\mathrm{\prime}}). The monoids A and K are identified with the submonoids of ℳ having elements (a,1) and (1,k), respectively. We want to define standard presentations for ℳ. For every x\in X and y\in Y, choose a word, which we denote by y{\theta}_{x}, on Y such that [y{\theta}_{x}]=[y]{\theta}_{[x]} as an element of K. To establish notation, let us denote the relation yx=x(y{\theta}_{x}) on X\cup Y by {T}_{yx} and write t for the set of relations {T}_{yx}. Then, for any choice of the words y{\theta}_{x},
is a standard monoid presentation for the semidirect product ℳ.
In [14], a finite trivializer set has been constructed for the standard presentation {\mathcal{P}}_{\mathcal{M}}, as given in (3), for the semidirect product ℳ. We will essentially follow [10] in describing this trivializer set using spherical pictures and certain nonspherical subpictures of these.
If W={y}_{1}{y}_{2}\cdots {y}_{m} is a positive word on Y, then for any x\in X, we denote the word ({y}_{1}{\theta}_{x})({y}_{2}{\theta}_{x})\cdots ({y}_{m}{\theta}_{x}) by W{\theta}_{x}. If U={x}_{1}{x}_{2}\cdots {x}_{n} is a positive word on X, then for any y\in Y, we denote the word (\cdots ((y{\theta}_{{x}_{1}}){\theta}_{{x}_{2}}){\theta}_{{x}_{3}}\cdots ){\theta}_{{x}_{n}} by y{\theta}_{U}, and this can be represented by a monoid picture, say {\mathbb{A}}_{U,y}, as in Figure 2(b). For y\in Y and the relation {R}_{+}={R}_{} in the relation set r, we have two important special cases, {\mathbb{A}}_{{R}_{+},y} and {\mathbb{A}}_{{R}_{},y}, of this consideration. We should note that these nonspherical pictures consist of only {T}_{yx}discs (x\in X). Let S\in \mathbf{s} and x\in X. Since {[{S}_{+}{\theta}_{x}]}_{{\mathcal{P}}_{K}}={[{S}_{}{\theta}_{x}]}_{{\mathcal{P}}_{K}}, there is a nonspherical picture, say {\mathbb{B}}_{S,x}, over {\mathcal{P}}_{K} with \iota ({\mathbb{B}}_{S,x})={S}_{+}{\theta}_{x} and \tau ({\mathbb{B}}_{S,x})={S}_{}{\theta}_{x}. Further, let {R}_{+}={R}_{} be a relation R\in \mathbf{r} and y\in Y. Since θ is a homomorphism, by the definition on y{\theta}_{U}, we have that y{\theta}_{{R}_{+}} and y{\theta}_{{R}_{}} must represent the same element of the monoid K. That is, {[y{\theta}_{{R}_{+}}]}_{{\mathcal{P}}_{K}}={[y{\theta}_{{R}_{}}]}_{{\mathcal{P}}_{K}}. Hence, there is a nonspherical picture over {\mathcal{P}}_{K} which we denote by {\mathbb{C}}_{y,{\theta}_{R}} with \iota ({\mathbb{C}}_{y,{\theta}_{R}})=y{\theta}_{{R}_{+}} and \tau ({\mathbb{C}}_{y,{\theta}_{R}})=y{\theta}_{{R}_{}}. In fact, there may be many different ways to construct the pictures {\mathbb{B}}_{S,x} and {\mathbb{C}}_{y,{\theta}_{R}}. These pictures must exist, but they are not unique. On the other hand, the picture {\mathbb{A}}_{U,y} will depend upon our choices for words y{\theta}_{x}, but this is unique once these choices are made.
After all, for x\in X, y\in Y, R\in \mathbf{r} and S\in \mathbf{s}, one can construct spherical monoid pictures, say {\mathbb{P}}_{S,x} and {\mathbb{P}}_{R,y}, by using the nonspherical pictures {\mathbb{B}}_{S,x}, {\mathbb{A}}_{{R}_{+},y}, {\mathbb{A}}_{{R}_{},y} and {\mathbb{C}}_{y,{\theta}_{R}} (see Figures 2, 3 and 4 for the examples of these pictures). Let {\mathbf{X}}_{\mathbf{A}} and {\mathbf{X}}_{\mathbf{K}} be trivializer sets of \mathcal{D}({\mathcal{P}}_{A}) and \mathcal{D}({\mathcal{P}}_{K}), respectively. Also, let {\mathbf{C}}_{\mathbf{1}}=\{{\mathbb{P}}_{S,x}:S\in \mathbf{s},x\in X\} and {\mathbf{C}}_{\mathbf{2}}=\{{\mathbb{P}}_{R,y}:R\in \mathbf{r},y\in Y\}. Then, by [10, 14], it is known that for a presentation {\mathcal{P}}_{\mathcal{M}}, as in (3), a trivializer set of \mathcal{D}({\mathcal{P}}_{\mathcal{M}}) is {\mathbf{X}}_{\mathcal{M}}={\mathbf{X}}_{\mathbf{A}}\cup {\mathbf{X}}_{\mathbf{K}}\cup {\mathbf{C}}_{\mathbf{1}}\cup {\mathbf{C}}_{\mathbf{2}}.
2 Generators over the semidirect product of finite cyclic monoids
In fact, this is the main section of the paper and it will be given as two subsections under the names of Part I and Part II. Since we will define generating functions by considering the exponent sums of the generating pictures over the presentation of this semidirect product, the first subsection is aimed to define these generating pictures and the related results about them.
2.1 Part I: generating pictures
In this subsection, we will mainly present the efficiency (equivalently, pCockcroft property for a prime p by Theorem 1.1) for the semidirect products of finite cyclic monoids.
Let A and K be two finite cyclic monoids with presentations
respectively, where l,k,\lambda ,\mu \in {\mathbb{Z}}^{+} such that l<k and \lambda <\mu, or equivalently,
Due to [10], a trivializer set {\mathbf{X}}_{\mathbf{K}} (and similarly {\mathbf{X}}_{\mathbf{A}}) of the Squier complex \mathcal{D}({\mathcal{P}}_{K}) (and similarly \mathcal{D}({\mathcal{P}}_{A})) is given by the pictures {\mathbb{P}}_{k,l}^{m} (1\le m\le k1), as in Figure 1.
Let {\psi}_{i} (0\le i\le k1) be an endomorphism of K. Then we have a mapping x\u27f6End(K), x\mapsto {\psi}_{i}. In fact this induces a homomorphism \theta :A\u27f6End(K), x\mapsto {\psi}_{i} if and only if {\psi}_{i}^{\mu}={\psi}_{i}^{\lambda}. Since {\psi}_{i}^{\mu} and {\psi}_{i}^{\lambda} are equal if and only if they agree on the generator y of K, we must have
We then have the semidirect product M=K{\u22ca}_{\theta}A and, by [10], a standard presentation
as in (3), for the monoid M where
In the rest of the paper, we will assume that the equality in Equation (6) holds when we talk about the semidirect product M of K by A.
The subpicture {\mathbb{B}}_{S,x} can be drawn as in Figure 2(a), and in fact, by considering this subpicture, we clearly have
As it is seen in Figure 2(b), we also have the subpicture {\mathbb{A}}_{{R}_{+},y} (and similarly {\mathbb{A}}_{{R}_{},y}) with
and
By equality (6), we must have [{y}^{{i}^{\mu}}]=[{y}^{{i}^{\lambda}}]. Hence, by [10], the subpicture {\mathbb{C}}_{y,{\theta}_{R}} with
can be depicted as in Figure 3.
After all, the whole generating pictures {\mathbb{P}}_{S,x} and {\mathbb{P}}_{R,y} can be drawn as in Figure 4.
The following result states necessary and sufficient conditions for the presentation of the split extension of two finite monogenic monoids to be efficient.
Proposition 2.1 ([18])
Let p be a prime. Suppose that K{\u22ca}_{\theta}A is a monoid with the associated monoid presentation {\mathcal{P}}_{M}, as in (7). Then {\mathcal{P}}_{M} is pCockcroft (equivalently efficient) if and only if
Remark 2.2 To be an example of Proposition 2.1, one can take

k=10, l=6, \mu =4, \lambda =2 or k=6, l=2, \mu =5, \lambda =3 while p=2 and i=3 to get 2Cockcroft property for the presentation {\mathcal{P}}_{M} in (7), or more generally

for any prime p, k=(p+1)[\frac{{(p+1)}^{p}1}{p}]+1, l=1, \mu =p+1=i and \lambda =1 to get pCockcroft property for the presentation {\mathcal{P}}_{M} in (7).
Considering Theorem 1.1, one can say that the monoid presentation {\mathcal{P}}_{M}, as in (7), is efficient if and only if there is a prime p such that
In particular, if we choose {exp}_{S}({\mathbb{B}}_{S,x})=i=0 or 2, then {\mathcal{P}}_{M} will be inefficient.
Recall that, by the meaning of finite cyclic monoids, {exp}_{y}(S)=kl cannot be equal to 0. We also note that a similar proof for the following result about minimal but inefficiency of {\mathcal{P}}_{M} can be found in [18].
Proposition 2.3 Let M be the semidirect product of K by A, and let {\mathcal{P}}_{M}, as in (7), be the presentation for M where l,k,\lambda ,\mu ,i\in {\mathbb{Z}}^{+} and l<k, \lambda <\mu. If i=2 and the subtraction kl is not even and not equal to 1, then {\mathcal{P}}_{M} is minimal but inefficient.
Remark 2.4 To be an example of Proposition 2.3, we can consider the following:

For an odd positive integer t, one can take k=4t, l=t, \mu =3t, \lambda =t and i=2 in the presentation given in (7). Since kl=3t\ne 2n (n\in {\mathbb{Z}}^{+}), the presentation is minimal but inefficient.

For all s,t\in {\mathbb{Z}}^{+} such that s<t, one can take k=2t+1, l=2s, \mu =kl, \lambda =1 and i=2 in the presentation given in (7). Since kl=2(ts)+1\ne 2n (n\in {\mathbb{Z}}^{+}), the presentation is minimal while it is inefficient.
2.2 Part II: generating functions
By considering the pictures defined in the previous section and also the evaluations obtained from them, we will define the related generating functions. In another words, by taking into account Propositions 2.1 and 2.3, we will reach our main aim over monoids of this paper.
We firstly recall that, as noted in [[4], Remark 1.1], if a monoid presentation satisfies efficiency or inefficiency (while it is minimal), then it always has a minimal number of generators. Working with the minimal number of elements gives a great opportunity to define related generating functions over this presentation. This will be one of the key points in our results.
Our first result of this section is related to the connection of the monoid presentation in (7) with array polynomials. In fact array polynomials {S}_{a}^{n}(x) are defined by means of the generating function
(cf. [19–21]). According to the same references, array polynomials can also be defined as the form
Since the coefficients of array polynomials are integers, they find very large application area, especially in system control (cf. [22]). In fact, these integer coefficients give us the opportunity to use these polynomials in our case. We should note that there also exist some other polynomials, namely Dickson, Bell, Abel, MittagLeffler etc., which have integer coefficients which will not be handled in this paper.
From (5), we know that \mu =\lambda +r, where 1\le r\le \mu 1. Hence, by considering the meaning and conditions of Proposition 2.1, we obtain the following theorem as one of the main results of this paper.
Theorem 2.5 The efficient presentation {\mathcal{P}}_{M} defined in (7) has a set of generating functions
where {S}_{a}^{n}(x) and {S}_{a}^{n}(y) are defined as in (8).
Proof Let us consider the generating pictures {\mathbb{P}}_{S,x}, {\mathbb{P}}_{R,y} (in Figure 4) with their nonspherical subpictures defined in Figures 2 and 3, and the generating pictures of finite monogenic monoids defined in Figure 1. Recall that by counting the exponent sums of the discs R, S and {T}_{yx} in the related pictures, the conditions of Proposition 2.1 have been obtained [18]. (For more similar results and applications, one can see the papers [10, 11].)
To reach our aim in the proof, we first need to calculate {eval}^{(l)}({\mathbb{P}}_{S,x}), {eval}^{(l)}({\mathbb{P}}_{R,y}), {eval}^{(l)}({\mathbb{P}}_{k,l}^{m}) (1\le m\le k1) and {eval}^{(l)}({\mathbb{P}}_{\lambda +r,\lambda}^{n}) (1\le n\le (\lambda +r)1). By Equations (1) and (2), we have
where \frac{\partial}{\partial y} denotes the Fox derivation [23]. Also, for each 1\le m\le k1 and 1\le n\le (\lambda +r)1,
Therefore, by the definition, the second Fox ideal {I}_{2}^{(l)}({\mathcal{P}}_{M}) of the presentation {\mathcal{P}}_{M} in (7) is generated by the polynomial elements
We need to keep our calculations going to other evaluations in the above polynomial elements. To do that, one can consider the augmentation map aug:\mathbb{Z}M\u27f6\mathbb{Z}, b\mapsto 1. Under this map, it is easy to see that
and for each 1\le m\le k1 and 1\le n\le (\lambda +r)1,
Now, by using (8) and keeping in our mind the coefficients of array polynomials are integer, we clearly have
Then, by reformulating the elements in (10) and (11) of the second Fox ideal {I}_{2}^{(l)}({\mathcal{P}}_{M}), we arrive at the functions in (9) as desired. □
Considering Remark 2.2, we obtain the following corollary as a consequence of Theorem 2.5.
Corollary 2.6 For any prime p, the presentation
has a set of generating functions
In Proposition 2.3, the minimality (while satisfying inefficiency) of the presentation {\mathcal{P}}_{M} was expressed in (7). Thus, by considering the meaning and conditions of Proposition 2.3, we obtain the following theorem as another main result of this paper. Since the proof is quite similar to the proof of Theorem 2.5, we omit it.
Theorem 2.7 The inefficient but minimal presentation {\mathcal{P}}_{M} defined in (7) has a set of generating functions
where kl is an odd integer and {S}_{a}^{n}(x) and {S}_{a}^{n}(y) are defined as in (8).
By considering Remark 2.4, we can have the following consequences of Theorem 2.7.
Corollary 2.8 For an odd positive integer t, the presentation
has a set of generating functions
Corollary 2.9 For any positive integers s and t with the condition s<t, the presentation
has a set of generating functions
Remark 2.10 Since both presentations in Propositions 2.1 and 2.3 have the minimal number of generators because of their efficiency or inefficiency (but minimal) status, this situation affected very positively the number and type of generating functions defined on them.
At this point, we should note that for {t}_{1}\ne {t}_{2}\in {\mathbb{R}}^{+}, \gamma \in \mathbb{C}, a\in {\mathbb{N}}_{0}, generalized array type polynomials {\mathcal{S}}_{a}^{n}(x;{t}_{1},{t}_{2};\gamma ) related to the nonnegative real parameters have been recently developed (in [20]) and some elementary properties including recurrence relations of these polynomials have been derived. In fact, by setting {t}_{1}=\gamma =1 and {t}_{2}=e, Equation (8) is obtained.
Remark 2.11 For a future project, one can study the generalization of Theorems 2.5 and 2.7 by using {\mathcal{S}}_{a}^{n}(x;{t}_{1},{t}_{2};\gamma ).
The remaining goal of this section is to make a connection between the presentation {\mathcal{P}}_{M} in (7) and Stirling numbers of the second kind (cf. [20, 24–28] and the references of these papers). In fact, Stirling numbers of the second kind S(n,a) are defined by means of the generating function
(see [27, 28]). According to [[20], Theorem 1, Remark 2], Stirling numbers can also be defined as the form
We remind that these numbers satisfy the wellknown properties
where {\delta}_{n,0} denotes the Kronecker symbol (see [27, 28]). It is known that Stirling numbers are used in combinatorics, in number theory, in discrete probability distributions for finding higherorder moments, etc. We finally note that since S(n,a) is the number of ways to partition a set of n objects into k groups, these numbers find an application area in combinatorics and in theory of partitions.
In addition to the above formulas, for S(n,a), by [20, 26, 27], we also have
as a formula for Stirling numbers. Therefore, by taking n=1 and n=0 in Equation (12), the polynomial elements of the second Fox ideal {I}_{2}^{(l)}({\mathcal{P}}_{M}) of the presentation {\mathcal{P}}_{M} in (7) can be restated as follows:
After that, as a different version of Theorem 2.5 (and so Theorem 2.7), we present the following result.
Theorem 2.12 The efficient presentation {\mathcal{P}}_{M} in (7) has a set of generating functions in terms of Stirling numbers as given in (13). By taking i=2 and kl is an odd positive integer, we get a set of generating functions in terms of Stirling numbers for the inefficient but minimal presentation of the form as defined in (7).
Furthermore, in a recent work, Simsek [20] has constructed the generalized γStirling numbers of the second kind \mathcal{S}(n,v;a,b;\gamma ) related to nonnegative real parameters (a,b\in {\mathbb{R}}^{+}, a\ne b, a complex number γ and v\in {\mathbb{N}}_{0}). In fact, this new generalization is defined by the generating function as the equality
By setting a=1 and b=e in (14), one can obtain the γStirling numbers of the second kind S(n,v;\gamma ) which are defined by the generating function
(see [27, 28]). According to the same references, by substituting \gamma =1 into the above equation, the Stirling numbers of the second kind S(n,v) are obtained.
By considering this new generalization \mathcal{S}(n,v;a,b;\gamma ), in [[20], Theorem 1], the equality
has also been obtained for γStirling numbers of the second kind. In fact, by setting a=1 and b=e in (15), one can get the following equality on γStirling numbers:
Hence, we can present the following note.
Remark 2.13 It is clearly seen that Stirling numbers have been only considered in Theorems 2.5 and 2.7 (and the corollaries about them). However, one can also study the γStirling numbers S(n,v;\gamma ) defined in (16) and generalized γStirling numbers \mathcal{S}(n,v;a,b;\gamma ) defined in (15) to obtain different types of generating functions.
3 The constant function related to main results
In Theorems 2.5, 2.7 and 2.12, we have actually used
as the constants of defined generating functions. In this section, by representing these constants as a single function (see Equation (17) below), we investigate some new properties over it.
Hence, let us consider the analytic function
where z\in \mathbb{C} and r,\lambda ,k,l\in {\mathbb{Z}}^{+}. To reach our aim, let us first replace the complex element z by a positive integer i in (17), and then apply some fundamental algebraic progress to it. Therefore,
where {\varphi}_{r1}(i) is a cyclotomic polynomial having degree r1. By considering finite powers of the function f(z,r,\lambda ,k,l) given in (17), we can get
which is actually mtimes algebraic multiplication of the function f.
Now, if we replace z by {e}^{t}, then we get
Further, by applying the Cauchy multiplication in (21), we finally obtain
All these above processes imply the following result.
Theorem 3.1
where
and S(a,m) denotes the Stirling numbers of second kind.
Some properties of the function Y(z)={[f(z,r,\lambda ,k,l)]}^{m} in (19) can be expressed as follows:

If z\in \mathbb{C}, then Y(z) is an analytic function, and then it has a power series as defined in the above theorem with Equation (22).

If z\in \mathbb{R}, then Y(z) is a continuous function which is actually a polynomial function having degree \lambda +r.

If we replace z by {e}^{t} in (19), we obtain the second kind Stirling numbers.
Remark 3.2 Setting m=1 in (22), one can easily see that
since S(n,1)=1.
By considering [[20], Eq. (3.2)] and Equation (20), we can extend Remark 3.2 to a general natural number m>1 as in the following theorem.
Theorem 3.3
where {\mathcal{S}}_{m}^{n}(m\lambda ) denotes the array polynomials.
As it was seen, only the function defined in (18) itself is enough to represent almost all the conditions in Propositions 2.1 and 2.3. Thus, we can express the following remark which depicts some new studying areas for a future project.
Remark 3.4

If we replace z by i, then we can study the changes on the generating pictures defined in Figures 1, 2, 3 and 4. By playing on this function, one can hope to apply some operations (as defined in [7, 8]) on the pictures, and so it could happen to represent these algebraic operations by generating functions to obtain efficiency or inefficiency (while minimality holds).

While z\in \mathbb{C} and z\in \mathbb{R}, analytic and functional equations can be studied.

As we have partially done in the above, replacing z by {e}^{t}, one can study the generating functions of array polynomials and Stirling numbers.
3.1 Some other properties over this constant
Let us consider the first derivation of the function in (17). We then have
or equivalently,
In (23), replacing z by i, we get
and then by using (18), we have
As the next step, let us calculate the second derivative of f(z,r,\lambda ,k,l):
and by collecting some terms in brackets, we get
Now, using (24), the second derivative of the function f(z,r,\lambda ,k,l) will be equal to
Replacing z by i in (25) and using (18), we obtain
By iterating these above derivations for the variable z, and then replacing z by i, we finally obtain
where \mathcal{A} stands for some constants.
This above theory is related to the functional equations. In fact, these above progresses show that the presentation {\mathcal{P}}_{M} in (7) can be related to the functional equations.
References
Stillwell J Graduate Texts in Mathematics 72. In Classical Topology and Combinatorial Group Theory. Springer, Berlin; 1980.
Birkhoff GD, Lewis D: Chromatic polynomials. Trans. Am. Math. Soc. 1946, 60: 355–451.
Cardoso DM, Silva ME, Szymanski J: A generalization of chromatic polynomial of a graph subdivision. J. Math. Sci. 2012, 183(2):246–254.
Cangul, IN, Cevik, AS, Simsek, Y: A new approach to connect algebra with analysis: relationships and applications between presentations and generating functions. Bound. Value Probl. (accepted)
Howie JM: Fundamentals of Semigroup Theory. Clarendon, New York; 1995.
Guba V, Sapir M: Diagram Groups. Am. Math. Soc., Providence; 1997.
Pride SJ: Geometric methods in combinatorial semigroup theory. In Semigroups, Formal Languages and Groups. Edited by: Fountain J. Kluwer Academic, Dordrecht; 1995:215–232.
Pride SJ: Lowdimensional homotopy theory for monoids. Int. J. Algebra Comput. 1995, 5(6):631–649. 10.1142/S0218196795000252
Squier CC: Word problems and a homological finiteness condition for monoids. J. Pure Appl. Algebra 1987, 49: 201–216. 10.1016/00224049(87)901290
Cevik AS: The p Cockcroft property of the semidirect products of monoids. Int. J. Algebra Comput. 2003, 13(1):1–16. 10.1142/S0218196703001298
Cevik AS: Minimal but inefficient presentations of the semidirect products of some monoids. Semigroup Forum 2003, 66: 1–17.
Cremanns R, Otto F:Finite derivation type implies the homological finiteness condition F{P}_{3}. J. Symb. Comput. 1994, 18: 91–112. 10.1006/jsco.1994.1039
Ivanov SV: Relation modules and relation bimodules of groups, semigroups and associative algebras. Int. J. Algebra Comput. 1991, 1: 89–114. 10.1142/S0218196791000055
Wang J: Finite derivation type for semidirect products of monoids. Theor. Comput. Sci. 1998, 191(1–2):219–228. 10.1016/S03043975(97)001643
Epstein DBA: Finite presentations of groups and 3manifolds. Q. J. Math. 1961, 12: 205–212. 10.1093/qmath/12.1.205
Saito T: Orthodox semidirect products and wreath products of monoids. Semigroup Forum 1989, 38: 347–354. 10.1007/BF02573242
Dlab V, Neumann BH: Semigroups with few endomorphisms. J. Aust. Math. Soc. A 1969, 10: 162–168. 10.1017/S1446788700006996
Ates F, Cevik AS: Minimal but inefficient presentations for semidirect products of finite cyclic monoids. London Mathematical Society Lecture Note Series 339. Groups St. Andrews 2005, Volume 1 2007, 170–185.
Chang CH, Ha CW: A multiplication theorem for the Lerch zeta function and explicit representations of the Bernoulli and Euler polynomials. J. Math. Anal. Appl. 2006, 315: 758–767. 10.1016/j.jmaa.2005.08.013
Simsek, Y: Generating functions for generalized Stirling type numbers, array type polynomials, Eulerian type polynomials and their applications. arXiv:1111.3848v2 [math.NT] 23 Nov 2011
Simsek Y: Interpolation function of generalized q Bernstein type polynomials and their application. Lecture Notes in Computer Science 6920. In Curves and Surfaces. Springer, Berlin; 2011:647–662.
Mismar MJ, AbuAlNadi DI, Ismail TH: Pattern synthesis with phaseonly control using array polynomial technique. IEEE International Conference on Signal Processing and Communications (ICSPC 2007) 2007, Dubai, UAE, 2427 November 2007.
Brown KS Graduate Text in Mathematics 87. In Cohomology of Groups. Springer, Berlin; 1982.
Agoh T, Dilcher K: Shortened recurrence relations for Bernoulli numbers. Discrete Math. 2009, 309: 887–898. 10.1016/j.disc.2008.01.030
Carlitz L: Some numbers related to the Stirling numbers of the first and second kind. Univ. Beograd Publ. Elektrotehn. Fak. Ser. Mat. Fiz. 1976, 544–576: 49–55.
Kim T: q Volkenborn integration. Russ. J. Math. Phys. 2002, 19: 288–299.
Luo QM, Srivastava HM: Some generalizations of the ApostolGenocchi polynomials and the Stirling numbers of the second kind. Appl. Math. Comput. 2011, 217: 5702–5728. 10.1016/j.amc.2010.12.048
Srivastava HM: Some generalizations and basic (or q ) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Inf. Sci. 2011, 5: 390–444.
Acknowledgements
All authors are partially supported by Research Project Offices of Uludağ, Selçuk and Akdeniz Universities, and TUBITAK (The Scientific and Technological Research Council of Turkey).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors completed the paper together. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Çevik, A.S., Cangül, I.N. & Şimşek, Y. Analysis approach to finite monoids. Fixed Point Theory Appl 2013, 15 (2013). https://doi.org/10.1186/16871812201315
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871812201315