Son una de las nociones centrales del álgebra conmutativa y del álgebra homológica y se usan en la geometría algebraica y la topología algebraica.