فرض کنیم r یک حلقه جابجایی و g(x),f(x) دو چندجمله ای ناصفر از r[x] باشند. مک کوی ثابت کرد که اگر f(x)g(x)=0، آنگاه عنصر ناصفر c ?r وجود دارد به طوریکه f(x)c=0.
حلقه r (نه لزوماً جابجایی) را مک کوی راست می نامیم، هرگاه g(x),f(x) دو چندجمله ای ناصفر از r[x]باشند و f(x)g(x)=0، آنگاه عنصر ناصفر c ?r وجود داشته باشد به طوریکه f(x)c=0.
در این پایان نامه ابتدا برخی توسیع های حلقه های مک کوی راست را ب...