 The fundamental question in algebraic number theory is on the extent to which the ring of (generalized) integers in a number field, where an "ideal" admits prime factorization, fails to be a PID.Among theorems concerning a PID, the most important one is the structure theorem for finitely generated modules over a principal ideal domain.The theorem may be illustrated by the following application to linear algebra.