امیر مافی

فرض کنید R یک حلقه و \sigma یک خودریختی R باشد. ایده آل I در حلقه ی R را \sigma-ایده آل می نامیم اگر \sigma(I)=I. ایده آل محض P از R را \sigma-او می نامیم اگر P یک \sigma-ایده آل R باشد و به ازای هر دو \sigma-ایده آل I و J از P، IJ\subseteq P ایجاب کند که I\subseteq P یا J\subseteq P.