Forcing algebra/Ideal and element/Definition

Aus Wikiversity

Let be a commutative ring and let and be elements in . Then the -algebra

is called the forcing algebra of these elements (or these data).