For any two positive integers n and k\geqslant 2, let G(n, k) be a digraph whose set of vertices is {0, 1, ..., n − 1} and such that there is a directed edge from a vertex a to a vertex b if ak ≡ b (mod n). Let n = \prod\nolimits_{i = 1}^r {p_i^{{e_i}}} be the prime factorization of n. Let P be the set of all primes dividing n and let P_{1},P_{2} \subseteq P be such that P_{1\cup P_{2}}= P and P_{1\cup P_{2}}=\emptyset . A fundamental constituent of G(n, k), denoted by G_{{P_2}}^*(n,k), is a subdigraph of G(n, k) induced on the set of vertices which are multiples of \prod\nolimits_{{p_i} \in {P_2}} {{p_i}} and are relatively prime to all primes q\in P_{1}. L. Somer and M. Křižek proved that the trees attached to all cycle vertices in the same fundamental constituent of G(n, k) are isomorphic. In this paper, we characterize all digraphs G(n, k) such that the trees attached to all cycle vertices in different fundamental constituents of G(n, k) are isomorphic. We also provide a necessary and sufficient condition on G(n, k) such that the trees attached to all cycle vertices in G(n, k) are isomorphic., Amplify Sawkmie, Madan Mohan Singh., and Obsahuje seznam literatury
For a finite commutative ring $R$ and a positive integer $k\geqslant 2$, we construct an iteration digraph $G(R, k)$ whose vertex set is $R$ and for which there is a directed edge from $a\in R$ to $b\in R$ if $b=a^k$. Let $R=R_1\oplus \ldots \oplus R_s$, where $s>1$ and $R_i$ is a finite commutative local ring for $i\in \{1, \ldots , s\}$. Let $N$ be a subset of $\{R_1, \dots , R_s\}$ (it is possible that $N$ is the empty set $\emptyset $). We define the fundamental constituents $G_N^*(R, k)$ of $G(R, k)$ induced by the vertices which are of the form $\{(a_1, \dots , a_s)\in R\colon a_i\in {\rm D}(R_i)$ if $R_i\in N$, otherwise $a_i\in {\rm U}(R_i), i=1,\ldots ,s\},$ where U$(R)$ denotes the unit group of $R$ and D$(R)$ denotes the zero-divisor set of $R$. We investigate the structure of $G_N^*(R, k)$ and state some conditions for the trees attached to cycle vertices in distinct fundamental constituents to be isomorphic.