Resumen de Unique factorizacion in cyclotomic integers of degree seven

W. Ethan Duckwoth

• 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.