An algebraic summation over the set of partitions and some strange evaluations
Let be a non-empty subset of positive integers. A partition of a positive integer into is a finite nondecreasing sequence of positive integers in with repetitions allowed such that . Here we apply Pólya’s enumeration theorem to find the number of partitions of into , and the number of distinct partitions of into . We also present recursive formulas for computing and .
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.