 Research
 Open access
 Published:
The graph based on GröbnerShirshov bases of groups
Fixed Point Theory and Applications volume 2013, Article number: 71 (2013)
Abstract
Let us consider groups {G}_{1}={\mathbb{Z}}_{k}\ast ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}), {G}_{2}={\mathbb{Z}}_{k}\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}), {G}_{3}={\mathbb{Z}}_{k}\ast ({\mathbb{Z}}_{m}\times {\mathbb{Z}}_{n}), {G}_{4}=({\mathbb{Z}}_{k}\ast {\mathbb{Z}}_{l})\ast ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}) and {G}_{5}=({\mathbb{Z}}_{k}\ast {\mathbb{Z}}_{l})\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}), where k,l,m,n\ge 2. In this paper, by defining a new graph \mathrm{\Gamma}({G}_{i}) based on the GröbnerShirshov bases over groups {G}_{i}, where 1\le i\le 5, we calculate the diameter, maximum and minimum degrees, girth, chromatic number, clique number, domination number, degree sequence and irregularity index of \mathrm{\Gamma}({G}_{i}). Since graph theoretical studies (including such above graph parameters) consist of some fixed point techniques, they have been applied in such fields as chemistry (in the meaning of atoms, molecules, energy etc.) and engineering (in the meaning of signal processing etc.), game theory and physics. In addition, the GröbnerShirshov basis and the presentations of algebraic structures contain a mixture of algebra, topology and geometry within the purposes of this journal.
MSC:05C25, 13P10, 20M05, 20E06, 26C10.
1 Introduction and preliminaries
In [1, 2], the authors have recently developed a new approach between algebra (in the meaning of groups and monoids) and analysis (in the meaning of generating functions). In a similar manner, in this paper, we make a connection between graph theory and GröbnerShirshov bases. In the literature, there are no works related to the idea of associating a graph with the GröbnerShirshov basis of a group. So, we believe that this paper will be the first work in that direction. As we depicted in the abstract of this paper, while graph theoretical studies actually consist of some fixed point techniques, so they have been applied in different branches of science such as chemistry (in the meaning of atoms, molecules, energy etc.) and engineering (in the meaning of signal processing etc.), GröbnerShirshov bases and algebraic presentations contain a mixture of algebra, topology and geometry within the purposes of this journal.
In detail, in this paper, we investigate the interplay between the grouptheoretic property of a group G and the graphtheoretic properties of \mathrm{\Gamma}(G) which is associated with G. By grouptheoretic property, while we deal with the GröbnerShirshov basis of a given group, by graphtheoretic property, we are interested in the diameter, maximum and minimum degrees, girth, chromatic number, clique number, domination number, degree sequence and irregularity index of the corresponding graph of group. In the literature, there are some important graph varieties and works that are related to algebraic and topological structures, namely, Cayley graphs [3–5] and zerodivisor graphs [6–8]. But the graph constructed in here is different from the previous studies and is also interesting in terms of using GröbnerShirshov basis theory during the construction of the vertex and edge sets. So, this kind of graph provides not only the classification of algebras (groups, semigroups), but also solving the problems of normal forms of elements, word problem, rewriting system, embedding theorems, extensions of groups and algebras, growth function, Hilbert series, etc. As is well known, these problems are really important in fixed point results since they have a direct connection to nature sciences.
Throughout this paper, for k,l,m,n\ge 2, we consider special groups {G}_{1}={\mathbb{Z}}_{k}\ast ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}), {G}_{2}={\mathbb{Z}}_{k}\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}), {G}_{3}={\mathbb{Z}}_{k}\ast ({\mathbb{Z}}_{m}\times {\mathbb{Z}}_{n}), {G}_{4}=({\mathbb{Z}}_{k}\ast {\mathbb{Z}}_{l})\ast ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}) and {G}_{5}=({\mathbb{Z}}_{k}\ast {\mathbb{Z}}_{l})\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}) associated with the presentations
respectively. By recalling the fundamentals of the GröbnerShirshov (GS) basis and then obtaining the GSbasis of each above group {G}_{i}, in Section 1.1, we define new simple, undirected graphs \mathrm{\Gamma}({G}_{i}) associated with GSbases of these groups. Then in Section 2, we compute the diameter, maximum and minimum degrees, girth, chromatic, clique and domination numbers, degree sequence and finally irregularity index of graphs \mathrm{\Gamma}({G}_{i}) for each 1\le i\le 5.
Remark 1 The reason for us to present our results on these above parameters actually comes from their equality status. In other words, each result will be a good example for certain equalities over graph theoretical theorems.
(I) Preliminaries for graph theory. We first recall that for any simple graph G, the distance (length of the shortest path) between two vertices u, v of G is denoted by {d}_{G}(u,v). If no such path exists, we set d(x,y):=\mathrm{\infty}. Actually, the diameter of G is defined by
The degree {deg}_{G}(v) of a vertex v of G is the number of vertices adjacent to v. Among all degrees, the maximum degree \mathrm{\Delta}(G) (or the minimum degree \delta (G)) of G is the number of the largest (or the smallest) degrees in G ([9]).
It is known that the girth of a simple graph G, gr(G) is the length of the shortest cycle contained in G. However, if G does not contain any cycle, then the girth of it is assumed to be infinity.
Basically the coloring of G is an assignment of colors (elements of some set) to the vertices of G, one color to each vertex, so that adjacent vertices are assigned distinct colors. If n colors are used, then the coloring is referred to as ncoloring. If there exists an ncoloring of G, then G is called ncolorable. The minimum number n for which G is ncolorable is called a chromatic number of G and is denoted by \chi (G). There exists another graph parameter, namely the clique of a graph G. In fact, depending on the vertices, each of the maximal complete subgraphs of G is called a clique. Moreover, the largest number of vertices in any clique of G is called the clique number and denoted by \omega (G). In general, \chi (G)\ge \omega (G) for any graph G [9] and it is worth studying the cases that imply equality.
A subset D of the vertex set V(G) of a graph is called a dominating set if every vertex V(G)\mathrm{\setminus}D is joined to at least one vertex of D by an edge. Additionally, the domination number \gamma (G) is the number of vertices in the smallest dominating set for G [9].
There also exists the term degree sequence, denoted by DS(G), which is a sequence of degrees of vertices of G. In [10], a new parameter for graphs has been recently defined, namely the irregularity index of G denoted by t(G), which is the number of distinct terms in the set DS(G).
(II) Preliminaries for the GröbnerShirshov basis. Since the main body of the paper is built up by considering the GröbnerShirshov (GS) basis, it is worth presenting some historical background about it as in the following.
The Gröbner basis theory for commutative algebras, which provides a solution to the reduction problem for commutative algebras, was introduced by Buchberger [11]. In [12], Bergman generalized the Gröbner basis theory to associative algebras by proving the ‘diamond lemma.’ On the other hand, the parallel theory of Gröbner bases was developed for Lie algebras by Shirshov [13]. The key ingredient of the theory is the socalled composition lemma which characterizes the leading terms of elements in the given ideal. In [14], Bokut noticed that Shirshov’s method works for associative algebras as well. Thus, for this reason, Shirshov’s theory for Lie algebras and their universal enveloping algebras is called the GröbnerShirshov basis theory. There are some specific studies on this subject related to some algebraic structures (see, for instance, [15–17]). We may finally refer to the papers [18–24] for some other recent studies of GröbnerShirshov bases. In the following, we give some fundamental facts about this important subject.
Let K be a field, and let K\u3008X\u3009 be the free associative algebra over K generated by X. Denote by {X}^{\ast} the free monoid generated by X, where the empty word is the identity denoted by 1. For a word w\in {X}^{\ast}, we denote the length of w by w. Suppose that {X}^{\ast} is a wellordered set. Then every nonzero polynomial f\in K\u3008X\u3009 has the leading word \overline{f}. If the coefficient of \overline{f} in f is equal to one, then f is called monic.
Let f and g be two monic polynomials in K\u3008X\u3009. We then have two compositions as follows:

If w is a word such that w=\overline{f}b=a\overline{g} for some a,b\in {X}^{\ast} with \overline{f}+\overline{g}>w, then the polynomial {(f,g)}_{w}=fbag is called the intersection composition of f and g with respect to w. The word w is called an ambiguity of intersection.

If w=\overline{f}=a\overline{g}b for some a,b\in {X}^{\ast}, then the polynomial {(f,g)}_{w}=fagb is called the inclusion composition of f and g with respect to w. The word w is called an ambiguity of inclusion.
If g is monic, \overline{f}=a\overline{g}b and α is the coefficient of the leading term \overline{f}, then transformation f\mapsto f\alpha agb is called elimination (ELW) of the leading word of g in f.
Let S\subseteq K\u3008X\u3009 with each s\in S be monic. Then the composition {(f,g)}_{w} is called trivial modulo (S,w) if {(f,g)}_{w}=\sum {\alpha}_{i}{a}_{i}{s}_{i}{b}_{i}, where each {\alpha}_{i}\in K, {a}_{i},{b}_{i}\in {X}^{\ast}, {s}_{i}\in S and {a}_{i}\overline{{s}_{i}}{b}_{i}<w. If this is the case, then we write {(f,g)}_{w}\equiv 0\phantom{\rule{0.25em}{0ex}}mod(S,w). We call the set S endowed with the wellordering < a GröbnerShirshov basis for K\u3008X\mid S\u3009 if any composition {(f,g)}_{w} of polynomials in S is trivial modulo S and corresponding w.
The following lemma was proved by Shirshov [13] for free Lie algebras with deglex ordering (see also [25]). In 1976, Bokut [14] specialized Shirshov’s approach to associative algebras (see also [12]). Meanwhile, for commutative polynomials, this lemma is known as Buchberger’s theorem (see [11, 26]).
Lemma 1 (Compositiondiamond lemma)
Let K be a field,
and let < be a monomial ordering on {X}^{\ast}, where Id(S) is the ideal of K\u3008X\u3009 generated by S. Then the following statements are equivalent:

1
S is a GröbnerShirshov basis.

2
f\in Id(S)\Rightarrow \overline{f}=a\overline{s}b for some s\in S and a,b\in {X}^{\ast}.

3
Irr(S)=\{u\in {X}^{\ast}\mid u\ne a\overline{s}b,s\in S,a,b\in {X}^{\ast}\} is a basis for the algebra A=K\u3008X\mid S\u3009.
If a subset S of K\u3008X\u3009 is not a GröbnerShirshov basis, then we can add to S all nontrivial compositions of polynomials of S, and by continuing this process (maybe infinitely), we eventually obtain a GröbnerShirshov basis {S}^{\mathrm{comp}}. Such a process is called the Shirshov algorithm.
1.1 A new graph based on GSbases
In the following, for 1\le i\le 5, by taking into account each group {G}_{i} presented by {\mathcal{P}}_{{G}_{i}}=\u3008{X}_{i};{R}_{i}\u3009, as in (1), we define a undirected graph \mathrm{\Gamma}({G}_{i})=({V}_{i},{E}_{i}) and all results will be constructed on it.
The vertex {V}_{i} and edge {E}_{i}=\{({v}_{p},{v}_{q})\} sets consist of

generators of {G}_{i},

leading elements of polynomials in the GS basis of {G}_{i},

ambiguities of intersection or inclusion in the GS basis of {G}_{i},
and

{v}_{p} and {v}_{q} form an ambiguity with each other,

\mathrm{\exists}{v}_{r}\in {X}_{i}^{\ast} such that {v}_{r}=x{v}_{p} or {v}_{r}={v}_{q}y for some x,y\in {X}_{i},

{v}_{p} is reducible to {v}_{q},
respectively.
Since the GröbnerShirshov basis plays an important role in the definition of this new graph, let us define these bases for each of the groups {G}_{i} where 1\le i\le 5. To do that, let us assume an ordering among the generators of {G}_{i} (1\le i\le 3) as x>a>b and the generators of {G}_{4} and {G}_{5} as x>y>a>b.
Now, let us first consider {\mathcal{P}}_{{G}_{1}}. Since we have no intersection or inclusion compositions, the GröbnerShirshov basis of {G}_{1} is {S}_{1}=\{{x}^{k}1,{a}^{m}1,{b}^{n}1\}.
For {\mathcal{P}}_{{G}_{2}}, we have the ambiguities of intersection as {x}^{k}a, x{a}^{m}, {x}^{k}b, x{b}^{n}. Since these are trivial to modulo {R}_{2}, the GröbnerShirshov basis of {G}_{2} is {S}_{2}=\{{x}^{k}1,{a}^{m}1,{b}^{n}1,xaax,xbbx\}.
For {\mathcal{P}}_{{G}_{3}}, we have the ambiguities of intersection as {a}^{m}b and a{b}^{n}. Since these are trivial to modulo {R}_{3}, the GröbnerShirshov basis of {G}_{3} is {S}_{3}=\{{x}^{k}1,{a}^{m}1,{b}^{n}1,abba\}.
For {\mathcal{P}}_{{G}_{4}}, since we have no intersection or inclusion compositions, the GröbnerShirshov basis of {G}_{4} is {S}_{4}=\{{x}^{k}1,{y}^{l}1,{a}^{m}1,{b}^{n}1\}.
Finally, for {\mathcal{P}}_{{G}_{5}}, we have the ambiguities of intersection as
Since these are trivial to modulo {R}_{5}, the GröbnerShirshov basis of {G}_{5} is {S}_{5}=\{{x}^{k}1,{y}^{l}1,{a}^{m}1,{b}^{n}1,xaax,xbbx,yaay,ybby\}.
2 Graph theoretical results over \mathrm{\Gamma}({G}_{i})
In this section, by considering the graph \mathrm{\Gamma}({G}_{i}), 1\le i\le 5, we mainly deal with some graph properties, namely diameter, maximum and minimum degrees, girth, chromatic number, clique number, domination number, degree sequence and irregularity index of \mathrm{\Gamma}({G}_{i}).
2.1 Case 1: the graph \mathrm{\Gamma}({G}_{1}), where {G}_{1}={\mathbb{Z}}_{k}\ast ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n})
If we consider the graph of the group {G}_{1}, then we have a subgraph of Figure 1(a) with vertices {v}_{1}={a}^{m}, {v}_{2}=a, {v}_{4}={x}^{k}, {v}_{5}=x, {v}_{9}=b and {v}_{10}={b}^{n}. In this graph the edge set depends on the orders of factor groups of {G}_{1}. If we take k,m,n=2, then by the edge definition, we have the edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{15} in this subgraph of Figure 1(a). In the case k,m,n>2, we do not have any edges. In the remaining case, i.e., one or two orders of factor groups of {G}_{1} are equal to two, we have one or two edges among {\alpha}_{1}, {\alpha}_{4} and {\alpha}_{15}.
If we reconsider that the graph in Figure 1(a) depends on the group {G}_{1} with above facts, then the picture will be shown as an unconnected graph which is not related to the numbers k, m and n. Thus the first result is the following.
Theorem 1 diam(\mathrm{\Gamma}({G}_{1}))=\mathrm{\infty}.
Theorem 2 The maximum and minimum degrees of the graph \mathrm{\Gamma}({G}_{1}) are
and
respectively.
Proof If we take that at least one of k, m, n is two, then we have at least one of the edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{15}. Thus we get \mathrm{\Delta}(\mathrm{\Gamma}({G}_{1}))=1. If we consider k=m=n=2, then since we have edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{15}, this gives us that all vertices in the graph \mathrm{\Gamma}({G}_{1}) have degree one. So, \mathrm{\Delta}(\mathrm{\Gamma}({G}_{1}))=\delta (\mathrm{\Gamma}({G}_{1}))=1. Now we consider the case k,m,n>2. In this case, since we have no edges in the graph \mathrm{\Gamma}({G}_{1}), we obtain \mathrm{\Delta}(\mathrm{\Gamma}({G}_{1}))=\delta (\mathrm{\Gamma}({G}_{1}))=0. If we take that at most two of k, m, n are equal to two, then we get four vertices having degree one and two vertices having degree zero. Therefore, in this case, \delta (\mathrm{\Gamma}({G}_{1}))=0. □
Theorem 3 For any k,m,n\ne 1, the girth of the graph \mathrm{\Gamma}({G}_{1}) is equal to infinity.
Proof Since we just have the edges {\alpha}_{1}, {\alpha}_{4} and {\alpha}_{15} depending on the numbers k, m, n, we do not have any cycle in the graph \mathrm{\Gamma}({G}_{1}). So, gr(\mathrm{\Gamma}({G}_{1}))=\mathrm{\infty}. □
Theorem 4 The chromatic number of \mathrm{\Gamma}({G}_{1}) is equal to
Proof If we take that at least one of k, m, n is two, then we have at least one of the edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{15}. Thus we use two different colors since there exist neighbor vertices. By the edge definition of \mathrm{\Gamma}({G}_{1}), we do not have any edges between generators and elements of three factor groups of {G}_{1}. Thus we obtain \chi (\mathrm{\Gamma}({G}_{1}))=2. If we consider k,m,n>2, then since we do not have any edges in the graph, we can label all vertices with the same color. Therefore \chi (\mathrm{\Gamma}({G}_{1}))=1. □
Theorem 5 The clique number of \mathrm{\Gamma}({G}_{1}) is equal to
Proof The proof of this theorem is similar to the proof of Theorem 4. If we take that at least one of k, m, n is 2, then we have at least one of the edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{15}, i.e., we have a disconnected graph which has at least three complete subgraphs. Since these complete subgraphs have two vertices, we get \omega (\mathrm{\Gamma}({G}_{1}))=2. If we consider k,m,n>2, then since we do not have any edges in the graph, the number of vertices in maximal clique is one. □
Theorem 6 The domination number of \mathrm{\Gamma}({G}_{1}) is equal to infinity.
Proof For all cases of k, m, n, since the graph \mathrm{\Gamma}({G}_{1}) is disconnected, we get \gamma (\mathrm{\Gamma}({G}_{1}))=\mathrm{\infty}. □
Theorem 7 The degree sequence and irregularity index of \mathrm{\Gamma}({G}_{1}) are given by
where {i}_{j}=0,1 for 1\le j\le 6, and
respectively.
Proof By the graph \mathrm{\Gamma}({G}_{1}), if k, m, n are equal to two and greater than two, then the degrees of the vertices are one and zero, respectively. But if at least one of k, m, n is equal to two, then some vertices have degree one and some of them have degree zero. Hence, by the definition of a degree sequence, we clearly obtain the set DS(\mathrm{\Gamma}({G}_{1})), as depicted. Nevertheless, it is easily seen that the irregularity index t(\mathrm{\Gamma}({G}_{1}))=1 and 2, as required. □
2.2 Case 2: the graph \mathrm{\Gamma}({G}_{2}), where {G}_{2}={\mathbb{Z}}_{k}\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n})
If we consider the graph of the group {G}_{2}, then we have a subgraph of Figure 1(a) with vertices {v}_{1}={a}^{m}, {v}_{2}=a, {v}_{3}={x}^{k}a, {v}_{4}={x}^{k}, {v}_{5}=x, {v}_{6}=x{a}^{m}, {v}_{7}=xa, {v}_{8}={x}^{k}b, {v}_{9}=b, {v}_{10}={b}^{n}, {v}_{11}=x{b}^{n} and {v}_{12}=xb. In this graph the edge set depends on the orders of factor groups of {G}_{2}. If we take k,m,n=2 then, by the edge definition, we have the edges {\alpha}_{j}, 1\le j\le 23. In the case k,m,n>2, we do not have edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{9}, {\alpha}_{12}, {\alpha}_{15}, {\alpha}_{20} and {\alpha}_{23} in \mathrm{\Gamma}({G}_{2}).
Theorem 8 The diameter of the graph \mathrm{\Gamma}({G}_{2}) is equal to four.
Proof By considering the graph of the group {G}_{2}, we say that the diameter of the graph \mathrm{\Gamma}({G}_{2}) does not depend on the numbers k, m, n. For any k, m, n, in the graph \mathrm{\Gamma}({G}_{2}) the vertices {v}_{7}=xa and {v}_{12}=xb are adjacent to vertices {v}_{1}, {v}_{2}, {v}_{3}, {v}_{4}, {v}_{5}, {v}_{6} and {v}_{4}, {v}_{5}, {v}_{8}, {v}_{9}, {v}_{10}, {v}_{11}, respectively. If we connect any two vertices, except {v}_{4} and {v}_{5}, via the shortest path, we need to pass through the vertices {v}_{7} and {v}_{12}. For instance, we need the edges {\alpha}_{7}, {\alpha}_{11}, {\alpha}_{18} and {\alpha}_{22} to connect two vertices {v}_{1}=a and {v}_{10}=b. This gives us diam(\mathrm{\Gamma}({G}_{2}))=4. □
Theorem 9 The maximum and minimum degrees of the graph \mathrm{\Gamma}({G}_{2}) are
and
respectively.
Proof For k,m,n=2, in the graph of {G}_{2} the vertices {v}_{7}=xa and {v}_{12}=xb are adjacent to vertices {v}_{1}, {v}_{2}, {v}_{3}, {v}_{4}, {v}_{5}, {v}_{6} and {v}_{4}, {v}_{5}, {v}_{8}, {v}_{9}, {v}_{10}, {v}_{11}, respectively. Since these vertices have the largest degrees in \mathrm{\Gamma}({G}_{2}), we get \mathrm{\Delta}(\mathrm{\Gamma}({G}_{2}))=6. The other vertices {v}_{1}, {v}_{2}, {v}_{3}, {v}_{6}, {v}_{8}, {v}_{9}, {v}_{10} and {v}_{12} have degree three and the remaining vertices {v}_{4} and {v}_{5} have degree five. So, the minimum degree of the graph \mathrm{\Gamma}({G}_{2}) is \delta (\mathrm{\Gamma}({G}_{2}))=3. Now we take k,m,n>2. In this case, we do not have edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{9}, {\alpha}_{12}, {\alpha}_{15}, {\alpha}_{20} and {\alpha}_{23}. Thus the vertices {v}_{4}, {v}_{5}, {v}_{7}, {v}_{12} have degree four and the remaining vertices have degree two. So, \mathrm{\Delta}(\mathrm{\Gamma}({G}_{2}))=4 and \delta (\mathrm{\Gamma}({G}_{2}))=2. □
Theorem 10 The girth of the graph \mathrm{\Gamma}({G}_{2}) is equal to
Proof By the considering the graph of the group {G}_{2}, we have twelve triangles and five squares for k=m=n=2 and k,m,n>2, respectively. By the definition of girth, this gives us the required result. □
Theorem 11 The chromatic number of the graph \mathrm{\Gamma}({G}_{2}) is equal to
Proof If the graph \mathrm{\Gamma}({G}_{2}) has one of the following forms: {\mathbb{Z}}_{2}\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}), {\mathbb{Z}}_{k}\times ({\mathbb{Z}}_{2}\ast {\mathbb{Z}}_{n}), {\mathbb{Z}}_{k}\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{2}), {\mathbb{Z}}_{2}\times ({\mathbb{Z}}_{2}\ast {\mathbb{Z}}_{n}), {\mathbb{Z}}_{2}\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{2}), {\mathbb{Z}}_{k}\times ({\mathbb{Z}}_{2}\ast {\mathbb{Z}}_{2}) or {\mathbb{Z}}_{2}\times ({\mathbb{Z}}_{2}\ast {\mathbb{Z}}_{2}), then we have similar neighbors for the graphs of each group. So, we can label the vertices with three different colors. If k,m,n\ne 2, then in the graph of {G}_{2} each vertex has two or four neighbors. In this graph, since the opposite vertices, which have an edge between them, can be labeled with the same color, we have two different colors. Hence \chi (\mathrm{\Gamma}({G}_{2}))=2. □
Theorem 12 The domination number of the graph \mathrm{\Gamma}({G}_{2}) is
Proof Firstly, we consider the case k=m=n=2. Since the vertices {v}_{7}=xa and {v}_{12}=xb are connected with all other vertices in the graph of {G}_{2}, we can take the dominating set as \{{v}_{7},{v}_{12}\}. Thus \gamma (\mathrm{\Gamma}({G}_{2}))=2. In the case k,m,n\ne 2, since the number of edges is decreasing, the number of connected edges is decreasing as well. In this case, let us choose the dominating set as \{{v}_{4},{v}_{5},{v}_{7},{v}_{12}\}. Every vertex, except the vertices in the dominating set, is joined to at least one vertex of this dominating set by an edge. Therefore we have \gamma (\mathrm{\Gamma}({G}_{2}))=4. □
Theorem 13 The clique number of \mathrm{\Gamma}({G}_{2}) is equal to
Proof In the graph \mathrm{\Gamma}({G}_{2}), for k=m=n=2, we have twelve complete subgraphs. These are obtained by the vertices {v}_{1}{v}_{2}{v}_{7}, {v}_{2}{v}_{3}{v}_{7}, {v}_{3}{v}_{4}{v}_{7}, {v}_{4}{v}_{5}{v}_{7}, {v}_{5}{v}_{6}{v}_{7}, {v}_{4}{v}_{5}{v}_{12}, {v}_{4}{v}_{8}{v}_{12}, {v}_{8}{v}_{9}{v}_{12}, {v}_{9}{v}_{10}{v}_{12}, {v}_{10}{v}_{11}{v}_{12} and {v}_{5}{v}_{11}{v}_{12}. Hence \omega (\mathrm{\Gamma}({G}_{2}))=3. If k,m,n\ne 2, then we can find the smallest complete subgraphs as edges obtained by any two vertices in the graph \mathrm{\Gamma}({G}_{2}). So, \omega (\mathrm{\Gamma}({G}_{2}))=2. □
Theorem 14 The degree sequence and irregularity index of \mathrm{\Gamma}({G}_{2}) are given by
and
respectively.
Proof It is easily seen by the graph \mathrm{\Gamma}({G}_{2}). □
Example 1 Let us consider the group G={\mathbb{Z}}_{3}\times ({\mathbb{Z}}_{3}\ast {\mathbb{Z}}_{3}) presented by
and x>a>b, the graph \mathrm{\Gamma}(G) as drawn in Figure 1(b), with the vertex set
By the result of Theorems 8 and 14, we have diam(\mathrm{\Gamma}(G))=4, \mathrm{\Delta}(\mathrm{\Gamma}(G))=4, \delta (\mathrm{\Gamma}(G))=2, gr(\mathrm{\Gamma}(G))=4, \chi (\mathrm{\Gamma}(G))=2, \gamma (\mathrm{\Gamma}(G))=4, \omega (\mathrm{\Gamma}(G))=2, DS(\mathrm{\Gamma}(G))=(2,2,2,4,4,2,4,2,2,2,2,4) and t(\mathrm{\Gamma}(G))=2.
2.3 Case 3: the graph \mathrm{\Gamma}({G}_{3}), where {G}_{3}={\mathbb{Z}}_{k}\ast ({\mathbb{Z}}_{m}\times {\mathbb{Z}}_{n})
If we consider the graph of the group {G}_{3}, then we have a subgraph of Figure 1(a) with vertices {v}_{1}={a}^{m}, {v}_{2}=a, {v}_{3}=a{b}^{n}, {v}_{4}={b}^{n}, {v}_{5}=b, {v}_{6}={a}^{m}b, {v}_{7}=ab, {v}_{9}=x and {v}_{10}={x}^{k}. If we take k,m,n=2, then by the edge definition, we have the edges {\alpha}_{j}, 1\le j\le 12 and {\alpha}_{15} in this subgraph of Figure 1(a). In the case k,m,n>2, we do not have edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{9}, {\alpha}_{12}, {\alpha}_{15} in the graph \mathrm{\Gamma}({G}_{3}).
Theorem 15 The maximum and minimum degrees of the graph \mathrm{\Gamma}({G}_{3}) are
and
respectively.
Proof Let us consider the graph \mathrm{\Gamma}({G}_{3}) and take k,m,n=2. In this case, the vertex {v}_{7} has the maximum degree six and the vertices {v}_{9} and {v}_{10} have the minimum degree one. But if we take k,m,n>2, then since there do not exist the edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{9}, {\alpha}_{12} and {\alpha}_{15} in the graph \mathrm{\Gamma}({G}_{3}), we obtain the maximum degree four by the vertex {v}_{7} and the minimum degree zero by the vertices {v}_{9} and {v}_{10}. □
Theorem 16 The girth of the graph \mathrm{\Gamma}({G}_{3}) is
Proof Firstly, we take account of the case k=m=n=2. In this case, we have six triangles which have the edges {\alpha}_{1}{\alpha}_{7}{\alpha}_{8}, {\alpha}_{2}{\alpha}_{8}{\alpha}_{9}, {\alpha}_{3}{\alpha}_{9}{\alpha}_{10}, {\alpha}_{4}{\alpha}_{10}{\alpha}_{11}, {\alpha}_{5}{\alpha}_{11}{\alpha}_{12}, {\alpha}_{6}{\alpha}_{7}{\alpha}_{12} in the graph \mathrm{\Gamma}({G}_{3}). Thus gr(\mathrm{\Gamma}({G}_{3}))=3. Now we consider the case k,m,n>2. In this case, since we do not have the edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{9}, {\alpha}_{12} and {\alpha}_{15}, we have two squares which have the edges {\alpha}_{1}{\alpha}_{6}{\alpha}_{5}{\alpha}_{7} and {\alpha}_{2}{\alpha}_{3}{\alpha}_{4}{\alpha}_{7} in the graph \mathrm{\Gamma}({G}_{3}). Therefore gr(\mathrm{\Gamma}({G}_{3}))=4. □
Theorem 17 The chromatic number of the graph \mathrm{\Gamma}({G}_{3}) is
Proof Let us take k=m=n=2. In the graph \mathrm{\Gamma}({G}_{3}), since the vertex {v}_{7} is connected with all vertices except the vertices {v}_{9} and {v}_{10}, this vertex must be labeled by a different color than other vertices. In addition, since other vertices are connected with each other doubly, they can be labeled by two different colors. This gives us \chi (\mathrm{\Gamma}({G}_{3}))=3. In the case k,m,n>2, since we have two squares, as in the previous proof, in the graph \mathrm{\Gamma}({G}_{3}), it is enough to label two adjacent vertices by different colors. Hence \chi (\mathrm{\Gamma}({G}_{3}))=2. □
Theorem 18 The domination number of the graph \mathrm{\Gamma}({G}_{3}) is equal to infinity.
Proof For all cases of k, m, n, since the graph \mathrm{\Gamma}({G}_{3}) is disconnected, we get \gamma (\mathrm{\Gamma}({G}_{1}))=\mathrm{\infty}. □
Theorem 19 The clique number of the graph \mathrm{\Gamma}({G}_{3}) is equal to
Proof For the case k=m=n=2, we have six maximal complete subgraphs of the graph \mathrm{\Gamma}({G}_{3}) which are triangles as in the proof of Theorem 16. Thus the largest number of the vertices in any maximal complete subgraph is three. If we take k,m,n>2, then we get eight maximal complete subgraphs, namely {\alpha}_{2}, {\alpha}_{3}, {\alpha}_{5}, {\alpha}_{6}, {\alpha}_{7}, {\alpha}_{8}, {\alpha}_{10} and {\alpha}_{11}, having two vertices. So, \omega (\mathrm{\Gamma}({G}_{3}))=2. □
Theorem 20 The degree sequence and the irregularity index of \mathrm{\Gamma}({G}_{3}) are given by
and
respectively.
Proof It is easily seen by the graph of the group {G}_{3}. □
2.4 Case 4: the graph \mathrm{\Gamma}({G}_{4}), where {G}_{4}=({\mathbb{Z}}_{k}\ast {\mathbb{Z}}_{l})\ast ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n})
If we consider the graph of the group {G}_{4}, then we get a subgraph \mathrm{\Gamma}({G}_{4}) of the graph in Figure 1(a) with vertices {v}_{1}={a}^{m}, {v}_{2}=a, {v}_{4}={x}^{k}, {v}_{5}=x, {v}_{9}=b, {v}_{10}={b}^{n}, {v}_{14}={y}^{l} and {v}_{15}=y. If we take k,l,m,n=2, then by Section 1.1, we obtain the edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{15} and {\alpha}_{26} in \mathrm{\Gamma}({G}_{4}). For the case k,l,m,n>2, we do not have any edges. On the other hand, since at most three orders of factor groups of {G}_{4} are equal to two, we have at most three edges between {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{15} and {\alpha}_{26}.
Since the proof of each condition of the next result is quite similar to the related results over the group {G}_{1}={\mathbb{Z}}_{k}\ast ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}) in Case 1, we omit it.
Theorem 21 Let us consider the group {G}_{4}=({\mathbb{Z}}_{k}\ast {\mathbb{Z}}_{l})\ast ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}) with its subgraph \mathrm{\Gamma}({G}_{4}) as defined in the first paragraph of this case.

(i)
The maximum and minimum degrees of the graph \mathrm{\Gamma}({G}_{4}) are
\mathrm{\Delta}(\mathrm{\Gamma}({G}_{4}))=\{\begin{array}{ll}1;& \mathit{\text{at least one of}}k,m,n=2,\\ 0;& k,m,n>2\end{array}and
\delta (\mathrm{\Gamma}({G}_{4}))=\{\begin{array}{ll}1;& k,m,n=2,\\ 0;& k,m,n>2,\end{array}respectively.

(ii)
For any k, l, m, n different from one by considering a subgraph of Figure 1(a), the girth of the graph \mathrm{\Gamma}({G}_{4}) is gr(\mathrm{\Gamma}({G}_{4}))=\mathrm{\infty}.

(iii)
The chromatic number of the graph \mathrm{\Gamma}({G}_{4}) is equal to
\chi (\mathrm{\Gamma}({G}_{4}))=\{\begin{array}{ll}2;& \mathit{\text{at least one of}}k,m,n=2,\\ 1;& k,m,n>2.\end{array} 
(iv)
The clique number of \mathrm{\Gamma}({G}_{4}) is equal to
\omega (\mathrm{\Gamma}({G}_{4}))=\{\begin{array}{ll}2;& k,m,n=2,\\ 1;& k,m,n>2.\end{array} 
(v)
The domination number of \mathrm{\Gamma}({G}_{4}) is equal to infinity.

(vi)
The degree sequence and the irregularity index of \mathrm{\Gamma}({G}_{4}) are given by
DS(\mathrm{\Gamma}({G}_{4}))=\{\begin{array}{ll}(1,1,1,1,1,1,1,1);& k,m,n=2,\\ (0,0,0,0,0,0,0,0);& k,m,n>2,\\ ({i}_{1},{i}_{2},{i}_{3},{i}_{4},{i}_{5},{i}_{6},{i}_{7},{i}_{8});& \mathit{\text{otherwise}},\end{array}where {i}_{j}=0,1 (1\le j\le 8) and
t(\mathrm{\Gamma}({G}_{4}))=\{\begin{array}{ll}1;& k,m,n\ge 2,\\ 2;& \mathit{\text{otherwise}},\end{array}respectively.
2.5 Case 5: the graph \mathrm{\Gamma}({G}_{5}), where {G}_{5}=({\mathbb{Z}}_{k}\ast {\mathbb{Z}}_{l})\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n})
Similarly as in Case 4, for the group {G}_{5}, we obtain a subgraph \mathrm{\Gamma}({G}_{5}) of the graph in Figure 1(a) having vertices {v}_{1}={a}^{m}, {v}_{2}=a, {v}_{3}={x}^{k}a, {v}_{4}={x}^{k}, {v}_{5}=x, {v}_{6}=x{a}^{m}, {v}_{7}=xa, {v}_{8}={x}^{k}b, {v}_{9}=b, {v}_{10}={b}^{n}, {v}_{11}=x{b}^{n}, {v}_{12}=xb, {v}_{13}={y}^{l}b, {v}_{14}={y}^{l}, {v}_{15}=y, {v}_{16}=y{b}^{n}, {v}_{17}=yb, {v}_{18}={y}^{l}a, {v}_{19}={v}_{2}=a, {v}_{20}={v}_{1}={a}^{m}, {v}_{21}=y{a}^{m} and {v}_{22}=ya. In this graph, the edge set depends on the orders of factor groups of {G}_{5}. If we take k,l,m,n=2, then, by the adjacency definition in Section 1.1, we have the edges {\alpha}_{j}, 1\le j\le 45 with {\alpha}_{1}={\alpha}_{37}. For the case k,l,m,n>2, we do not have any edges {\alpha}_{1}, {\alpha}_{4}, {\alpha}_{9}, {\alpha}_{12}, {\alpha}_{15}, {\alpha}_{20}, {\alpha}_{23}, {\alpha}_{26}, {\alpha}_{31}, {\alpha}_{34}, {\alpha}_{37}={\alpha}_{1}, {\alpha}_{42}, {\alpha}_{45} in \mathrm{\Gamma}({G}_{5}).
In the following result (Theorem 22 below), we again omit the proof of it as in Theorem 21 since it is quite similar to the related results over the group {G}_{2}={\mathbb{Z}}_{k}\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}) in Case 2.
Theorem 22 Let us consider the group {G}_{5}=({\mathbb{Z}}_{k}\ast {\mathbb{Z}}_{l})\times ({\mathbb{Z}}_{m}\ast {\mathbb{Z}}_{n}) with its related graph \mathrm{\Gamma}({G}_{5}) as defined in the first paragraph of Case 5.

(i)
The maximum and minimum degrees of the graph \mathrm{\Gamma}({G}_{5}) are equal to
\mathrm{\Delta}(\mathrm{\Gamma}({G}_{5}))=\{\begin{array}{ll}6;& k,m,n=2,\\ 4;& k,m,n>2\end{array}and
\delta (\mathrm{\Gamma}({G}_{5}))=\{\begin{array}{ll}3;& k,m,n=2,\\ 2;& k,m,n>2,\end{array}respectively.

(ii)
The girth of the graph \mathrm{\Gamma}({G}_{5}) is
gr(\mathrm{\Gamma}({G}_{5}))=\{\begin{array}{ll}3;& k,m,n=2,\\ 4;& k,m,n>2.\end{array} 
(iii)
The chromatic number of the graph \mathrm{\Gamma}({G}_{5}) is
\chi (\mathrm{\Gamma}({G}_{5}))=\{\begin{array}{ll}3;& \mathit{\text{at least one of}}k,m,n=2,\\ 2;& k,m,n>2.\end{array} 
(iv)
The domination number of the graph \mathrm{\Gamma}({G}_{5}) is
\gamma (\mathrm{\Gamma}({G}_{5}))=\{\begin{array}{ll}4;& k,m,n=2,\\ 6;& k,m,n>2.\end{array} 
(v)
The clique number of the graph \mathrm{\Gamma}({G}_{5}) is
\omega (\mathrm{\Gamma}({G}_{5}))=\{\begin{array}{ll}3;& k,m,n=2,\\ 2;& k,m,n>2.\end{array} 
(vi)
The degree sequence and the irregularity index of \mathrm{\Gamma}({G}_{5}) are given by
DS(\mathrm{\Gamma}({G}_{5}))=\{\begin{array}{ll}(5,5,3,5,5,3,6,3,5,5,3,6,3,5,5,3,6,3,5,5,3,6);& k,m,n=2,\\ (4,4,2,4,4,2,4,2,4,4,2,4,2,4,4,2,4,2,4,4,2,4);& k,m,n>2\end{array}and
t(\mathrm{\Gamma}({G}_{5}))=\{\begin{array}{ll}3;& k,m,n=2,\\ 2;& k,m,n>2,\end{array}respectively.
References
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. 2013., 2013: Article ID 51. doi:10.1186/1687–2770–2013–51
Cevik AS, Cangul IN, Simsek Y: An analysis approach to an extension of finite monoids. Fixed Point Theory Appl. 2013., 2013: Article ID 15. doi:10.1186/1687–1812–2013–15
Kelarev AV, Praeger CE: On transitive Cayley graphs of groups and semigroups. Eur. J. Comb. 2003, 24: 59–72. 10.1016/S01956698(02)001208
Kelarev AV: On Cayley graphs of inverse semigroups. Semigroup Forum 2006, 72: 411–418. 10.1007/s0023300505269
Luo Y, Hao Y, Clarke GT: On the Cayley graphs of completely simple semigroups. Semigroup Forum 2011, 82: 288–295. 10.1007/s0023301092675
Anderson DF, Livingston PS: The zerodivisor graph of commutative ring. J. Algebra 1999, 217: 434–447. 10.1006/jabr.1998.7840
Anderson DF, Badawi A: The zerodivisor graph of a ring. Commun. Algebra 2008, 36(8):3073–3092. 10.1080/00927870802110888
DeMeyer FR, DeMeyer L: Zerodivisor graphs of semigroups. J. Algebra 2005, 283: 190–198. 10.1016/j.jalgebra.2004.08.028
Gross JL: Handbook of Graph Theory. Chapman & Hall/CRC Press, Boca Raton; 2004.
Mukwembi S: A note on diameter and the degree sequence of a graph. Appl. Math. Lett. 2012, 25: 175–178. 10.1016/j.aml.2011.08.010
Buchberger, B: An Algorithm for Finding a Basis for the Residue Class Ring of a ZeroDimensional Ideal. Ph.D. thesis, University of Innsbruck (1965)
Bergman GM: The diamond lemma for ring theory. Adv. Math. 1978, 29: 178–218. 10.1016/00018708(78)900105
Shirshov AI: Some algorithmic problems for Lie algebras. Sib. Math. J. 1962, 3: 292–296.
Bokut LA: Imbedding into simple associative algebras. Algebra Log. 1976, 15: 117–142.
Bokut LA, Vesnin A: GröbnerShirshov bases for some Braid groups. J. Symb. Comput. 2006, 41: 357–371. 10.1016/j.jsc.2005.09.009
Chen Y: GröbnerShirshov bases for Schreier extensions of groups. Commun. Algebra 2008, 36: 1609–1625. 10.1080/00927870701869899
Chen Y, Zhong C:GröbnerShirshov bases for HNNextensions of groups and for the alternating group. Commun. Algebra 2008, 36: 94–103. 10.1080/00927870701665180
Ates F, Karpuz EG, Kocapinar C, Cevik AS: GröbnerShirshov bases of some monoids. Discrete Math. 2011, 311: 1064–1071. 10.1016/j.disc.2011.03.008
Bokut LA: GröbnerShirshov basis for the Braid group in the BirmanKoLee generators. J. Algebra 2009, 321: 361–376. 10.1016/j.jalgebra.2008.10.007
Bokut LA: GröbnerShirshov basis for the Braid group in the ArtinGarside generators. J. Symb. Comput. 2008, 43: 397–405. 10.1016/j.jsc.2007.02.003
Bokut LA, Chen Y, Zhao X: GröbnerShirshov bases for free inverse semigroups. Int. J. Algebra Comput. 2009, 19(2):129–143. 10.1142/S0218196709005019
Bokut LA, Chainikov VV: GröbnerShirshov basis of the Adyan extension of the Novikov group. Discrete Math. 2008, 308: 4916–4930. 10.1016/j.disc.2007.09.011
Karpuz EG, Cevik AS: GröbnerShirshov bases for extended modular, extended Hecke and Picard groups. Math. Notes 2012, 92(5):636–642. 10.1134/S0001434612110065
Kocapinar C, Karpuz EG, Ates F, Cevik AS: GröbnerShirshov bases of the generalized BruckReilly ∗extension. Algebra Colloq. 2012, 19(1):813–820.
Bokut LA: Unsolvability of the word problem, and subalgebras of finitely presented Lie algebras. Izv. Akad. Nauk SSSR, Ser. Mat. 1972, 36: 1173–1219.
Buchberger B: An algorithmical criteria for the solvability of algebraic systems of equations. Aequ. Math. 1970, 4: 374–383. (in German) 10.1007/BF01844169
Acknowledgements
Dedicated to Professor Hari M Srivastava.
All authors are partially supported by Research Project Offices (BAP) of their universities in 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
G Karpuz, E., Ates, F., Çevik, A.S. et al. The graph based on GröbnerShirshov bases of groups. Fixed Point Theory Appl 2013, 71 (2013). https://doi.org/10.1186/16871812201371
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871812201371