On the symmetric digraphs from the kth power mapping on finite commutative rings

Abstract

For a finite commutative ring R and a positive integer k, let G(R, k) denote the digraph whose set of vertices is R and for which there is a directed edge from a to ak. The digraph G(R, k) is called symmetric of order M if its set of connected components can be partitioned into subsets of size M with each subset containing M isomorphic components. We primarily aim to factor G(R, k) into the product of its subdigraphs. If the characteristic of R is a prime p, we obtain several sufficient conditions for G(R, k) to be symmetric of order M.