III.D20 — Reconstruction Functor

CRT defines a functor R_k from ∏(ℤ/pᵢℤ-Mod) to ℤ/Prim(k)ℤ-Mod. This functor is an equivalence (inverse = restriction S_k). All Part IV-VI arguments decompose through it.