 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ib/paper-3/1e/i/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

m \times n

A

D = diag (d_{1}, \dots, d_{r}, 0, \dots, 0), d_{i} > 0, d_{i} ∣ d_{i + 1},

for which

U A V = D

with

U \in G L_{m} (Z)

and

V \in G L_{n} (Z)

. It exists and is unique.

Z

, says that every finitely generated abelian group has a unique invariant-factor decomposition

M ≅ Z^{s} \oplus Z / d_{1} Z \oplus \dots \oplus Z / d_{r} Z, 1 < d_{1} ∣ \dots ∣ d_{r} .

Equivalently, its finite part is a direct sum of cyclic groups of prime-power order.

 New to topics? Read the docs here!