This article provides a survey of some basic results in algebraic number theory and applies this material to prove that the cyclotomic integers generated by a seventh root of unity are a unique factorization domain. Part of the proof uses the computer algebra system Maple to find and verify factorizations. The proofs use a combination of historic and modern techniques and some attempt has been made to discuss the history of this material. (Contains 4 tables and 5 notes.)