Theory of Algebraic Integers