23/01/30 13:49:48.57 0EowpgN/.net
>>922
> > y≠0∈Aならばy = u π^n (u∈Aは可逆)と書ける。
> なぜ？
Krullの交叉定理より、
∩m^n = (0)
なので、y≠0ならば
y∈m^n だが y∉m^(m+1)
となるn≧0が存在する。
23/01/30 13:49:48.57 0EowpgN/.net
>>922
> > y≠0∈Aならばy = u π^n (u∈Aは可逆)と書ける。
> なぜ？
Krullの交叉定理より、
∩m^n = (0)
なので、y≠0ならば
y∈m^n だが y∉m^(m+1)
となるn≧0が存在する。