Theory of Algebraic Number Fields