>523
>出来れば >>522 のような可換代数の知識を使った証明は避けたい

唯、眺めているだけで何の貢献も出来ないが・・・
この程度の可換代数ならあまり抵抗はないのでは？
（分野は違うけど、例えばGabriel-ZismanのSimplicial Setのテキストとか、Anderson-Fullerの非可換代数のテキストなんか、カテゴリ論バリバリでうんざりさせられるけど、それに比べたらずっと具体的な感じがする）