 Research
 Open access
 Published:
A new approach to connect algebra with analysis: relationships and applications between presentations and generating functions
Boundary Value Problems volume 2013, Article number: 51 (2013)
Abstract
For a minimal group (or monoid) presentation \mathcal{P}, let us suppose that \mathcal{P} satisfies the algebraic property of either being efficient or inefficient. Then one can investigate whether some generating functions can be applied to it and study what kind of new properties can be obtained by considering special generating functions. To establish that, we will use the presentations of infinite group and monoid examples, namely the split extensions {\mathbb{Z}}_{n}\u22ca\mathbb{Z} and {\mathbb{Z}}^{2}\u22ca\mathbb{Z}, respectively. This study will give an opportunity to make a new classification of infinite groups and monoids by using generating functions.
MSC:11B68, 11S40, 12D10, 20M05, 20M50, 26C05, 26C10.
1 Introduction and preliminaries
In the literature, although there are so many studies about figuring out the relationship between rings (or fields) and special generating functions (cf., for instance, [1–4]), there are no such studies about the relationship between group (or monoid) presentations and generating functions. In fact, the studies on the efficient and inefficient (but minimal) group and monoid presentations gave very important characterisations for groups and monoids in the branch of combinatorial group theory of mathematics (see, for instance, [5–12]). It is known that generating functions are still interesting for many mathematicians and physicians (see, for instance, [2, 13, 14] in addition to above). Thus, it would be quite interesting for future studies to connect these two important areas and then search for possible properties.
In the light of this thought, in this paper, a connection between special (efficient and inefficient) presentations defined on infinite groups (and monoids) and some generating functions related to the special polynomials and numbers will be investigated. (These special polynomials are chosen by their integer coefficients. Of course, one can choose some other polynomials used in this paper.) Another aim of this paper is to try to make a classification of infinite groups and monoids.
This paper is divided into four sections. Main results are presented specially in Sections 2 and 3. In the remaining parts of this section, we will present some fundamental material related to the group or monoid presentations that will be needed in later sections of this paper.
A group (or a monoid) presentation
is a pair where x is a set (generating symbols) and r is a set of nonempty, cyclically reduced words (relators) on x. In monoids, each R\in \mathbf{r} is actually an ordered pair ({R}_{+},{R}_{}), where {R}_{+} and {R}_{} are distinct, positive (one of them could be empty) words on x. We say that \mathcal{P} is finite if x and r are both finite. Further, all results in this paper are related to split extensions and their presentations. In [15], a split extension is also named a semidirect product and detailed properties of this product can be found in elementary algebra textbooks. Here, we will just remind the presentation of a semidirect product of arbitrary groups (or monoids). Therefore, for arbitrary groups (or monoids) A and K with presentations {\mathcal{P}}_{A}=\u3008\mathbf{x};\mathbf{r}\u3009 and {\mathcal{P}}_{K}=\u3008\mathbf{y};\mathbf{s}\u3009, the presentation of the group (or monoid) K{\u22ca}_{\theta}A is defined by
where t is the set of relators of the form
for all x\in \mathbf{x} and y\in \mathbf{y} (cf. [8, 9]). We remind that the homomorphism θ is defined from A to Aut(K) for the semidirect product of groups, while it is defined from A to End(K) for the product of monoids. Further, {\theta}_{x} is an isomorphism of the group K and a homomorphism in a monoid case.
In the next two subsections, we will give some other preliminary material that will be needed for the construction of the results in this paper by considering the presentation \mathcal{P} in (1).
1.1 Efficiency
The subject under this title will be given over a group G with a presentation \mathcal{P} as defined in (1). But we should note that the following material will be completely the same if the group G is replaced by a monoid M.
For the presentation \mathcal{P}, the Euler characteristic is defined by \chi (\mathcal{P})=1\mathbf{x}+\mathbf{r}. By [16–18], there exists a lower bound \delta (G) which is equal to 1r{k}_{\mathbb{Z}}({H}_{1}(G))+d({H}_{2}(G)) with the condition \delta (G)\le \chi (\mathcal{P}), where rk(\cdot ) denotes the ℤrank of the torsionfree part and d(\cdot ) denotes the minimal number of generators. Depending on these numbers, we define
Therefore a presentation \mathcal{P} is called minimal if \chi (\mathcal{P})\u2a7d\chi ({\mathcal{P}}^{\mathrm{\prime}}) for all presentations {\mathcal{P}}^{\mathrm{\prime}} of G, or is called efficient if \chi (\mathcal{P})=\delta (G). Moreover, G is called efficient if \chi (G)=\delta (G). In [7, 8], Cevik recalled known results for efficiency of groups and monoids. (We should remark that some authors also consider \mathbf{x}+\mathbf{r} and call this the deficiency of the presentation \mathcal{P}.)
Remark 1 In both group and monoid cases, if the presentation \mathcal{P} in (1) is efficient or inefficient while it is minimal, then it always has a minimal number of generators. So, this fact affects positively the use of generating functions for this type of presentations since we have a great advantage to work with quite a limited number of variables in such a generating function.
1.2 Pictures
There exists a geometric method called spherical group (or monoid) pictures related to the presentation \mathcal{P} given in (1). This method was constructed and first used by Pride [6, 17–20] for both groups and monoids, and since then it has still been in use for the solution of many important combinatorial problems such as word problems (cf. [21, 22]). Here, we will recall a brief description of pictures for groups and monoids in separate cases. Before that, we express the following remark.
Remark 2 Similarly to (undirected) graphs, this geometric configuration has a large application area, especially in engineering sciences. For example, the plan of electrical network for a city or the behaviour of DNA molecules in a human body can be figured out with pictures (see Figures 1, 2 and 3).
Pictures for groups: As we depicted in Remark 2, a group picture ℙ over \mathcal{P} is a geometric configuration consisting of the following:

A disc {D}^{2} with a basepoint O on the boundary \partial {D}^{2} of {D}^{2}.

Disjoint discs {\mathrm{\Delta}}_{1},{\mathrm{\Delta}}_{2},\dots ,{\mathrm{\Delta}}_{n} in the interior of {D}^{2}. Each {\mathrm{\Delta}}_{i} has a basepoint {O}_{i} on the boundary \partial {\mathrm{\Delta}}_{i} of {\mathrm{\Delta}}_{i}.

A finite number of disjoint arcs {\alpha}_{1},{\alpha}_{2},\dots ,{\alpha}_{m}, where each arc lies in the closure of {D}^{2}{\bigcup}_{i=1}^{n}{\mathrm{\Delta}}_{i} and is either a simple closed curve having trivial intersection with \partial {D}^{2}\cup \partial {\mathrm{\Delta}}_{1}\cup \partial {\mathrm{\Delta}}_{2}\cup \cdots \cup \partial {\mathrm{\Delta}}_{n}, or is a simple nonclosed curve which joins two points of \partial {D}^{2}\cup \partial {\mathrm{\Delta}}_{1}\cup \partial {\mathrm{\Delta}}_{2}\cup \cdots \cup \partial {\mathrm{\Delta}}_{n}, neither point being a basepoint. Each arc has a normal orientation indicated by a short arrow meeting with the arc transversely and is labelled by an element of \mathbf{x}\cup {\mathbf{x}}^{1} which is called the label of the arc.

If we travel around \partial {\mathrm{\Delta}}_{i} once in the clockwise direction starting from {O}_{i} and read off the labels on arcs encountered (if we cross an arc, labelled x say, in the direction of its normal orientation, then we read x, whereas if we cross the arc in the direction of its opposite orientation, then we read {x}^{1}), then we obtain a word which belongs to \mathbf{r}\cup {\mathbf{r}}^{1}. We call this word the label of {\mathrm{\Delta}}_{i}. If s is a subset of r, then a disc labelled by an element of \mathbf{s}\cup {\mathbf{s}}^{1} is called an sdisc.
When we refer to the discs of ℙ, we in fact mean the discs {\mathrm{\Delta}}_{1},{\mathrm{\Delta}}_{2},\dots ,{\mathrm{\Delta}}_{n}, and not the ambient disc {D}^{2}. A closed arc which encircles neither a disc nor an arc of ℙ is called a floating circle. We define \partial \mathbb{P} to be \partial {D}^{2}. The label on ℙ (denoted by W(\mathbb{P})) is the word read off by travelling around \partial \mathbb{P} once in the clockwise direction starting from O. (In fact, this fact on pictures implies the fundamentals of solving the word problem [21, 22].)
Further, ℙ is called spherical if no arcs meet \partial \mathbb{P} (i.e. if ℙ is spherical, then \partial \mathbb{P} is omitted). A transverse path γ in a picture ℙ is a path in the closure of {D}^{2}{\bigcup}_{i=1}^{n}{\mathrm{\Delta}}_{i} which intersects the arcs of ℙ only finitely many times. Reading off the labels on the arcs encountered while travelling along a transverse path from its initial point to its terminal point gives a word on x denoted by W(\gamma ). Let γ be a simple closed transverse path in ℙ. The part of ℙ enclosed by γ is called a subpicture of ℙ. If γ intersects no arcs, then the part of ℙ enclosed by γ is called a spherical subpicture of ℙ. A cancelling pair in ℙ is a spherical subpicture with exactly two discs whose basepoints lie in the same region.
A spray for ℙ is a sequence \underline{\gamma}=({\gamma}_{1},{\gamma}_{2},\dots ,{\gamma}_{n}) of simple transverse paths satisfying the following: for i=1,2,\dots ,n, {\gamma}_{i} starts at O and ends at the basepoint of {\mathrm{\Delta}}_{i}, for 1\u2a7di<j\u2a7dn, {\gamma}_{i} and {\gamma}_{j} intersect only at O; travelling around O clockwise in ℙ, we encounter these transverse paths {\gamma}_{1},{\gamma}_{2},\dots ,{\gamma}_{n}, respectively.
There are some elementary operations (deletion and insertion of a floating circle, deletion and insertion of a cancelling pair, bridge move) on spherical pictures. Then two spherical pictures are called equivalent if one can be obtained from the other by a finite number of above operations. These operations imply an equivalence relation and the equivalence class containing ℙ which is denoted by \u3008\mathbb{P}\u3009. The set of all equivalence classes of spherical pictures over \mathcal{P} forms an abelian group. In addition, for a word W on x, a new spherical picture over \mathcal{P} denoted by {\mathbb{P}}^{W} can also be obtained from W by surrounding ℙ with a collection of concentric arcs with total label W. Hence, there is a welldefined G(\mathcal{P})action on equivalence classes of spherical pictures given by \overline{W}\cdot \u3008\mathbb{P}\u3009=\u3008{\mathbb{P}}^{W}\u3009 (where \overline{W}\in G(\mathcal{P})). We then obtain a \mathbb{Z}G(\mathcal{P})module {\pi}_{2}(\mathcal{P}) called the second homotopy module of \mathcal{P}. Let X be a set of spherical pictures. Then we say that X generates {\pi}_{2}(\mathcal{P}) (or X is a set of generating pictures) if the elements \u3008\mathbb{P}\u3009 (where \mathbb{P}\in \mathbf{X}) generate {\pi}_{2}(\mathcal{P}).
For any picture ℙ over \mathcal{P} and for any R\in \mathbf{r}, the exponent sum of R in ℙ, denoted by {exp}_{R}(\mathbb{P}), is the number of discs of ℙ labelled by R minus the number of discs labelled by {R}^{1}. We remind that if pictures {\mathbb{P}}_{1} and {\mathbb{P}}_{2} are equivalent, then {exp}_{R}({\mathbb{P}}_{1})={exp}_{R}({\mathbb{P}}_{2}) for all R\in \mathbf{r}. Depending on the exponent sum, we have the following definition.
Definition 1 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}. Moreover, a group G is said to be nCockcroft if it admits an nCockcroft presentation.
Actually, to verify that the nCockcroft property holds, it is enough to check it only for pictures \mathbb{P}\in \mathbf{X}, where X is a set of generating pictures. Also, the 0Cockcroft property is usually just called Cockcroft, and in practice, n is taken as a prime p or 0. By [16, 19], the presentation \mathcal{P} is efficient if and only if it is pCockcroft for some prime p. So, this connection between efficiency and pCockcroft property will be one of the main ideas during the construction of this paper.
There is an embedding μ of {\pi}_{2}(\mathcal{P}) into the free module {\u2a01}_{R\in \mathbf{r}}\mathbb{Z}G(\mathcal{P}){e}_{R} defined as follows (see [6, 19]): Let \u3008\mathbb{P}\u3009\in {\pi}_{2}(\mathcal{P}) and suppose that ℙ has discs {\mathrm{\Delta}}_{1},{\mathrm{\Delta}}_{2},\dots ,{\mathrm{\Delta}}_{n} with the labels {R}_{1}^{{\epsilon}_{1}},{R}_{2}^{{\epsilon}_{2}},\dots ,{R}_{n}^{{\epsilon}_{n}}, respectively ({R}_{i}\in \mathbf{r}, {\epsilon}_{i}=\pm 1, i=1,2,\dots ,n). Let \underline{\gamma}=({\gamma}_{1},\dots ,{\gamma}_{n}) be a spray defined previously. Then
For simplicity, the notation \mu (\mathbb{P}) will be preferred instead of \mu (\u3008\mathbb{P}\u3009). For each spherical picture ℙ over \mathcal{P} and for each R\in \mathbf{r}, let {\lambda}_{\mathbb{P},R} be the coefficients of {e}_{R} in \mu (\mathbb{P}). Let {I}_{2}(\mathcal{P}) be the twosided ideal in \mathbb{Z}G generated by the set \{{\lambda}_{\mathbb{P},R}:\mathbb{P}\text{is a spherical picture,}R\in \mathbf{r}\}. This ideal is called the second Fox ideal of \mathcal{P}. The concept of Fox ideals has been discussed in [23]. In fact, we need this concept for our studies in this paper as our main goal in this paper is to establish a relationship between generating functions and presentations. For the group case in Section 2, the generating functions will be labelled by {\epsilon}_{i}\overline{W({\gamma}_{i})} defined in (3).
Pictures for monoids. As we pointed out in the beginning of this section, some of the following material may also be found in [11, 17, 18, 20]. For a monoid M, let \mathcal{P} be a monoid presentation as in (1); and let F(\mathbf{x}) be a free monoid on x. If we have an element W=U{S}_{\epsilon}V (where U,V\in F(\mathbf{x}), S\in \mathbf{r}, \epsilon =\pm 1) of F(\mathbf{x}), then we can replace {S}_{\epsilon} by {S}_{\epsilon} to get a word {W}^{\mathrm{\prime}}=U{S}_{\epsilon}V. This can be represented by a geometric object called an atomic (monoid) picture \mathbb{A}=(U,S,\epsilon ,V) as depicted in Figure 4.
We remark that the disc labelled by S in an atomic picture \mathbb{A} is said to be positive if \epsilon =1 and is said to be negative if \epsilon =1.
We have a graph Γ (=\mathrm{\Gamma}(\mathcal{P})) associated with \mathcal{P}, called the Squier graph, which is defined as follows: The vertex set is F(\mathbf{x}), and the edge set is the collection of all atomic monoid pictures. For an orientation of Γ, we will take all edges (U,S,+1,V). For an atomic picture \mathbb{A}, as in Figure 4, the word we read off by travelling along the top of the atomic picture from left to right gives the initial function, denoted by \iota (\mathbb{A})=U{S}_{\epsilon}V, and the word we read off by travelling along the bottom gives the terminal function, denoted by \tau (\mathbb{A})=U{S}_{\epsilon}V. Also, the mirror image of \mathbb{A} is denoted by {\mathbb{A}}^{1}=(U,S,\epsilon ,V). A path \mathbb{P}={\mathbb{A}}_{1}{\mathbb{A}}_{2}\cdots {\mathbb{A}}_{n} (where each {\mathbb{A}}_{i} is an atomic picture for i=1,2,\dots ,n) in Γ will also be called a monoid picture over \mathcal{P}. If \iota ({\mathbb{A}}_{1})=\tau ({\mathbb{A}}_{n}), then ℙ is called a spherical monoid picture over \mathcal{P}. Note that we also have the term subpicture of monoid pictures.
There is a left action of F(\mathbf{x}) on Γ defined as follows. Let C\in F(\mathbf{x}).

(i)
Let W be a vertex of Γ. Then we define CW to be C\cdot W (product in F(\mathbf{x})).

(ii)
Let \mathbb{A}, as in Figure 4, be an edge of Γ. Then C\cdot \mathbb{A}=(CU,S,\epsilon ,V).
We can define a similar right action of F(\mathbf{x}) on Γ. The left and right actions of F(\mathbf{x}) on Γ extend to actions on pictures. That is, if ℙ is a picture and W,V\in F(\mathbf{x}), then W\cdot \mathbb{P}\cdot V=(W\cdot {\mathbb{A}}_{1}\cdot V)(W\cdot {\mathbb{A}}_{2}\cdot V)\cdots (W\cdot {\mathbb{A}}_{n}\cdot V).
For atomic monoid pictures \mathbb{A} and \mathbb{B}, one can introduce some operations (deletion and insertion of inverse pairs of atomic pictures and a replacement operation (cf. [17, 18])) on spherical monoid pictures. These operations imply an equivalence relation on paths. Therefore the graph Γ with this equivalence relation on paths is called the Squier complex of \mathcal{P} denoted by \mathcal{D}(\mathcal{P}). Let Y be a set of spherical monoid pictures. Two spherical monoid pictures will be said to be equivalent (relative to Y) if one can be transformed into the other by a finite number of above operations. By [20], the set Y is called a trivializer of \mathcal{D}(\mathcal{P}) if every spherical picture is equivalent to an empty picture (relative to Y). Some examples and the details of the trivializer can be found, for instance, in [11, 12]. Similarly as in the group case, for any monoid picture ℙ over \mathcal{P} and for any S\in \mathbf{r}, the exponent sum of S in ℙ is the number of positive discs labelled by S minus the number of negative discs labelled by S. Then the monoid version of Definition 1 can be obtained in completely the same way by replacing the term group with monoid. To verify that the nCockcroft (in fact n is taken as a prime p or 0) property holds, it is enough to check it for pictures \mathbb{P}\in \mathbf{Y}, where Y is a trivializer of \mathcal{D}(\mathcal{P}).
Let M be a monoid with the presentation \mathcal{P} as in (1). Let
be a free left \mathbb{Z}Mmodule with basis \{{e}_{S}:S\in \mathbf{r}\}. For an atomic picture \mathbb{A}=(U,S,\epsilon ,V) with 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 M(\mathcal{P}) as in Figure 4. For any spherical monoid picture ℙ, we 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 the twosided ideal of \mathbb{Z}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 with the consideration ‘left’ can also be applied to ‘right’ for a monoid M.
In Section 3, the generating functions will be connected to the {\sum}_{i=1}^{n}\epsilon \overline{{U}_{i}} part in (4) or, equivalently, to the {\lambda}_{\mathbb{P},S} in (5).
2 The group case {\mathbb{Z}}_{n}{\u22ca}_{{\theta}_{1}}\mathbb{Z}
Let us consider the split extension G={\mathbb{Z}}_{n}{\u22ca}_{{\theta}_{1}}\mathbb{Z}, where \mathbb{Z}=\u3008b\u3009 is the a group with rank one, {\mathbb{Z}}_{n}=\u3008a\u3009 is a cyclic group of order n and {\theta}_{1}:\mathbb{Z}\to Aut({\mathbb{Z}}_{n}) is a homomorphism. Then, by (2), G has the presentation
where k\in {\mathbb{Z}}^{+}, gcd(k,n)=1 and k<n. In [[24], Theorem 3.2.1], the generating set of the second homotopy module {\pi}_{2}({\mathcal{P}}_{G}) has been constructed as drawn in Figure 1. In this generating set, there are two spherical pictures {\mathbb{P}}_{1} and {\mathbb{P}}_{2}. In {\mathbb{P}}_{1}, we have two {a}^{n}discs (one of them is positive and the other is negative), and in {\mathbb{P}}_{2} we have a negative {a}^{n}disc and ktimes positive {a}^{n}discs. Furthermore, again in {\mathbb{P}}_{2}, there is a total of ntimes ab{a}^{k}{b}^{1}discs. Then, by considering the number of discs in these pictures, Baik [[24], Theorem 3.3.3] proved the following result.
Proposition 1 The presentation {\mathcal{P}}_{G} in (6) is efficient (equivalently, pCockcroft for any prime p) if and only if gcd(k1,n)\ne 1.
Therefore, if we suppose gcd(k1,n)=1, then we obtain an inefficient presentation. Clearly, n must be an odd prime and the {\mathcal{P}}_{G} given in (6) be an inefficient presentation. Otherwise, by setting n=2 in this inefficient case, we obtain the direct product {\mathbb{Z}}_{n}\times \mathbb{Z} which is a special case of the semidirect products and will not be considered in this paper. By Remark 1, it is always true that efficient presentations (even for groups or monoids) are minimal. But to check the minimality of a presentation while it is inefficient is important, because in this case we obtain the inefficiency of the related group that has this presentation (see [8–10]). For the group case, this important subject is investigated by the following ‘minimality test’ due to Lustig [23].
Lemma 1 ([23])
For any group G with a presentation \mathcal{P} as in (1), suppose there is a ring homomorphism ψ from \mathbb{Z}G into the matrix ring of all m\times mmatrices (m\ge 1) over some commutative ring ℛ with 1. Suppose also that \psi (1)={I}_{m\times m}. If ψ maps the second Fox ideal {I}_{2}(\mathcal{P}) to 0 (in other words, if {I}_{2}(\mathcal{P}) is contained in the kernel of ψ), then \mathcal{P} is minimal.
By considering Proposition 1, the first main result of this paper is presented as follows.
Theorem 1 Let us consider the presentation {\mathcal{P}}_{G} as in (6) for the group G={\mathbb{Z}}_{n}{\u22ca}_{{\theta}_{1}}\mathbb{Z}, where k<n and gcd(k,n)=1 but gcd(k1,n)\ne 1. Then {\mathcal{P}}_{G} has a set of generating functions
where {\varphi}_{n} denotes the nth cyclotomic polynomial over ℚ defined by
having a degree n1.
Proof We first note that since {\mathcal{P}}_{G} is presented as in (6), the action in Aut({\mathbb{Z}}_{n}) is defined by a\stackrel{{\theta}_{1}(b)}{\u27f6}{\theta}_{1}(b)={a}^{k}, where hcf(k,n)=1 and k<n.
Assume that hcf(k1,n)\ne 1. Then, by Proposition 1, {\mathcal{P}}_{G} is an efficient presentation and so, by Remark 1, is minimal (i.e. has a minimal number of generators). Let us consider the pictures {\mathbb{P}}_{1} and {\mathbb{P}}_{2} in Figure 1. Now, by (3), we have
where hcf(k,n)=1, but hcf(k1,n)\ne 1 and k<n. For simplicity, by omitting the overlines on the elements in the above equalities, we obtain that the second Fox ideal is generated by the polynomial elements a1, kb1 and 1+a+{a}^{2}+\cdots +{a}^{n1}. Now, we can reformulate these polynomial elements as generating functions. It is clear that {p}_{1}(a) has the root a=1. On the other hand, since we have
{p}_{2}(b) has a root t, where t is the multiplicative inverse of k.
Finally, {p}_{3}(a)=1+a+{a}^{2}+\cdots +{a}^{n1}\equiv 0(modn) has a root a=1 modulo n which gives (7) directly. □
Let us take n as an odd prime p. Then, by Proposition 1 and Lemma 1, we get an inefficient but minimal presentation. Thus we have the following corollary.
Corollary 1 For an odd prime p and a positive integer k<p, the presentation {\mathcal{P}}_{G} in (6) has a set of generating functions
where {\varphi}_{p} has a degree of an even number p1.
Remark 3 Theorem 1 and Corollary 1 imply that by choosing the efficient or inefficient minimal presentations, we can get different constants (i.e. the cases of k in both results) and different powers (i.e. n to be a positive integer or an odd prime) in the set of generating functions. Therefore, the structure of the presentation (i.e. efficient or inefficient) affects getting different types of generating functions.
The following consequence of Theorem 1 points out another connection between the presentation in (6) as defined in either Theorem 1 or Corollary 1 and generating functions.
Corollary 2 The polynomial {p}_{3}(a) in Theorem 1 (or Corollary 1) is actually a ‘locally constant function’.
Proof We recall that the family of locally constant functions [14] is defined as
for which {f}^{\mathrm{\prime}}(x)=0 holds. Moreover, in the meaning of group homomorphisms, each function in this family satisfies
Now, by replacing {\zeta}^{x} with
it is clear that we get a locally constant function, as required. □
After Theorem 1, Corollary 1 and Corollary 2, we can express the following connection between the generating functions and (twisted) Bernoulli numbers.
Remark 4 The locally constant function corresponding to the generating function {p}_{3}(a) of the presentation {\mathcal{P}}_{G} given in (6) is related to the twisted Bernoulli numbers and polynomials. (We may refer the reader, for example, to [3, 14, 25, 26] for the twisted Bernoulli numbers and polynomials.) In the next paragraph, we give a brief description.
According to [4, 13, 14], for each integer N\ge 0, {C}_{{p}^{N}} denotes the multiplicative group of the primitive {p}^{N}th roots of unity in {\mathbb{C}}_{p}^{\ast}={\mathbb{C}}_{p}\{0\}. Let
The dual of {\mathbb{Z}}_{p} in the sense of padic Pontryagin duality is {\mathbb{T}}_{p}={C}_{{p}^{\mathrm{\infty}}}, the direct limit (under inclusion) of cyclic groups {C}_{{p}^{N}} of order {p}^{N} with N\ge 0, with discrete topology. The {\mathbb{T}}_{p} admits a natural {\mathbb{Z}}_{p}module structure which is written as {\xi}^{x} for \xi \in {\mathbb{T}}_{p} and x\in {\mathbb{Z}}_{p}. Moreover, {\mathbb{T}}_{p} can be embedded discretely in {\mathbb{C}}_{p} as the multiplicative ptorsion subgroup. If \xi \in {\mathbb{T}}_{p}, then \omega :({\mathbb{Z}}_{p},+)\u27f6({\mathbb{C}}_{p},\cdot ), x\mapsto {\xi}^{x}, is a locally constant character which is actually a locally analytic character if \xi \in \{\xi \in {\mathbb{C}}_{p}:{v}_{p}(\xi 1)>0\}. Then, by [4, 13, 14, 27, 28], {\omega}_{\xi} has a continuation to a continuous group homomorphism from ({\mathbb{Z}}_{p},+) to ({\mathbb{C}}_{p},\cdot ). We further remind that if \xi \in \mathbb{C}, then ξ will be assumed to have an r th root of unity with r\in {\mathbb{Z}}^{+}.
3 The monoid case {\mathbb{Z}}^{2}{\u22ca}_{{\theta}_{2}}\mathbb{Z}
Before presenting this special case, let us first discuss a more general situation for the pCockcroft property of semidirect products of monoids. In [8, 9], by considering a similar version of the picture {\mathbb{P}}_{S,x} in Figure 2, the second author investigated the pCockcroft property by using the trivializer for the semidirect product M=K{\u22ca}_{{\theta}_{2}}A, where K and A are arbitrary monoids. (It is seen that there is a single nonspherical subpicture {\mathbb{B}}_{S,x} in {\mathbb{P}}_{S,x}. In fact, {\mathbb{B}}_{S,x} contains only Sdiscs. For an illustration, see Figure 3.) As a special case of it, let us assume that K is a onerelator monoid and A is an infinite cyclic monoid ℤ with presentations
respectively. Suppose ψ is an endomorphism of K. Then the mapping x\mapsto \psi induces a homomorphism {\theta}_{2}:A\to End(K), and we can form the semidirect product M=K{\u22ca}_{\theta}A. By (2), this product has a presentation
where, for all y\in \mathbf{y}, the set t is the set of relators
such that the relator S satisfies the condition \iota ({S}_{+})\ne \iota ({S}_{}) (or \tau ({S}_{+})\ne \tau ({S}_{})). In [8], the necessary and sufficient conditions for {\mathcal{P}}_{M} to be efficient are determined.
In the special case above, let us take K as a free abelian monoid of rank two (i.e. K={\mathbb{Z}}^{2}) presented by {\mathcal{P}}_{K}=\u3008{y}_{1},{y}_{2};{y}_{1}{y}_{2}={y}_{2}{y}_{1}\u3009, and let ψ be the endomorphism {\psi}_{\mathbf{M}}, where M is the matrix \left[\begin{array}{cc}\alpha & {\alpha}^{\mathrm{\prime}}\\ \beta & {\beta}^{\mathrm{\prime}}\end{array}\right] (\alpha ,{\alpha}^{\mathrm{\prime}},\beta ,{\beta}^{\mathrm{\prime}}\in {\mathbb{Z}}^{+}) given by [{y}_{1}]\mapsto [{y}_{1}^{\alpha}{y}_{2}^{{\alpha}^{\mathrm{\prime}}}] and [{y}_{2}]\mapsto [{y}_{1}^{\beta}{y}_{2}^{{\beta}^{\mathrm{\prime}}}]. As a special case of the presentation in (9), we obtain
for the monoid M={\mathbb{Z}}^{2}{\u22ca}_{{\theta}_{2}}\mathbb{Z} (see [9]). Again, in the same reference, the second author figured out the efficiency of the above presentation as in the following proposition.
Proposition 2 ([9])
For any prime p, the presentation {\mathcal{P}}_{M} in (10) is pCockcroft if and only if det\mathbf{M}\equiv 1(modp).
According to Proposition 2, in particular, {\mathcal{P}}_{M} is not efficient if det\mathbf{M}=0 or 2. Therefore the following proposition is proved in the same manner.
Proposition 3 ([9])
The presentation {\mathcal{P}}_{M} in (10) is minimal but inefficient if det\mathbf{M}=2.
The proof of Proposition 3 is based on the following Pride result, which is a monoid version of Lemma 1. Although this result has not been published yet, it has been used in many papers (see, for instance, [8–10]).
Lemma 2 (Pride)
For any monoid M with a presentation \mathcal{P} as in (1), let ψ be a ring homomorphism from \mathbb{Z}M into the ring of all m\times mmatrices (m\ge 1) over some commutative ring ℛ with 1, and suppose \psi (1)={I}_{m\times m}. If the second Fox ideal {I}_{2}^{(l)}(\mathcal{P}) is contained in the kernel of ψ, then \mathcal{P} is minimal.
From now on, by considering Propositions 2 and 3, we will reach our main aim of this paper for monoids.
Our first result in this section gives the connection between a monoid presentation and array polynomials. In fact the array polynomials {S}_{k}^{n}(x) are defined by means of the following generating function:
(cf. [29–31]). According to the same references, array polynomials can also be defined in the form
Since the coefficients of array polynomials are integers, these polynomials find a very large application area, especially in engineering. Array polynomials are used, for instance, in system control (cf. [32]).
In fact these integer coefficients give us an 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. But, since array polynomials have a larger application area in science, we have preferred them. Hence, by considering Proposition 3, we obtain the following theorem as another main result.
Theorem 2 Let us consider the monoid M={\mathbb{Z}}^{2}{\u22ca}_{{\theta}_{2}}\mathbb{Z} with a presentation
Then {\mathcal{P}}_{M} has a set of generating functions
where {S}_{k}^{n}(x) is defined as in (11).
Proof Let us consider the spherical picture {\mathbb{P}}_{S,a} with its nonspherical subpicture {\mathbb{B}}_{S,a} as drawn in Figure 3. In fact, by [9], this is the only picture in the trivializer of \mathcal{D}({\mathcal{P}}_{M}).
In presentation (12), let us label the relators {b}_{1}{b}_{2}={b}_{2}{b}_{1}, {b}_{1}a=a{b}_{1}^{2} and {b}_{2}a=a{b}_{1}{b}_{2} by S, {T}_{{b}_{1},a} and {T}_{{b}_{2},a}, respectively. It is clear that {exp}_{S}({\mathbb{P}}_{S,a})=12=1, {exp}_{{T}_{{b}_{1},a}}({\mathbb{P}}_{S,a})=11=0 and {exp}_{{T}_{{b}_{2},a}}({\mathbb{P}}_{S,a})=11=0. In the calculation of these exponent sums, we included the exponent sums of Sdiscs in the nonspherical picture {\mathbb{B}}_{S,a}. Actually, a simple calculation shows that det\mathbf{M}={exp}_{S}({\mathbb{B}}_{S,a}) and so, by our assumption about {\mathcal{P}}_{M} that is not efficient, we expect {exp}_{S}({\mathbb{B}}_{S,a}) to be 2.
Now, by (4) and (5), the evaluation of {\mathbb{P}}_{S,a} is determined as follows:
Therefore, by the definition, the second Fox ideal {I}_{2}^{(l)}({\mathcal{P}}_{M}) of the presentation {\mathcal{P}}_{M} in (12) is generated by the polynomial elements
For simplicity, let us replace each of \overline{2}\overline{a}, \overline{{b}_{1}} and \overline{{b}_{2}} by 2a, {b}_{1} and {b}_{2}, respectively. In [9], by considering Lemma 2, it has been showed that this presentation in (12) is minimal.
Now, by using (11) and keeping in our mind that the coefficients of array polynomials are integer, we clearly have
Then, by reformulating the elements of the second Fox ideal {I}_{2}^{(l)}({\mathcal{P}}_{M}), we arrive at the functions in (13) as desired. □
By considering Proposition 2, if we take det\mathbf{M}\ne 2, then we get an efficient presentation. So, for an even prime p, let det\mathbf{M}=3. Then one of the presentations of the similar form {\mathcal{P}}_{M} as in (12) can be taken as
which will be efficient. The same procedure in the proof of Theorem 2 gives us the set of generating functions of {\mathcal{P}}_{M} in (14) in the form {p}_{1}(a), {p}_{2}({b}_{1}) and {p}_{3}({b}_{2}), where {p}_{1}(a)={S}_{n}^{n}(a)3{S}_{0}^{1}(a) and the others are defined in (13) such that {S}_{k}^{n}(x) is given in (11). Nevertheless, by induction steps, we can generalise this last presentation as follows:
Hence we get the following version of Theorem 2 which deals with efficient presentations.
Theorem 3 Let us consider the presentation {\mathcal{P}}_{M} in (15) for the monoid M={\mathbb{Z}}^{2}{\u22ca}_{{\theta}_{2}}\mathbb{Z}. Then {\mathcal{P}}_{M} has a set of generating functions
where det\mathbf{M}\ne 2 and {S}_{k}^{n}(x) is defined as in (11).
Remark 5 According to the expression in Remark 1, presentations given in (12), (14) or (15) have a minimal number of generators. But we classified these presentations according to their efficiency status separately in Theorem 2 and Theorem 3. The aim of this separation is to find a solution for a general remark depicted in the final section about obtaining a method for a minimality test by using generating functions (see Section 4 below).
At this point, we should note that for {t}_{1}\ne {t}_{2}\in {\mathbb{R}}^{+}, \lambda \in \mathbb{C}, k\in {\mathbb{N}}_{0}, generalised array type polynomials {\mathcal{S}}_{k}^{n}(x;{t}_{1},{t}_{2};\lambda ) which are related to the nonnegative real parameters have been recently developed and some elementary properties including recurrence relations of these polynomials have been obtained [30]. In fact, by setting {t}_{1}=\lambda =1 and {t}_{2}=e, the equation (11) is obtained.
Remark 6 One can try to study the generalisation of Theorem 2 by using {\mathcal{S}}_{k}^{n}(x;{t}_{1},{t}_{2};\lambda ).
The remaining goal of this section is to establish a connection between the presentation {\mathcal{P}}_{M} in (12) or (15) and Stirling numbers of the second kind (cf. [3, 30, 33–36]). In fact, Stirling numbers of the second kind S(n,k) are defined by means of the following generating function:
(see [3, 36]). According to [[30], Theorem 1, Remark 2], Stirling numbers can also be defined by
We remind that these numbers satisfy the wellknown properties
where {\delta}_{n,0} denotes the Kronecker symbol (see [3, 36]). 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,k) 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 the theory of partitions.
In addition to the above formulas for S(n,k), by [30, 35, 36], we have
as a formula for Stirling numbers. Therefore, in equation (17) by replacing x with a, {b}_{1} and {b}_{2}, respectively, and taking n=1, n=0, the polynomial elements of the second Fox ideal {I}_{2}^{(l)}({\mathcal{P}}_{M}) of the presentation {\mathcal{P}}_{M} in (12) can be restated as follows:
As a different version of Theorem 2, we express the following corollary.
Corollary 3 The presentation {\mathcal{P}}_{M} in (12) has a set of generating functions in terms of Stirling numbers as given in (18).
We note that the above corollary can also be stated for the presentation {\mathcal{P}}_{M} in (15).
Furthermore, in a recent work, Simsek [30] has constructed the generalised λStirling numbers of the second kind \mathcal{S}(n,v;a,b;\lambda ) related to nonnegative real parameters (a,b\in {\mathbb{R}}^{+}, a\ne b, λ is a complex number and v\in {\mathbb{N}}_{0}). In fact, this new generalisation is defined by the generating function
By setting a=1 and b=e in (19), one can obtain the λStirling numbers of the second kind S(n,v;\lambda ) which are defined by the generating function
(see [3, 36]). By substituting \lambda =1 into the above equation, the Stirling numbers of the second kind S(n,v)are obtained.
By considering this new generalisation \mathcal{S}(n,v;a,b;\lambda ), in [[30], Theorem 1], it has been obtained that
for λStirling numbers of the second kind. In fact, by setting a=1 and b=e in (20), one can get the following equality on λStirling numbers:
Hence we can present the following notes about this section:
Remark 7 It is clearly seen that in Theorems 2, 3 and Corollary 3, only Stirling numbers are considered. However, one can also study the λStirling numbers S(n,v;\lambda ) defined in (21) and generalised λStirling numbers \mathcal{S}(n,v;a,b;\lambda ) defined in (20) as stated in these theorems and corollaries.
Remark 8 For a suitable {\mathbf{M}}_{n\times n} matrix, it is possible to define the presentation {\mathcal{P}}_{M} in (9) (or in (10)) for the monoid {\mathbb{Z}}^{n}{\u22ca}_{{\theta}_{2}}\mathbb{Z}. Thus one can try to transform all studies in Section 3 to this general case.
4 Final remarks
In this section we will express some other remarks depicted in the previous sections. We hope that the following material will be used as new study areas:

The first general note would be as follows. The studies here can be thought of as the initial step of a general idea, namely constructing a new method (or a test) for the minimality (while the inefficiency holds) of group (in Section 2) and monoid (in Section 3) presentations other than the methods presented in Lemma 1 and Lemma 2, respectively. Especially for the monoid case, although Lemma 2 has not been published, the theory of it has been used widely in last ten years. Therefore, by using generating functions, to obtain a new test on the minimality of monoids would be an interesting and important result.

As we noted in Remark 1, to study with the minimal presentations has an advantage for our aim in this paper. Conversely, the use of generating functions to obtain a presentation with a minimal number of generators is still an open question.

Until now, any result to check whether a semigroup presentation is minimal while it is inefficient has not been published. Therefore the whole idea of this paper can also be used for this case.

It is known that the chemical energy is one of most important application areas of graph theory (cf. [37]). So, as a next step of the expressions in Remark 2, it is worth studying whether this chemical energy can also be obtained from pictures.

We believe that the same approximation between presentations and generating functions as done in this paper can also be applied to some other special cases of groups and monoids other than {\mathbb{Z}}_{n}{\u22ca}_{{\theta}_{1}}\mathbb{Z} and {\mathbb{Z}}^{2}{\u22ca}_{{\theta}_{2}}\mathbb{Z}. Moreover, one can investigate which type of polynomials (other than depicted in here) can be used for the general case.

Here we used exponent sums of pictures as a method to obtain constants of functions. What other methods other than this geometric way can be used could be studied.
References
Simsek Y, Kim T, Park DW, Ro YS, Jang LJ, Rim SH: An explicit formula for the multiple FrobeniusEuler numbers and polynomials. JP J. Algebra Number Theory Appl. 2004, 4: 519529.
Srivastava HM, Coi J: Series Associated with the Zeta and Related Functions. Kluwer Academic, Dordrecht; 2001.
Srivastava HM: Some generalizations and basic (or q ) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Inf. Sci. 2011, 5: 390444.
Woodcock CF: Convolutions on the ring of p adic integers. J. Lond. Math. Soc. 1979, 20(2):101108.
Adian SI Trudy Mat. Inst. Steklov. 85. Defining Relations and Algorithmic Problems for Groups and Semigroups 1966. English translation: Trans. Amer. Math. Soc., vol. 152 (1967)
Bogley WA, Pride SJ:Calculating generators of {\pi}_{2}. In Two Dimensional Homotopy and Combinatorial Group Theory. Edited by: HogAngeloni C, Metzler W, Sieradaski A. Cambridge University Press, Cambridge; 1993:157188.
Cevik AS: The efficiency of standard wreath product. Proc. Edinb. Math. Soc. 2000, 43(2):415423. 10.1017/S0013091500021003
Cevik AS: The p Cockcroft property of the semidirect products of monoids. Int. J. Algebra Comput. 2003, 13(1):116. 10.1142/S0218196703001298
Cevik AS: Minimal but inefficient presentations of the semidirect products of some monoids. Semigroup Forum 2003, 66: 117.
Cevik AS: Minimal but inefficient presentations for self semidirect products of the free abelian monoid on two generators. Commun. Algebra 2007, 35: 25832587. 10.1080/00927870701327732
Squier CC: Word problems and a homological finiteness condition for monoids. J. Pure Appl. Algebra 1987, 49: 201216. 10.1016/00224049(87)901290
Wang J: Finite derivation type for semidirect products of monoids. Theor. Comput. Sci. 1998, 191(12):219228. 10.1016/S03043975(97)001643
Shiratani K, Yokoyama S: An application of p adic convolutions. Mem. Fac. Sci., Kyushu Univ., Ser. A, Math. 1982, 36(1):7383.
Simsek Y: Twisted p adic (h,q)\text{}L functions. Comput. Math. Appl. 2010, 59: 20972110. 10.1016/j.camwa.2009.12.015
Brown KS Graduate Text in Mathematics 87. In Cohomology of Groups. Springer, Berlin; 1982.
Epstein DBA: Finite presentations of groups and 3manifolds. Q. J. Math. 1961, 12: 205212. 10.1093/qmath/12.1.205
Pride SJ: Geometric methods in combinatorial semigroup theory. In Semigroups, Formal Languages and Groups. Edited by: Fountain J. Kluwer Academic, Norwell; 1995:215232.
Pride SJ: Lowdimensional homotopy theory for monoids. Int. J. Algebra Comput. 1995, 5(6):631649. 10.1142/S0218196795000252
Pride SJ: Identities among relations of group presentations. In Group Theory from a Geometrical Viewpoint (Trieste, 1990). Edited by: Ghys E, Haefliger A, Verjovsky A. World Scientific, Singapore; 1991:687717.
Pride SJ: Lowdimensional homotopy theory for monoids II. Glasg. Math. J. 1999, 41: 111. 10.1017/S0017089599970179
Cevik AS: One dimension higher of the word problem. Math. Scand. 2004, 95(2):161171.
Karpuz EG, Ates F, Cevik AS, Maden AD, Cangul IN: The next step of the word problem over monoids. Appl. Math. Comput. 2011, 218: 794798. 10.1016/j.amc.2011.03.076
Lustig M:Fox ideals, \mathcal{N}torsion and applications to groups and 3manifolds. In TwoDimensional Homotopy and Combinatorial Group Theory. Edited by: HogAngeloni C, Metzler W, Sieradski AJ. Cambridge University Press, Cambridge; 1993:219250.
Baik, YG: Generators of the second homotopy module of group presentations with applications. Ph.D. thesis, University of Glasgow (1992)
Simsek Y: Twisted (h,q) Bernoulli numbers and polynomials related to twisted (h,q) zeta function and L function. J. Math. Anal. Appl. 2006, 324: 790804. 10.1016/j.jmaa.2005.12.057
Srivastava HM, Kim T, Simsek S: q Bernoulli numbers and polynomials associated with multiple q zeta functions and basic L series. Russ. J. Math. Phys. 2005, 12(2):241268.
Kim MS, Son JW: Analytic properties of the q Volkenborn integral on the ring of p adic integers. Bull. Korean Math. Soc. 2007, 44(1):112.
Kim T: An analogue of Bernoulli numbers and their congruences. Rep. Fac. Sci. Eng. Saga Univ., Math. 1994, 22(2):2126.
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: 758767. 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] (2011)
Simsek Y: Interpolation function of generalized q Bernstein type polynomials and their application. Lecture Notes in Computer Science 6920. In Curve and Surface. Springer, Berlin; 2011:647662.
Mismar MJ, AbuAlNadi DI, Ismail TH: Pattern synthesis with phaseonly control using array polynomial technique. 2007 IEEE International Conference on Signal Processing and Communications (ICSPC 2007) 2007.
Agoh T, Dilcher K: Shortened recurrence relations for Bernoulli numbers. Discrete Math. 2009, 309: 887898. 10.1016/j.disc.2008.01.030
Carlitz L: Some numbers related to the Stirling numbers of the first and second kind. Publ. Elektroteh. Fak. Univ. Beogr., Ser. Mat. Fiz. 1976, 544576: 4955.
Kim T: q Volkenborn integration. Russ. J. Math. Phys. 2002, 19: 288299.
Luo QM, Srivastava HM: Some generalizations of the ApostolGenocchi polynomials and the Stirling numbers of the second kind. Appl. Math. Comput. 2011, 217: 57025728. 10.1016/j.amc.2010.12.048
Gutman I: The energy of a graph: old and new results. In Algebraic Combinatorics and Applications. Edited by: Betten A, Kohnert A, Laue R, Wassermann A. Springer, Berlin; 2001.
Acknowledgements
Dedicated to Professor Hari M Srivastava.
All authors are partially supported by Research Project Offices of Uludağ (201215 and 201219), Selçuk and Akdeniz Universities.
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
Cangül, I.N., Çevik, A.S. & Şimşek, Y. A new approach to connect algebra with analysis: relationships and applications between presentations and generating functions. Bound Value Probl 2013, 51 (2013). https://doi.org/10.1186/16872770201351
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16872770201351