S
è l'anello nelle variabili
X
= {
x
0,0
, ... ,
x
k,n-k-1
}:
S
=
Q
[
x
0,0
, ... ,
x
k,n-k-1
].