در ابتدا به معرفی بُعد متناهی در نظریه‏ی حلقه‏های شرکت‏پذیر rبا توجه به ایده‏آل‏های دوطرفه‏ی آن می‏پردازیم. اگر rحلقه‏ای دارای بُعد متناهی روی ایده‏‏آل‏های دوطرفه باشد آنگاه ایده‏آل‏های یکنواخت?u_1،u?_2،…وu_n موجود درr را بدست می‏آوریم بطوریکه دارای جمع مستقیم و اساسی در r ‏باشند. عدد n مستقل از انتخاب ایده‏آل‏های یکنواخت u_i است و n را بُعد r می‏نامیم و با dim r1 نشان می‏دهیم. سپس فرض می‏کنیم r ...