Ideal of finite colength

From Commalg
Jump to: navigation, search

Definition

Let R be a local commutative unital ring. An ideal I inside R is said to be of finite colength' if the following equivalent conditions are satisfied: