User:TakuyaMurata/Analytic spread

In algebra, the analytic spread of an ideal I in a noetherian commutative local ring (R, m) is the Krull dimension of the special fiber of the Rees algebra of I; that is, the dimension of $$R[It]/mR[It]$$.