同調代数の応用:交換代数(理想論)