فرض کنیم r یک حلقه ی تعویض پذیر و i یک ایده آل سره ی آن باشد. عضو a متعلق بهr نسبت به i اوّل نامیده می شود، اگر از ra متعلق بهi، (که r متعلق به r) آنگاه نتیجه شود که r متعلق به i. فرض کنیم( s(i مجموعه ی تمام عناصر r باشد که نسبت به i اوّل نیستند؛ به عبارت دیگر{ s(i) = { r?r ? ? s?r-i ,rs?i .
در این پایان نامه ما به معرفی و مطالعه ی گراف جامع یک حلقه ی تعویض پذیر r نسبت به ایده آل سره ی i می پردا...