Groups
Category
A linear Diophantine equation ax + by = c has integer solutions if and only if gcd(a, b) divides c.
The Chinese Remainder Theorem (CRT) reconstructs an integer from its remainders modulo pairwise coprime moduli and guarantees a unique answer modulo the product.