Groups
Category
Miller–Rabin is a fast primality test that uses modular exponentiation to detect compositeness with very high reliability.
Prime factorization expresses any integer greater than 1 as a product of primes raised to powers, uniquely up to ordering.