普通の代数のテキストに載っていて然るべきなのに
載っていない数体の整数環について初歩から学びたい。
念のため:数体=Qの有限次拡大体
     整数環=体の要素でモニックな多項式の零点となるもの
(後で当然定義する。)