Forcing algebra/Ideal and element/Definition
Appearance
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).
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).