# Blowup algebra

From Commalg

## Definition

Let be a commutative unital ring and be an ideal in . The blowup algebra of in is defined as:

Note that , the associated graded ring to in .

## Particular cases

When is the zero ideal, . In other words, does not get blown up anywhere.

When , is the whole polynomial ring over .