1. Théorème chinois des restes pour Z. 2. Démonstration constructive. 3. Généralisation aux anneaux principaux. 4. Applications : calcul modulaire, RSA
Isomorphisme Z/mnZ ≃ Z/mZ × Z/nZ. Reconstruction par Bézout