حلقه r زنجیری است، هر گاه برای هر دو ایده آل اول p<q از r، تمام زنجیرهای اشباع شده از ایده آلهای اول بین p و q دارای یک طول باشند.تاول، فرمول ارتفاع زیر را برای جبرهای پوشاننده جبرهای لی حل پذیر ثابت کرده است: height (p)+gkdim(r/p)=gkdim(r) برای تمام ایده آلهای اول p از r.sei-qwon oh ثابت کرده است که یک خانواده از حلقه های چند جمله ای اریب مکرر زنجیری هستند، ...
