The derived exact sequences -- Finite modules -- Realization of finite modules -- ?i of finite modules -- Product structure on finite modules -- Classification of derived product structure -- Rational invariants -- Z-torsion-free modules -- ?-only torsion -- Statement of realization theorem -- Inductive construction of derived sequences -- Inductive recovery of derived sequences -- Homogeneous and elementary modules -- Realization of elementary modules -- Classification of elementary modules -- Completion of proof -- Classification of ?-primary modules -- Classification fails in degree 4 -- Product structure on ?-primary modules -- Classification of product structure -- Realization of product structure on homogeneous modules -- Product structure on semi-homogeneous modules -- A non-semi-homogeneous module -- Rational classification of product structure -- Non-singular lattices over a Dedekind domain -- Norm criterion for a non-singular lattice -- Dedekind criterion: p-adic reduction -- A computable Dedekind criterion -- Computation of low-degree cases -- Determination of ideal class group -- The quqdratic symetric case