فرض کنید m یک r-مدول باشدو یک رادیکال برای m باشد. اگر u,vزیرمدولهایی از آن باشند به طوریکه u + v = m و ?(v) ? u ? v ، در این صورت گوییم v یک ?-مکمل از u در m است. یک مدول?-مکمل پذیر است اگروتنهااگر هر زیرمدول آن دارای یک ?-مکمل باشد. هر r-مدول چپ،?-مکمل پذیر است اگرتنهااگر حلقه خارج قسمت rp_?(r)باشد و j(r)=?(r)