Structure of digraphs associated with quadratic congruences with composite moduli

We assign to each positive integer n a digraph G(n) whose set of vertices is H={0,1,…,n-1} and for which there exists a directed edge from a∈H to b∈H if . Associated with G(n) are two disjoint subdigraphs: G₁(n) and G₂(n) whose union is G(n). The vertices of G₁(n) correspond to those residues which are relatively prime to n. The structure of G₁(n) is well understood. In this paper, we investigate in detail the structure of G₂(n).