Cho (R, m) là vành giao hoán Noether địa phương, I là iđêan thực sự của R và M là R – môđun hữu hạn sinh. Khái niệm dãy chính quy, độ sâu của iđêan, cùng với những tính chất và những đặc trưng của nó thông qua Ext, môđun đối đồng điều địa phương và đồng điều Koszul đã được các nhà toán học tìm hiểu rất chi tiết và được trình bày rất cụ thể trong các giáo trình về vành giao hoán. Đặc biệt, kết quả độ sâu của I trên M, kí hiệu bởi depth(I, M), là chiều dài của một M – dãy chính quy tối đại trong I và cũng là số nguyên nhỏ nhất r sao cho môđun đối đồng điều địa phương HIr(M) 6= 0 được nhiều nhà toán học quan tâm nghiên cứu và mở rộng.