>>263
>永田さんはネーター局所環の素元分解一意性を証明されたんでしたっけ？

>>268
>>>263
>ネーター局所環じゃなくて正則局所環

嘘を言ってはいかん。
正則局所環の素元分解一意性を証明したのはAuslander-Buchsbaumの二人だ。
永田なんかではない。