For k = 1,2,... let $H_k$ denote the harmonic number ${\sum }_{j=1}^{k}1/j$. In this paper we establish some new congruences involving harmonic numbers. For example, we show that for any prime p > 3 we have ${\sum }_{k=1}^{p-1}\left(H_k\right)/\left(k{2}^k\right)\equiv 7/24p{B}_{p-3}\left(modp²\right)$, ${\sum }_{k=1}^{p-1}\left(H_{k,2}\right)/\left(k{2}^k\right)\equiv -3/8B_{p-3}\left(modp\right)$, and ${\sum }_{k=1}^{p-1}\left(H{²}_{k,2n}\right)/\left(k^{2n}\right)\equiv (\left(\genfrac{}{}{0pt}{}{6n+1}{2n-1}\right)+n)/(6n+1)p{B}_{p-1-6n}\left(modp²\right)$ for any positive integer n < (p-1)/6, where B₀,B₁,B₂,... are Bernoulli numbers, and $H_{k,m}:={\sum }_{j=1}^{k}1/\left(j^m\right)$.

Let Γ ⊂ ℚ * be a finitely generated subgroup and let p be a prime such that the reduction group Γₚ is a well defined subgroup of the multiplicative group ₚ*. We prove an asymptotic formula for the average of the number of primes p ≤ x for which [ₚ*:Γₚ] = m. The average is taken over all finitely generated subgroups $\Gamma =⟨a₁,...,a_r⟩\subset \mathbb{Q}*$, with $a_i\in \mathbb{Z}$ and $a_i\le T_i$, with a range of uniformity $T_i>exp\left(4{\left(logxloglogx\right)}^{1/2}\right)$ for every i = 1,...,r. We also prove an asymptotic formula for the mean square of the error terms in the asymptotic formula with a similar...

In this paper we defined the reduced residue system and proved its fundamental properties. Then we proved the basic properties of the order function. Finally, we defined the primitive root and proved its fundamental properties. Our work is based on [12], [8], and [11].

In this paper, we apply character sum estimates to study products of factorials modulo $p$.

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.