تعریف۲-۲۷: حلقه را کامل راست گویند اگر هر- مدول راست، یک پوشش پروژکتیو داشته باشد.
تعریف۲-۲۸ : فرض کنید یک حلقه باشد. رادیکال جیکوبسن را که با نشان داده میشود برابر است با اشتراک تمام ایدهآلهای راست ماکسیمال.
یادآوری۲-۲۹: فرض کنید یک حلقه باشد، آنگاه برابر با اشتراک تمام ایدهآلهای اولیه راست است.
قضیه ۲-۳۰ (قضیه باس): فرض کنید یک حلقه و، رادیکال جیکوبسن باشد، آنگاه گزارههای زیر معادلند:
یک حلقه کامل راست است،
، نیمساده است و هر- مدول راست غیر صفر، شامل یک زیرمدول ماکسیمال است.
برای مشاهده صورت کامل این قضیه و اثبات آن میتوانید به ]۴، قضیه ۲۸.۴[ مراجعه کنید.
(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت nefo.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))
تعریف۲-۳۱: زیرمدول از یک - مدول راست را زیرمدول خالص گویند هرگاه برای هر ایدهآل چپ از ، داشته باشیم .
تعریف۲-۳۲: فرض کنید یک حلقه باشد. را منظم راست گویند هرگاه برای هر عضو غیر صفر از حلقه مانند ، .
به طور مشابه عضو منظم چپ نیز تعریف میشود. را منظم گویند هرگاه منظم چپ و منظم راست باشد.
تعریف۲-۳۳: - مدول راست را بخشپذیر گویند هرگاه به ازای هر عضو منظم از حلقه . در[۲۳] تعریفهای دیگری از بخشپذیری آمده است.
تعریف۲-۳۴: مدول غیر صفر را یکنواخت گویند هرگاه هر زیر مدول غیر صفر، زیر مدولی اساسی باشد.
تعریف۲-۳۵: گوییم مدول دارای بعد یکنواخت یا بعد گولدی میباشد، اگر زیرمدول اساسی از وجود داشته باشد که، و در آنها زیرمدول یکنواخت از هستند. اگر چنین عدد صحیحی موجود نباشد گوییم دارای بعد یکنواخت نامتناهی است.
تعریف۲-۳۶: حلقهرا گولدی راست گویند اگر دارای بعد یکنواخت متناهی باشد و در شرط زنجیر افزایشی روی ایدهآلهای پوچساز راست صدق کند. (به طور مشابه گولدی چپ تعریف می شود).
تعریف۲-۳۷: حلقه را یک حلقه اول گویند، هرگاه ایدهآل یک ایدهآل اول در حلقه باشد.
تعریف۲-۳۸: یک حلقه اول را کراندار راست گویند اگر هر ایدهآل راست اساسی شامل یک ایدهآل دو طرفه غیر صفر باشد. به طور مشابه، حلقه کراندار چپ نیز تعریف میشود.
تعریف۲-۳۹: حلقه را نیم اول گویند، هرگاه برای هر ایدهآل از ، نتیجه دهد.
تعریف۲-۴۰: - مدول راست را بیتاب گویند هرگاه برای هر عضو غیر صفر از مدول و عنصر منظم .
قضیه۲-۴۱(قضیه گولدی): برای هر حلقه ، گزارههای زیر معادلند:
، نیماول و گولدی راست است،
یک ایدهآل راست ، یک زیرمدول اساسی از است اگر و تنها اگر شامل یک عنصر منظم باشد.
برای مشاهده صورت کامل قضیه و اثبات آن به ]۱۳، قضیه ۱۱.۱۳[ مراجعه کنید.
لم۲-۴۲: هر مدول انژکتیو، بخشپذیر است.
برای اثبات به ]۱۳، بخش سوم[ مراجعه شود.
تعریف۲-۴۳: یک - مدول راست را یکدست گویند اگر به ازای هر دنباله دقیق از - مدولهای چپ، دنباله دقیق باشد.
قضیه۲-۴۴: اگر یک - مدول راست یکدست و زیر مدول باشد، آنگاه یکدست است اگر و تنها اگر زیرمدول خالص از باشد.
اثبات: به ]۴، صفحه ۲۳۲[ مراجعه شود.
قضیه۲-۴۵: یک حلقه، وان نیومن منظم است اگر و تنها اگر هر مدول راست روی آن، یکدست باشد.
اثبات: به ]۴، صفحه ۲۳۳[ مراجعه شود.
تعریف۲-۴۶: فرض کنید یک- مدول باشد. ایدهآل اول از را ایدهآل چسبیده گویند هرگاه زیرمدول محض از موجود باشد به طوری که یک مدول - دوم باشد.
تعریف۲-۴۷: مدول غیر صفر را مدول باس گویند هرگاه هر زیرمدول محض آن مشمول در یک زیرمدول ماکسیمال باشد.
بنابر قضیه باس میتوان گفت روی یک حلقه کامل راست هر مدول غیر صفر، مدول باس است.
لم۲-۴۸: هر ایدهآل چسبیده یک مدول باس، اولیه است.
اثبات: اگر یک ایدهآل چسبیده مدول باس باشد، آنگاه زیرمدول محض از وجود دارد به طوری که، - دوم است. حال از آنجایی که ، مدول باس است، زیرمدول ماکسیمال از مانند وجود دارد به طوری که . از آنجایی که ، - دوم است داریم
از ماکسیمال بودن میتوان نتیجه گرفت ساده است و بنابراین ایدهآل اولیه راست است.
تعریف۲-۴۹: حلقه را نیمموضعی گویند هرگاه نیم ساده باشد.
قضیه۲-۵۰: ایدهآلهای چسبیده- مدول راست، دقیقاً برابر ایدهآلهای اولیه راست میباشند.
اثبات: داشتیم هر ایدهآل چسبیده یک مدول باس، اولیه است. از آنجایی که- مدول راست، متناهیاً تولید شده است لذا هر ایدهآل راست محض مشمول در یک ایدهآل راست ماکسیمال میشود. در نتیجه به عنوان – مدول، یک مدول باس است. حال اگر یک ایدهآل اولیه حلقه باشد، آنگاه یک- مدول ساده وجود دارد به طوری که. حال از ساده بودن میتوان نتیجه گرفت که ایدهآل راست ماکسیمال حلقه است. بنابراین. از طرفی ساده است و در نتیجه دوم است. بنابراین ایدهال چسبیده است.
قضیه ۲-۵۱(قضیه ودربرن-آرتین): حلقه، نیمساده است اگر و تنها اگر یکریخت با حاصلجمع مستقیم تعداد متناهی حلقه آرتینی ساده باشد.
اثبات: برای مشاهده اثبات به]۴، قضیه ۱۳.۶[ مراجعه شود.
قضیه۲-۵۲: اگر یک حلقه نیمموضعی باشد آنگاه فقط تعداد متناهی ایده آل اولیه راست دارد.
اثبات: ابتدا ثابت می کنیم که اگر و دو حلقه و . در این صورت ایدهآلی از حلقه است اگروتنها اگر ایدهآلهای از حلقه و از حلقه موجود باشند به طوری که .
برای اثبات ابتدا فرض کنید ایدهآلی از حلقه باشد. تعریف میکنیم:
ادعا میکنیم که ایدهآلی از حلقه است. برای اثبات، فرض میکنیم و ، پس با توجه به تعریف داریم و . حال چون ایدهآلی از حلقهی است، بنابراین
و
که این نتیجه میدهد و .
به طریق مشابه اگر تعریف کنیم:
در این صورت نیز ایدهآلی از حلقه میشود. حال ثابت میکنیم که .
واضح است که ، زیرا اگر ، آنگاه و . در نتیجه و ، پس داریم . حال فرض میکنیم . پس و و با توجه به تعاریف و داریم که این هم نتیجه میدهد .
اثبات قسمت برگشت بدیهی است. حال فرض کنید یک حلقه نیمموضعی باشد، بنابراین یک حلقه نیم ساده میباشد. حال بنابر قضیه ودربرن- آرتین یکریخت با حاصلجمع مستقیم تعداد متناهی حلقه آرتینی ساده است. لذا بنابر لم قبل تعداد متناهی ایدهآل دارد. از طرفی رادیکال جیکوبسن برابر با اشتراک تمام ایدهآلهای اولیه راست است. بنابراین اگر ایدهآل راست اولیه حلقه باشد، داریم .
بنابراین ایدهآل حلقه است. از آنجایی که تعداد متناهی ایدهآل دارد، بنابراین تعداد متناهی ایدهآل اولیه راست دارد.
تعریف۲-۵۳: فرض کنید یک حلقه و زیرمجموعه باشد. آنگاه را- پوچتوان راست گویند هرگاه برای هر دنباله از عناصر ، عدد صحیح مثبتی مانند وجود داشته باشد به طوری که.
بوضوح هر مجموعه پوچ توان،- پوچتوان است.