Es sei R {\displaystyle {}R} ein kommutativer Ring und es sei S = R [ X ] / ( F ) {\displaystyle {}S=R[X]/(F)} mit einem normierten Polynom F = ∑ i = 0 n c i X i ∈ R [ X ] {\displaystyle {}F=\sum _{i=0}^{n}c_{i}X^{i}\in R[X]} . Es sei ϵ j {\displaystyle {}\epsilon _{j}} die Dualbasis zu x j {\displaystyle {}x^{j}} , j = 0 , 1 , … , n − 1 {\displaystyle {}j=0,1,\ldots ,n-1} . Dann gelten folgende Eigenschaften.
ein
kommutativer Ring
und es sei
![{\displaystyle {}S=R[X]/(F)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dd5e9bf2bf8563498cd770b897312ee9e52ac8d)
mit einem
normierten Polynom
![{\displaystyle {}F=\sum _{i=0}^{n}c_{i}X^{i}\in R[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9586c993f4a4b6913ccce69536f68087775fadf)
.
Es sei 
die Dualbasis zu
, 
. Dann gelten folgende Eigenschaften.
über ist
