Это просто довольно геморройно прописывать. Справедливости ради, в Гриффитсе-Харрисе -- где оно вообще-то не нужно -- оно есть, и довольно сжато и внятно (во втором томе причем).

Сейчас есть учебник Вайбеля, ну и он наверное закрывает тему.

>еще не предполагалось чем-то важным и общеобразовательным

Но как раз в базовой коммутативной алгебре в одном месте оно критически нужно -- а именно, что локализация регулярного кольца регулярна без гомологического критерия не доказывается вообще (люди 20 лет пытались). Не помню, что про это написано в Атье-Макдональде, небось затычка какая-нибудь.