A power digraph, denoted by $G(n,k)$, is a directed graph with ${\mathbb{Z}}_n=\{0,1,\cdots ,n-1\}$ as the set of vertices and $E=\{(a,b):a^k\equiv b(modn)\}$ as the edge set. In this paper we extend the work done by Lawrence Somer and Michal Křížek: On a connection of number theory with graph theory, Czech. Math. J. 54 (2004), 465–485, and Lawrence Somer and Michal Křížek: Structure of digraphs associated with quadratic congruences with composite moduli, Discrete Math. 306 (2006), 2174–2185. The heights of the vertices and the components of $G(n,k)$ for $n\ge 1$ and...

A power digraph modulo $n$, denoted by $G(n,k)$, is a directed graph with $Z_n=\{0,1,\cdots ,n-1\}$ as the set of vertices and $E=\{(a,b):a^k\equiv b(modn)\}$ as the edge set, where $n$ and $k$ are any positive integers. In this paper we find necessary and sufficient conditions on $n$ and $k$ such that the digraph $G(n,k)$ has at least one isolated fixed point. We also establish necessary and sufficient conditions on $n$ and $k$ such that the digraph $G(n,k)$ contains exactly two components. The primality of Fermat number is also discussed.

Let $p$ be a prime. We assign to each positive number $k$ a digraph $G_p^k$ whose set of vertices is $\{1,2,...,p-1\}$ and there exists a directed edge from a vertex $a$ to a vertex $b$ if $a^k\equiv b(modp)$. In this paper we obtain a necessary and sufficient condition for $G_p^{k_1}\simeq G_p^{k_2}$.

In the first part, we assign to each positive integer $n$ a digraph $\Gamma (n,5),$ whose set of vertices consists of elements of the ring ${\mathbb{Z}}_n=\{0,1,\cdots ,n-1\}$ with the addition and the multiplication operations modulo $n,$ and for which there is a directed edge from $a$ to $b$ if and only if $a^5\equiv b(modn)$. Associated with $\Gamma (n,5)$ are two disjoint subdigraphs: ${\Gamma }_1(n,5)$ and ${\Gamma }_2(n,5)$ whose union is $\Gamma (n,5).$ The vertices of ${\Gamma }_1(n,5)$ are coprime to $n,$ and the vertices of ${\Gamma }_2(n,5)$ are not coprime to $n.$ In this part, we study the structure of $\Gamma (n,5)$ in detail. In the second part, we investigate...