Лекция 10. Связь глубины и проективной размерности модуля.
Доказательство теоремы о 4 эквивалентных определениях глубины модуля. Минимальная свободная резольвента модуля,
ее конструкция для конечно-порожденного модуля над локальным нетеровым кольцом. Вычисление проективной размерности
модуля над локальным кольцом при помощи Tor. Формула Аусландера-Бухсбаума.