# The construction of simplicial groups in digital images

## Abstract

In this paper, we recall some definitions and properties from digital topology, and we consider the simplices and simplicial complexes in digital images due to adjacency relations. Then we define the simplicial set and conclude that the simplicial identities are satisfied in digital images. Finally, we construct the group structure in digital images and define the simplicial groups in digital images. Consequently, we calculate the digital homology group of two-dimensional digital simplicial group.

MSC:55N35, 68R10, 68U10, 18G30.

## 1 Introduction and basic concepts

Digital topology is a branch of mathematics where the image processing and digital image processing are studied. Many mathematicians such as Rosenfeld , Han , Kong [3, 4], Malgouyres , Boxer , Karaca  and others have contributed to this area with their research. The notions of a digital image, a digital continuous map and digital homotopy were studied in literature [1, 4, 5, 7, 8]. Their recognition and efficient computation became a useful material for our study.

On the other hand, simplicial groups were first studied by Kan  in the 1950s. We carry the notion of a digital image on to the simplicial groups and construct algebraic structures in digital images such as simplicial sets, simplicial groups by using the figures and definitions in . In dimension one, we use the 2-adjacency relation, and in dimension two, we use the 8-adjacency relation.

Assume that ${\mathbb{Z}}^{n}$ is n-dimensional Euclidean spaces. A finite subset of ${\mathbb{Z}}^{n}$ with an adjacency relation is called to be a digital image.

Definition 1.1 (; see also  and )

1. (1)

Two points p and q in are 2-adjacent if $|p-q|=1$.

2. (2)

Two points p and q in ${\mathbb{Z}}^{2}$ are 8-adjacent if they are distinct and differ by at most 1 in each coordinate.

3. (3)

Two points p and q in ${\mathbb{Z}}^{2}$ are 4-adjacent if they are 8-adjacent and differ by exactly one coordinate.

4. (4)

Two points p and q in ${\mathbb{Z}}^{3}$ are 26-adjacent if they are distinct and differ by at most 1 in each coordinate.

5. (5)

Two points p and q in ${\mathbb{Z}}^{3}$ are 18-adjacent if they are 26-adjacent and differ in at most two coordinates.

6. (6)

Two points p and q in ${\mathbb{Z}}^{3}$ are 6-adjacent if they are 18-adjacent and differ by exactly one coordinate (see Figures 1-3).

Suppose that κ is an adjacency relation defined on ${\mathbb{Z}}^{n}$. A digital image $X\subset {\mathbb{Z}}^{n}$ is κ-connected  if and only if for every pair of points $\left\{x,y\right\}\subset X$, $x\ne y$, there is a set $\left\{{x}_{0},{x}_{1},\dots ,{x}_{c}\right\}\subset X$ such that $x={x}_{0}$, ${x}_{c}=y$ and ${x}_{i}$ and ${x}_{i+1}$ are κ-neighbors, $i\in \left\{0,1,\dots ,c-1\right\}$.

Definition 1.2 Let X and Y be digital images such that $X\subset {\mathbb{Z}}^{{n}_{0}}$, $Y\subset {\mathbb{Z}}^{{n}_{1}}$. Then the digital function $f:X\to Y$ is a function which is defined between digital images.

Definition 1.3 (; see also  and )

Let X and Y be digital images such that $X\subset {\mathbb{Z}}^{{n}_{0}}$, $Y\subset {\mathbb{Z}}^{{n}_{1}}$. Assume that $f:X\to Y$ is a function. Let ${\kappa }_{i}$ be an adjacency relation defined on ${\mathbb{Z}}^{{n}_{i}}$, $i\in \left\{0,1\right\}$. Then f is called to be $\left({\kappa }_{0},{\kappa }_{1}\right)$-continuous if the image under f of every ${\kappa }_{0}$-connected subset of X is ${\kappa }_{1}$-connected.

A function which is defined in Definition 1.3 is referred to be digitally continuous. A consequence of this definition is given below.

Let X and Y be digital images. Then the function $f:X\to Y$ is said to be $\left({\kappa }_{0},{\kappa }_{1}\right)$-continuous if and only if for every $\left\{x,y\right\}\subset X$ such that ${x}_{0}$ and ${x}_{1}$ are ${\kappa }_{0}$-adjacent, either $f\left({x}_{0}\right)=f\left({x}_{1}\right)$ or $f\left({x}_{0}\right)$ and $f\left({x}_{1}\right)$ are ${\kappa }_{1}$-adjacent.

Definition 1.5 ()

Let $a,b\in \mathbb{Z}$, $a. A digital interval is a set of the form

${\left[a,b\right]}_{\mathbb{Z}}=\left\{z\in \mathbb{Z}|a\le z\le b\right\},$

in which 2-adjacency is assumed.

For instance, if κ is an adjacency relation on a digital image Y, then $f:{\left[a,b\right]}_{\mathbb{Z}}\to Y$ is $\left(2,\kappa \right)$-connected if and only if for every $\left\{c,c+1\right\}\subset {\left[a,b\right]}_{\mathbb{Z}}$, either $f\left(c\right)=f\left(c+1\right)$ or $f\left(c\right)$ and $f\left(c+1\right)$ are κ-adjacent.

Definition 1.6 ()

Let S be a set of nonempty subsets of a digital image $\left(X,\kappa \right)$. Then the members of S are called simplices of $\left(X,\kappa \right)$ if the following hold:

1. (a)

If p and q are distinct points of $s\in S$, then p and q are κ-adjacent.

2. (b)

If $s\in S$ and $\mathrm{\varnothing }\ne t\subset s$, then $t\in S$ (note that this implies that every point p belonging to a simplex determines a simplex $\left\{p\right\}$).

An m-simplex is a simplex S such that $|S|=m+1$. Definition 1.7 ([9, 14])

Let $\left(X,\kappa \right)$ be a finite collection of digital m-simplices, $0\le m\le d$, for some nonnegative integer d. If the following statements hold, then $\left(X,\kappa \right)$ is called a finite digital simplicial complex:

1. (1)

If P belongs to X, then every face of P also belongs to X.

2. (2)

If $P,Q\in X$, then $P\cap Q$ is either empty or a common face of P and Q.

The dimension of a digital simplicial complex X is the largest integer m such that X has an m-simplex.

Example 1.8 If X is a digital simplicial complex and $\left[{v}_{{i}_{0}},\dots ,{v}_{{i}_{m}}\right]$ is a $\left(\kappa ,m\right)$-simplex of X, then any subset of $\left\{{v}_{{i}_{0}},\dots ,{v}_{{i}_{m}}\right\}\subset \left({\mathbb{Z}}^{n},\kappa \right)$ is a face of that digital simplex and thus is itself a digital simplex of X. In particular, we can think of the $\left(\kappa ,m\right)$-simplex $\left[{v}_{{i}_{0}},\dots ,{v}_{{i}_{m}}\right]$ as a geometric digital simplicial complex consisting of itself and its face.

## 2 Digital simplicial maps

If K and L are geometric digital simplicial complexes, then a digital simplicial map $f:K\to L$ is determined by taking the vertices $\left\{{v}_{i}\right\}$ of K to vertices $\left\{f\left({v}_{i}\right)\right\}$ of L such that if $\left[{v}_{{i}_{0}},\dots ,{v}_{{i}_{m}}\right]$ is a $\left({\kappa }_{1},m\right)$-simplex of K, then $f\left({v}_{{i}_{0}}\right),\dots ,f\left({v}_{{i}_{m}}\right)$ are all vertices (not necessarily unique) of some $\left({\kappa }_{2},m\right)$-simplex in L. Given such a function ${K}^{0}\to {L}^{0}$, the rest of $f:K\to L$ is determined by linear interpolation on each $\left({\kappa }_{1},m\right)$-simplex (if $x\in K$ can be represented by $x={\sum }_{j=1}^{m}{t}_{j}{v}_{{i}_{j}}$ in barycentric coordinates of the $\left({\kappa }_{1},m\right)$-simplex spanned by the ${v}_{{i}_{j}}$, then $f\left(x\right)={\sum }_{j=1}^{m}{t}_{j}f\left({v}_{{i}_{j}}\right)$) (see Figures 4, 5).

Corollary 2.1 Every digital simplicial map is digitally continuous.

Proof Let K and L be digital simplicial complexes having ${\kappa }_{1}$ and ${\kappa }_{2}$ adjacency, respectively, and let $f:K\to L$ be a digital simplicial map. Since K is a simplicial complex, then the point of simplices of K have ${\kappa }_{1}$ adjacency. So, f maps the points of the simplices of K to the points of the simplices of L. Therefore the image of ${\kappa }_{1}$-adjacent points under f is ${\kappa }_{2}$-adjacent points. Consequently, f is $\left({\kappa }_{1},{\kappa }_{2}\right)$-continuous, i.e., digitally continuous. □

Example 2.2 A simple but interesting and important example is the inclusion of a $\left(\kappa ,m\right)$-simplex into a digital simplicial complex. If X is a digital simplicial complex and ${v}_{{i}_{0}},\dots ,{v}_{{i}_{m}}$ is a collection of vertices of X that spans a $\left(\kappa ,m\right)$-simplex of X, then $K=\left[{v}_{{i}_{0}},\dots ,{v}_{{i}_{m}}\right]$ is itself a digital simplicial complex. We then have a simplicial map $K\to X$ that takes each ${v}_{{i}_{j}}$ to the corresponding vertex in X and hence takes K identically to itself inside X.

Example 2.3 Let $\left[{v}_{0},{v}_{1},{v}_{2}\right]$ be a $\left(8,2\right)$-simplex, one of whose $\left(8,1\right)$-faces is $\left[{v}_{0},{v}_{1}\right]$. Consider the simplicial map $f:\left[{v}_{0},{v}_{1},{v}_{2}\right]\to \left[{v}_{0},{v}_{1}\right]$, determined by $f\left({v}_{0}\right)={v}_{0}$, $f\left({v}_{1}\right)={v}_{1}$, $f\left({v}_{2}\right)={v}_{1}$, that collapses the $\left(8,2\right)$-simplex down to the $\left(8,1\right)$-simplex (see Figure 5). The great benefit of the theory of digital simplicial sets is a way to generalize these kinds of maps in order to preserve information so that we can still see the image of the $\left(\kappa ,2\right)$-simplex hiding in the $\left(\kappa ,1\right)$-simplex as a degenerate $\left(\kappa ,m\right)$-simplex.

### 2.1 Face maps in digital images

Given a $\left(\kappa ,n\right)$-simplex, we would like a handy way of referring to its $\left(n-1\right)$-dimensional faces. This is handled by the face maps. On the standard $\left(\kappa ,n\right)$-simplex, we have $n+1$ face maps ${d}_{0},\dots ,{d}_{n}$, defined so that ${d}_{j}\left[0,\dots ,n\right]=\left[0,\dots ,\stackrel{ˆ}{j},\dots ,n\right]$, where, as usual, the ˆ denotes a term that is being omitted. Thus applying ${d}_{j}$ to $\left[0,\dots ,n\right]$ yields the $\left(n-1\right)$-face missing the vertex j. It is important to note that each ${d}_{j}$ simply assigns one of its faces to the $\left(\kappa ,n\right)$-simplex (see Figures 6, 7).

### 2.2 Delta sets and delta maps in digital images

Delta sets (sometimes called ${\mathrm{\Delta }}_{\kappa }$-sets) constitute an intermediary between digital simplicial complexes and digital simplicial sets.

Definition 2.4 A delta set consists of a sequence of sets ${X}_{0},{X}_{1},\dots$ which have ${\kappa }_{0},{\kappa }_{1},\dots$ adjacency respectively, and the maps ${d}_{i}:{X}_{n+1}\to {X}_{n}$ for each i and $n\ge 0$, $0\le i\le n+1$, such that ${d}_{i}{d}_{j}={d}_{j-1}{d}_{i}$ whenever $i.

Of course this is just an abstraction, and generalization, of the definition of an ordered digital simplicial complex, in which ${X}_{n}$ are the sets of $\left(\kappa ,n\right)$-simplices and the ${d}_{i}$ are the digital face maps.

### 2.3 Degenerate maps in digital images

Degeneracy maps in digital images are, in some sense, the conceptual converse of face maps. Recall that the face map ${d}_{j}$ takes a $\left(\kappa ,n\right)$-simplex and gives us back its j th $\left(n-1\right)$-face. On the other hand, the j th digital degeneracy map ${s}_{j}$ takes a $\left(\kappa ,n\right)$-simplex and gives us back the j th degenerate $\left(\kappa ,\left(n+1\right)\right)$-simplex in digital images living inside it.

As usual, we illustrate with the standard $\left(\kappa ,n\right)$-simplex, which will be a model for what happens in all digital simplicial sets. Given the standard $\left(\kappa ,n\right)$-simplex as ${|{\mathrm{\Delta }}^{2}|}_{\kappa }=\left[0,\dots ,n\right]$, there are $\left(n+1\right)$-digital degeneracy maps ${s}_{0},\dots ,{s}_{n}$, defined by ${s}_{j}\left[0,\dots ,n\right]=\left[0,\dots ,j,j,\dots ,n\right]$. In other words, ${s}_{j}\left[0,\dots ,n\right]$ gives us the unique degenerate $\left(\kappa ,\left(n+1\right)\right)$-simplex in ${|{\mathrm{\Delta }}^{n}|}_{\kappa }$ with only the j th vertex repeated.

Again, the geometric concept is that ${s}_{j}{|{\mathrm{\Delta }}^{n}|}_{\kappa }$ can be thought of as the process of collapsing ${\mathrm{\Delta }}^{n+1}$ down into ${\mathrm{\Delta }}^{n}$ by the digital simplicial map ${\pi }_{j}$ defined by ${\pi }_{j}\left(i\right)=i$ for $i, ${\pi }_{j}\left(j\right)={\pi }_{j}\left(j+1\right)=j$ and ${\pi }_{j}\left(j\right)=i-1$ for $i>j+1$.

This idea extends naturally to digital simplicial complexes, to digital delta sets, and also to $\left(\kappa ,n\right)-1$ simplices that are already degenerate. If we have a (possibly degenerate) $\left(\kappa ,n\right)$-simplex $\left[{v}_{{i}_{0}},\dots ,{v}_{{i}_{n}}\right]$ with ${i}_{k}\le {i}_{k+1}$ for each k, $0\le k, then we set ${s}_{j}\left[{v}_{{i}_{0}},\dots ,{v}_{{i}_{n}}\right]=\left[{v}_{{i}_{0}},\dots ,{v}_{{i}_{j}},{v}_{{i}_{j}},\dots ,{v}_{{i}_{n}}\right]$, i.e., ${v}_{{i}_{j}}$ always repeats. Thus we may say that this is a digital degenerate simplex in $\left[{v}_{{i}_{0}},\dots ,{v}_{{i}_{n}}\right]$.

Also, as for the ${d}_{i}$, there are certain natural relations that the degeneracy maps possess. In particular, if $i\le j$, then ${s}_{i}{s}_{j}\left[0,\dots ,n\right]=\left[0,\dots ,i,i,\dots ,j,j,\dots ,n\right]={s}_{j+1}{s}_{i}\left[0,\dots ,n\right]$. Note that we have ${s}_{j+1}$ in the last formula, not ${s}_{j}$, since the application of ${s}_{i}$ pushes j one slot to the right.

Furthermore, there are relations amongst the face and degeneracy operators. These are a little bit advantageous to write down since there are three possibilities: These situations are all clear. For example, applying $\left[0,\dots ,n\right]$ to either side of the first formula yields $\left[0,\dots ,\stackrel{ˆ}{ı},\dots ,j,j,\dots ,n\right]$. Note also that the middle formula takes care of both $i=j$ and $i=j+1$.

## 3 The structure of a simplicial set in digital images

Now we give the definition of digital simplicial sets.

Definition 3.1 A digital simplicial set consists of a sequence of sets ${X}_{0},{X}_{1},\dots$ which have ${\kappa }_{0},{\kappa }_{1},\dots$ adjacency respectively, the functions ${d}_{i}:{X}_{n}\to {X}_{n-1}$ and ${s}_{i}:{X}_{n}\to {X}_{n+1}$ for each i and $n\ge 0$ with $0\le i\le n$ are such that Example 3.2 If the standard $\left(2,0\right)$-simplex $X=\left[0\right]$ is now realized as a digital simplicial set, then it is the unique digital simplicial set with one element in each ${X}_{n}$, $n\ge 0$. Thus the element in dimension n is $\left[\underset{n+1\text{-}\mathrm{times}}{\underset{⏟}{0,0,\dots ,0}}\right]$.

Example 3.3 As a digital simplicial set, the standard ordered $\left(2,1\right)$-simplex $X=\left[0,1\right]$ already has $n+2$ elements in each ${X}_{n}$. Namely, ${X}_{2}=\left\{\left[0,0,0\right],\left[0,0,1\right],\left[0,1,1\right],\left[1,1,1\right]\right\}$.

### 3.1 Nondegenerate simplices in digital images

A $\left(\kappa ,n\right)$-simplex $x\in {X}_{n}$ is called nondegenerate if x cannot be written as ${s}_{i}y$ for any $y\in {X}_{n-1}$ and any i.

Every $\left(\kappa ,n\right)$-simplex of a digital simplicial complex or digital delta set is a nondegenerate simplex of the corresponding digital simplicial set. If Y is a topological space, then a $\left(\kappa ,n\right)$-simplex of $S\left(Y\right)$ is nondegenerate. It cannot be written as the composition ${\mathrm{\Delta }}_{\kappa }^{n}\stackrel{\pi }{⟶}{\mathrm{\Delta }}_{\kappa }^{k}\stackrel{\sigma }{⟶}Y$, where π is a simplicial collapse with $k and σ is a singular $\left(\kappa ,k\right)$-simplex (see Figures 8-10).

Note that it is possible for a nondegenerate $\left(\kappa ,n\right)$-simplex to have a degenerate $\left(\kappa ,n\right)$-face. It is also possible for a degenerate simplex to have a nondegenerate face (for example, we know ${d}_{j}{s}_{j}x=x$ for any x, it is degenerate or not).

### 3.2 Categorical definition

As for digital delta sets, the basic properties of simplicial sets derive from those of the standard ordered $\left(\kappa ,n\right)$-simplex. In fact, that is where the prototypes of both the face and degeneracy maps live and where we first developed the axioms relating them. Thus it is not surprising (at this point) that there is a categorical definition of digital simplicial sets, analogous to the one for delta sets, in which each digital simplicial set is the functorial image of a category and Δ is built from the standard digital simplices.

Definition 3.4 The category ${\mathrm{\Delta }}_{\kappa }$ has the finite ordered sets ${\left[n\right]}_{\kappa }=\left\{0,1,2,\dots ,n\right\}$ as objects. The morphisms of ${\mathrm{\Delta }}_{\kappa }$ are order-preserving functions ${\left[m\right]}_{\kappa }\to {\left[n\right]}_{\kappa }$.

Definition 3.5 (Categorical definition of digital simplicial set)

Let DSet be a category of digital sets, that is, DSet has digital images as objects and digital functions as morphisms. A digital simplicial set is a contravariant functor $X:{\mathrm{\Delta }}_{\kappa }\to \mathit{DSet}$ (equivalently, a covariant functor $X:{\mathrm{\Delta }}_{\kappa }^{op}\to \mathit{DSet}$).

## 4 Simplicial groups in digital images

Group axioms are satisfied in a finite subset of ${\mathbb{Z}}^{n}$, including the $\left(0,0,\dots ,0\right)$ point.

Definition 4.1 Let $\mathcal{G}$ be a subset of the digital image which has κ-adjacency relation. A simplicial group $\mathcal{G}$ in digital images consists of a sequence of groups ${\mathcal{G}}_{n}$ and collections of group homomorphisms ${d}_{i}:{\mathcal{G}}_{n}\to {\mathcal{G}}_{n-1}$ and ${s}_{i}:{\mathcal{G}}_{n}\to {\mathcal{G}}_{n+1}$, $0\le i\le n$, that satisfy the following axioms: An example of a simplicial group in a digital image can be seen in Figure 11.

Example 4.2 Suppose X is a digital simplicial set with κ-adjacency. Then we may define the simplicial group ${C}_{\ast }\left(X\right)$ having ${\left({C}_{\ast }X\right)}_{n}={C}_{n}\left(X\right)$ as a free abelian group generated by the elements of ${X}_{n}$ with ${d}_{i}$ and ${s}_{i}$ in ${C}_{\ast }\left(X\right)$ taken to be linear extensions of the face maps ${d}_{i}$ and ${s}_{i}$ of X.

We can also present the total face map $d={\sum }_{i=0}^{n}{\left(-1\right)}^{i}{d}_{i}:{C}_{n}\left(X\right)\to {C}_{n-1}\left(X\right)$ and then define the homology ${H}_{\ast }\left(X\right)$ as the homology of the chain complex $\left({C}_{\ast }\left(X\right),d\right)$.

Example 4.3 Let us give a remarkable example for a simplicial group in digital images, which is important in the theory of homology of groups in digital images. Assume that G is a group of digital images and DG is the simplicial group defined as follows. Let $D{G}_{n}={G}^{×n}$ be the product of G with itself n times. Thus ${G}^{×0}$ is just the trivial group $\left\{e\right\}$. For an element $\left({g}_{1},\dots ,{g}_{n}\right)\in D{G}_{n}$, let This defines a simplicial group in digital images. The realization of an underlying digital simplicial set turns out to be the classifying space of the group G, and so the homology ${H}_{\ast }\left(DG\right)$ coincides with group homology of the group G.

## 5 Digital homology groups of simplicial groups

In this section, we consider X as a digital simplicial group, and we use the method of calculations given by  and .

Definition 5.1 ${C}_{n}\left(X\right)$ is a free abelian group with basis of all digital $\left(\kappa ,n\right)$-simplices in X.

Corollary 5.2 Let X be an m-dimensional digital simplicial group with κ-adjacency. Then if $q>m$, then ${C}_{q}^{\kappa }\left(X\right)$ is a trivial group.

Definition 5.3 Let $\left(X,\kappa \right)\subset {\mathbb{Z}}^{n}$ be an m-dimensional digital simplicial group. The homomorphism ${\partial }_{q}:{C}_{q}^{\kappa }\left(X\right)\to {C}_{q-1}^{\kappa }\left(X\right)$ defined by

${\partial }_{q}\left(〈{x}_{0},\dots ,{x}_{q}〉\right)=\left\{\begin{array}{cc}{\sum }_{i=0}^{q}{\left(-1\right)}^{i}〈{p}_{0},\dots ,{\stackrel{ˆ}{p}}_{i},\dots ,{p}_{q}〉,\hfill & q\le m,\hfill \\ 0,\hfill & q>m\hfill \end{array}$

is called boundary homomorphism. (Here ${\stackrel{ˆ}{p}}_{i}$ denotes the deletion of the point ${p}_{i}$.)

Proposition 5.4 ${\partial }_{n-1}\circ {\partial }_{n}=0$ for $1\le n\le m$. (See [9, 14]).

Proof Let $\mathrm{\Delta }=\left[{x}_{0},\dots ,{x}_{n}\right]$ be a $\left(\kappa ,n\right)$-simplex. Then

$\begin{array}{rcl}{\partial }_{n-1}\circ {\partial }_{n}\left(\mathrm{\Delta }\right)& =& {\partial }_{n-1}\left({\partial }_{n}\left[{x}_{0},\dots ,{x}_{n}\right]\right)\\ =& {\partial }_{n-1}\left(\sum _{i=1}^{n}{\left(-1\right)}^{i}\left[{x}_{0},\dots ,{\stackrel{ˆ}{x}}_{i},\dots ,{x}_{n}\right]\right)\\ =& \sum _{i=1}^{n}{\left(-1\right)}^{i}\left[\sum _{j=1}^{n}{\left(-1\right)}^{j}\left[{x}_{0},\dots ,{\stackrel{ˆ}{x}}_{j},\dots ,{\stackrel{ˆ}{x}}_{i},\dots ,{x}_{n}\right]\right]\\ +\sum _{j=i+1}^{n}{\left(-1\right)}^{j-1}\left[{x}_{0},\dots ,{\stackrel{ˆ}{x}}_{i},\dots ,{\stackrel{ˆ}{x}}_{j},\dots ,{x}_{n}\right]\\ =& \sum _{j

□

Definition 5.5 Let X be a digital simplicial group with κ-adjacency. Then

${H}_{q}^{\kappa }\left(X\right)=\frac{{Z}_{q}^{\kappa }\left(X\right)}{{B}_{q}^{\kappa }\left(X\right)}=\frac{Ker{\partial }_{q}}{Im{\partial }_{q+1}}$

is called the q th digital homology group, where ${Z}_{q}^{\kappa }\left(X\right)=Ker{\partial }_{q}$ is the groups of digital simplicial q-cycles and ${B}_{q}^{\kappa }\left(X\right)=Im{\partial }_{q+1}$ is the groups of digital simplicial q-boundaries.

Proposition 5.6 Let ${X}_{0}=\left[0\right]$ be a $\left(2,0\right)$-simplex. Then ${H}_{0}^{2}\left({X}_{0}\right)\cong \mathbb{Z}$.

Proof Consider the ${X}_{0}=\left[0\right]$, $\left(2,0\right)$-simplex which is shown as So, ${C}_{0}^{2}\left({X}_{0}\right)=〈0〉\cong \mathbb{Z}$ ve ${C}_{i}^{2}\left({X}_{0}\right)=\left\{0\right\}$, $i\ge 1$.

Then we get the short sequence as follows: Since ${Z}_{0}^{\kappa }\left({X}_{0}\right)=Ker{\partial }_{0}={C}_{0}^{2}\left({X}_{0}\right)\cong \mathbb{Z}$, then ${B}_{0}^{\kappa }\left({X}_{0}\right)=Im{\partial }_{1}=\left\{0\right\}$.

Consequently, ${H}_{0}^{\kappa }\left({X}_{0}\right)=\frac{{Z}_{0}^{\kappa }\left({X}_{0}\right)}{{B}_{0}^{\kappa }\left({X}_{0}\right)}=\frac{Ker{\partial }_{0}}{Im{\partial }_{1}}\cong \mathbb{Z}$. □

Proposition 5.7 Let ${X}_{1}=\left[0,1\right]$ be $\left(8,1\right)$-simplex. Then

${H}_{q}^{\kappa }\left({X}_{1}\right)=\left\{\begin{array}{cc}\mathbb{Z},\hfill & q=0,\hfill \\ 0,\hfill & q>0.\hfill \end{array}$

Proof Consider the ${X}_{1}=\left[0,1\right]$, $\left(8,1\right)$-simplex as follows. Let us choose the direction as $0<1$. Thus ${H}_{q}^{8}\left({X}_{1}\right)\cong \left\{0\right\}$ for $q>1$. Then ${C}_{0}^{8}\left({X}_{1}\right)$ and ${C}_{1}^{8}\left({X}_{1}\right)$ are free abelian groups induced by the following basis, respectively: Hence we get the following short sequence: We may point out: Thus ${Z}_{1}^{8}\left({X}_{1}\right)=\left\{0\right\}$. Therefore ${H}_{1}^{8}\left({X}_{0}\right)=\frac{{Z}_{1}^{8}\left({X}_{0}\right)}{{B}_{1}^{8}\left({X}_{0}\right)}=\frac{Ker{\partial }_{1}}{Im{\partial }_{2}}\cong \left\{0\right\}$. □

Proposition 5.8 Let ${X}_{2}=\left[0,1,2\right]$ be $\left(8,2\right)$-simplex. Then

${H}_{q}^{8}\left({X}_{1}\right)=\left\{\begin{array}{cc}\mathbb{Z},\hfill & q=0,\hfill \\ 0,\hfill & q>0.\hfill \end{array}$

Proof Consider the ${X}_{2}=\left[0,1,2\right]$, $\left(8,2\right)$-simplex as follows. Choosing the direction is $0<1<2$ for this simplex, then ${H}_{q}^{8}\left({X}_{1}\right)\cong \left\{0\right\}$ for $q>2$. On the other hand, ${C}_{0}^{8}\left({X}_{2}\right)$, ${C}_{1}^{8}\left({X}_{2}\right)$ and ${C}_{2}^{8}\left({X}_{2}\right)$ are free abelian groups induced by the following basis, respectively: Hence, we get the following short sequence: Here ${B}_{2}^{8}\left({X}_{2}\right)=Im{\partial }_{3}=\left\{0\right\}$.

${\partial }_{2}\left(a〈0,1,2〉\right)=a\left(〈1,2〉-〈0,2〉+〈0,1〉\right).$

So, ${Z}_{2}^{8}\left({X}_{2}\right)=\left\{0\right\}$. Thus ${H}_{2}^{8}\left({X}_{2}\right)=\left\{0\right\}$.

From the description of ${\partial }_{2}$, we get

${B}_{1}^{8}\left({X}_{2}\right)=\left\{a\left(〈0,1〉+〈1,2〉-〈0,2〉\right)|a\in \mathbb{Z}\right\}$

and

${\partial }_{1}\left(a〈0,1〉+b〈1,2〉+c〈0,2〉\right)=\left(a-b\right)〈0〉+\left(a-c\right)〈1〉+\left(b+c\right)〈2〉=0.$

Therefore $a=-b=c$, so

${Z}_{1}^{8}\left({X}_{2}\right)=\left\{a\left(〈0,1〉+〈1,2〉-〈0,2〉\right)|a\in \mathbb{Z}\right\}={B}_{1}^{8}\left({X}_{2}\right).$

Thus ${H}_{1}^{8}\left({X}_{2}\right)=\left\{0\right\}$. Hence Therefore ${B}_{0}^{8}\left({X}_{2}\right)={\mathbb{Z}}^{2}$.

By using a short sequence again, we obtain

${Z}_{0}^{8}\left({X}_{2}\right)=\left\{a〈0〉+b〈1〉+c〈2〉|a,b,c\in \mathbb{Z},a+b+c=0\right\}\cong {\mathbb{Z}}^{3}.$

Then ${H}_{0}^{8}\left({X}_{2}\right)=\frac{{Z}_{0}^{8}\left({X}_{2}\right)}{{B}_{0}^{8}\left({X}_{2}\right)}=\mathbb{Z}$.

Consequently,

${H}_{q}^{8}\left({X}_{2}\right)=\left\{\begin{array}{cc}\mathbb{Z},\hfill & q=0,\hfill \\ 0,\hfill & q>0.\hfill \end{array}$

□

Theorem 5.9 Let X be a digital simplicial group of dimension 2 with 8-adjacency, then

${H}_{q}^{8}\left(X\right)=\left\{\begin{array}{cc}\mathbb{Z},\hfill & q=0,\hfill \\ 0,\hfill & q>0.\hfill \end{array}$

Proof

Considering Propositions 5.6, 5.7 and 5.8, we have

${H}_{q}^{8}\left(X\right)=\left\{\begin{array}{cc}\mathbb{Z},\hfill & q=0,\hfill \\ 0,\hfill & q>0.\hfill \end{array}$

□

## 6 Conclusion

In this paper we introduce the simplicial groups in digital images, and we calculate digital homology group of two-dimensional simplicial group.

## References

1. Rosenfeld A: Continuous functions on digital pictures. Pattern Recognit. Lett. 1986, 4: 177–184. 10.1016/0167-8655(86)90017-6

2. Han SE: Computer topology and its applications. Honam Math. J. 2003, 25: 153–162.

3. Kong TY: A digital fundamental group. Comput. Graph. 1989, 13: 159–166. 10.1016/0097-8493(89)90058-7

4. Kong TY, Roscoe AW, Rosenfeld A: Concepts of digital topology. Topol. Appl. 1992, 46: 219–262. 10.1016/0166-8641(92)90016-S

5. Malgouyres R: Homotopy in 2-dimensional digital images. Theor. Comput. Sci. 2000, 230: 221–233. 10.1016/S0304-3975(98)00347-8

6. Boxer L: Digitally continuous functions. Pattern Recognit. Lett. 1994, 15: 833–839. 10.1016/0167-8655(94)90012-4

7. Boxer L: A classical construction for the digital fundamental group. J. Math. Imaging Vis. 1999, 10: 51–62. 10.1023/A:1008370600456

8. Boxer L: Properties of digital homotopy. J. Math. Imaging Vis. 2005, 22: 19–26. 10.1007/s10851-005-4780-y

9. Karaca I, Boxer L, Öztel A: Topological invariants in digital images. J. Math. Sci.: Adv. Appl. 2011, 11(2):109–140.

10. Karaca I, Boxer L: Some properties of digital covering spaces. J. Math. Imaging Vis. 2010, 37: 17–26. 10.1007/s10851-010-0189-3

11. Karaca I, Boxer L: The classification of digital covering spaces. J. Math. Imaging Vis. 2008, 32: 23–29. 10.1007/s10851-008-0088-z

12. Kan DM: A combinatorial definition of homotopy groups. Ann. Math. 1958, 61: 288–312.

13. Freidman G: An elementary illustrated introduction to simplicial set. Rocky Mt. J. Math. 2011, 42: 353–424.

14. Arslan H, Karaca I, Öztel A: Homology groups of n -dimensional digital images. XXI. Turkish National Mathematics Symposium 2008. B1–13

15. Herman GT: Oriented surfaces in digital spaces. CVGIP, Graph. Models Image Process. 1993, 55: 381–396. 10.1006/cgip.1993.1029

16. Khalimsky E: Motion, deformation, and homotopy in finite spaces. Proceedings IEEE Intl. Conf. on Systems, Man, and Cybernetics 1987, 227–234.

17. Munkres JR: Topology a First Course. Prentice Hall International, Englewood Cliffs; 1975.

18. Mutlu A, Mutlu B, Öztunç S: On digital homotopy of digital paths. Res. J. Pure Algebra 2012, 2(6):147–154.

19. Öztunç S, Mutlu A: Categories in digital images. Am. J. Math. Stat. 2013, 3(1):62–66.

## Acknowledgements

Dedicated to Professor Hari M Srivastava.

The authors thank the editor and the referees for their valuable suggestions to improve the quality of this paper.

## Author information

Authors

### Corresponding author

Correspondence to Simge Öztunç.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All the 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.

Reprints and Permissions

Öztunç, S., Bildik, N. & Mutlu, A. The construction of simplicial groups in digital images. J Inequal Appl 2013, 143 (2013). https://doi.org/10.1186/1029-242X-2013-143

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1029-242X-2013-143

### Keywords

• digital image 