Algebras and modules
Model category presentations
Geometry on formal duals of algebras
Given a unital ring , a monic polynomial over is a polynomial with coefficients in , whose highest order coefficient is .
A root of a monic polynomial over is by definition an algebraic integer over .
Here algebraic integer usually means algebraic integer over . All algebraic integers form a field called the integral closure of in .
On the other hand, for a number field , an integer in is an algebraic integer over which is in ; all integers in form a ring of integers of the number field .
Revised on October 2, 2012 12:58:56
by Urs Schreiber