ماتلیس 1 در سال 198? نشان داد که برای یک حلقه یک تعویض پذیر و نوتری یک تناظر یک به یک برقرار است. (این تناظر به تناظر گابریل معروف است.) گابریل R تجزیه ناپذیر و ایدآل های اول در صورتی برقرار است که شرطی تحت عنوان شرط R نشان داد تناظر بیان شده برای هر حلقه ی نوتری غیر تعویضپذیر ، تعمیمی از تناظر گابریل M -مدول چپ R در حلقه برقرار باشد. هدف اصلی این پایان نامه این است که برای یک H -تولید M داده شود. برای رسیدن به این منظور مفاهیمی مانند مدول متناهیاً R ??Mod از [M] برای زیر رسته ی H -اید ال اول بیان می شود.

