برای حلقهrو متغیرهای$x_1,... x_n،فرض کنید r[x_1]]... [x_n]]
بر یک توسیع مرکب حلقهr
دلالت دارد که هر
[x_i]]
مانند هر یک از
[x_i]
برای چندجمله ای ها در متغیر
x_i
یا
[[x_i]]
برای سری های توانی در
x_i
ثابت است.
به خوبی شناخته شده است که اگر
r
یک حلقه نوتری با بعد کرول
m
باشد، در این صورت
r[x_1]]... ...