Revision #70 → #1079 · back to history
addedChinese remainder theorem (remainders form)ec299175c58a
addedSunzi example (3, 5, 7 → 105)5d95dd0b1688
addedSunzi's original problem422382a83e7b
addedCRT assertion (unique integer x)d8d34fe97e62
addedCRT restated via congruences37ba3cea277e
addedCRT as ring isomorphismea4e67998213
addedCRT as Helly family of arithmetic progressions6418902bc948
addedUniqueness of the solutionf8ae420cf64f
addedExistence via injective/surjective map0ee238fb59ca
addedExistence by explicit constructionbc8807d0cf37
addedSolution for two moduli via Bézout6af1b2a19c50
addedGeneral case by induction0bcb89aa6591
addedDirect construction of solutionef6042e31f8a
addedSystematic search method43b639eaafb7
addedSearch by sieving83dc0b8e6c14
addedComputation using existence construction75e2d2b7cb37
addedReformulation as linear Diophantine systemeca5926c0b3c
addedCRT over principal ideal domains3b94667fec03
addedCRT for polynomials9186b74e10dc
addedLagrange interpolation as special casec039646e9922
addedHermite interpolation7e8bde843c25
addedGeneralization to non-coprime moduli108fcf314e0e
addedTwo congruences (non-coprime) cased5c68a0edd44
addedCoprime (comaximal) ideals9ab1d4da7ca1
addedCRT for arbitrary rings48f6b633599f
addedIntersection equals product (commutative case)df223b69f271
addedCentral pairwise orthogonal idempotents5ac321286acb
addedIdempotent equivalence form of CRT2ad39ae532b1
addedDecomposition of surjections of finite abelian groups954606a14c92
addedDedekind's theorem (linear independence of characters)da9357d98e92