This text for a graduate-level course covers the general theory of factorization of ideals in Dedekind domains as well as the number field case. Itillustrates the use of Kummer's theorem, proofs of the Dirichlet unit theorem, and Minkowski bounds on element and ideal norms. 2003 edition.