mod mじゃなくて mod Dか。Dは\mathbb{Q}(\sqrt{m})の判別式

うーん、本来はmod pでしか（つまり与えられた素数ごとにしか）\mathbb{Q} (\sqrt{m})の素イデアル分解を判断できなかったが、平方剰余相互法則（の重要な内容）のおかけで、mod mごとに、つまり自分の世界の法を基準として素数pを判断すればいいということが基本的だということだろうか。

平方剰余の相互法則が平方和の定理を証明し、平方和の定理がGauss整数環を生み出して、二次体延いては代数体、類体論への道を切り開いた、なら納得できる。

RがNöther環であれば，部分R加群は有限生成らしいので，Nötherでない環を探さなければならない．

ハイパボリックを考えたら当たり前のことではあるけど、じゃあそのハイパボリックはどんな式なんですかとか色々無から議論する必要があるから結局すごい