深度 (模論) 在交換代數中 深度是交換環與模的一種不變量它可以由正則序列定義或以同調代數中的Ext函子刻劃