試行錯誤しながらだから、煩雑になるのはやむを得ないとは思うけど、
最初に抽象論をやっておきながら、急に具体的な計算をシコシコ始めたりするので
統一性が取れてないように感じるし、なんか方向性がよくみえないんだよねー
いまやってるような計算を後で抽象論から練り直すとかならおもしろそうだけど。
代数的整数論って、類体論的な方向と、岩澤理論的な方向とがあると思うけど
どういう方向性でやるんですか〜？