代数体の整数基の話

いろいろググッていたら、ついに証明が載っているPDFを発見。
ありがたいことです。
軽く読んでみたところ、整数環O_Fを部分加群として
含むようなZ-加群があってそれの自由基底を求めて、
O_Fがそれの部分加群であることから、
結論(O_Fが自由加群でrankがn)を得ている。らしい。
この、大きな方の加群が何者なのかよく理解できないのでまだ読み進めてない。
じっくり読む予定。