Ideal of finite colength

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:


 * $$R/I$$ is a local Artinian ring i.e. it has finite length