またAtiyah-MacDonaldの可換環論入門を読んでいて、こんなことが書いてあった。 そのつくり方は、a,s∈A, s≠0なるすべての順序対(a, s)をとり、これらの組に対して次のように同値関係を定義することからなる。この定義はAが整域であるときだけうまく昨日する…