相対依存性公式について

有限ゴレンシュタイン次元を持つ加群に対する相対依存性公式を証明し、Celikbas、Liang、Sadeghiによって提起された、相対依存性不等式が常に等式となるかどうかという問題に答えます。