Let R {\displaystyle {}R} be a commutative ring and let f 1 , … , f n {\displaystyle {}f_{1},\ldots ,f_{n}} and f {\displaystyle {}f} be elements in R {\displaystyle {}R} . Then the R {\displaystyle {}R} -algebra
is called the forcing algebra of these elements (or these data).
![{\displaystyle R[T_{1},\ldots ,T_{n}]/{\left(f_{1}T_{1}+\cdots +f_{n}T_{n}-f\right)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9a4b859e9355b3fcdcecc2cb8bd5fe582e3b6c0)