In the paper we discuss the following type congruences: 
where  is a prime, , ,  and  are various positive integers with ,  and . Given positive integers  and , denote by  the set of all primes  such that the above congruence holds for every pair of integers . Using Ljunggren’s and Jacobsthal’s type congruences, we establish several characterizations of sets  and inclusion relations between them for various values  and . In particular, we prove that  for all ,  and , and  for...
                    
                 
                
                    
                
            
        
            
            
            
            
            
                
            
                
            
                
            
                
            
                
            
                
                    
                
            
                
            
                
             
            
            
                
            
            
            
                
                    
                
            
            
            
            
                
            
            
             
            
                
            
            
            
                
                
                
                    
                       
Let  be a prime, and let  be the Fermat quotient of  to base . In this note we prove that 
which is a generalization of a congruence due to Z. H. Sun. Our proof is based on certain combinatorial identities and congruences for some alternating harmonic sums. Combining the above congruence with two congruences by Z. H. Sun, we show that 
which is just a result established by K. Dilcher and L. Skula. As another application, we obtain a congruence for the sum  modulo  that also generalizes a...
                    
                 
                
                    
                
            
        
            
            
            
            
            
                
            
                
            
                
            
                
            
                
            
                
                    
                
            
                
            
                
             
            
            
                
            
            
            
                
                    
                
            
            
            
            
                
            
            
             
            
                
            
            
            
                
                
                
                    
                       
A prime  is said to be a Wolstenholme prime if it satisfies the congruence . For such a prime , we establish an expression for  given in terms of the sums  (. Further, the expression in this congruence is reduced in terms of the sums  (). Using this congruence, we prove that for any Wolstenholme prime  we have 
Moreover, using a recent result of the author, we prove that a prime  satisfying the above congruence must necessarily be a Wolstenholme prime. Furthermore, applying a technique...
                    
                 
                
                    
                
            
        
            
            
            
            
            
                
            
                
            
                
            
                
            
                
            
                
                    
                
            
                
            
                
             
            
            
                
            
            
            
                
                    
                
            
            
            
            
                
            
            
             
            
                
            
            
            
                
                
                
                    
                       
Let  be a prime, and let  be the Fermat quotient of  to base . The following curious congruence was conjectured by L. Skula and proved by A. Granville
In this note we establish the above congruence by entirely elementary number theory arguments.
                    
                 
                
                    
                
            
        
            
            
            
            
            
                
            
                
            
                
            
                
            
                
                    
                
            
                
            
                
             
            
            
                
            
            
            
                
                    
                
            
            
            
            
                
            
            
             
            
                
            
            
            
                
                
                
                
                    
                
            
        
        
        
            
                Download Results (CSV)