به طریق مشابه اگر I و J دو زیرمجموعه R باشند و I Í J ، آنگاه lM (J) Í lM (I)  . بوضوح

I Í rR (lM (I)) و می­توان نتیجه گرفت :  lM (rR (lM (I)))=lM (I) .

اگرM یک R -مدول و U یک کلاس از R – مدول­ها باشدTr (M ,U ) و Rej (M, U ) به­ صورت زیر تعریف می­شوند که زیرمدول­هایی از M می­باشند.

Tr (M ,U )=å { Im f | f : ua →  M  ,   uaÎ U برای برخی }

Rej (M, U )=∩ {ker f | f : M →  ua  ,    uaÎU  برای برخی }

اگر S مجموعه تمام R – مدول­های راست ساده باشد، به ­ازای هر R – مدول M،Soc (MR)    بزرگترین زیرمدول نیم­ساده M است و با توجه به بخش 9 از مرجع [1]  به صورت زیر تعریف می­شود :

Soc(MR) = Tr (M ,S) = å {K | است M یک زیرمدول ساده از K }

= ∩ { L | L vess M }.

همچنین  R –  مدول M نیم­ساده است اگر و تنها اگر  soc(MR) = MR .

ضمناً به سادگی دیده­ می­شود R –  مدول M نیم­ساده است اگر و تنها اگر زیرمدول اساسی غیر بدیهی نداشته ­باشد.

R      – مدول M پروژکتیو نامیده ­می­­شود هرگاه به ­ازای هر نمودار از R- همریختی­ها و  R- مدول­ها به صورت زیرکه سطر آن دقیق باشد ، R- همر­یختی→ A    M موجود باشد به­طوری­که نمودار زیر جابجایی باشد.

1-2-1. R –  مدول پروژکتیو M

یا به­طور معادل اگر هر دنباله دقیق کوتاه به صورت A→ B→ M → 0 0 →  شکافته شود ، آنگاه M پروژکتیو است.

R     – مدول M انژکتیو نامیده­ می­­شود هرگاه به­ ازای هر نمودار از R- همریختی­ها  و R- مدول­ها به صورت زیرکه سطر آن دقیق باشد، R – همر­یختی→  M   B موجود باشد به­طوری­که نمودار جابجایی باشد.

1-2-2. R –  مدول انژکتیو M

این مطلب را هم بخوانید :

همچنین R – مدول M انژکتیو است هرگاه به ازای هرایده­آل راست I از R ، هر همریختی

f : I→ M  را بتوان از R به M گسترش داد. (لم بئر)

1-2-3. R –  مدول انژکتیوM  (لم بئر)