Groups
Category
Lucas' Theorem lets you compute C(n, k) modulo a prime p by working digit-by-digit in base p.
A primitive root modulo n is a number g that cycles through all units modulo n when you repeatedly multiply by g, so its multiplicative order equals \(\varphi(n)\).