Forcing algebra/Ideal and element/Definition

From Wikiversity
Jump to navigation Jump to search

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).