چکیده امروزه کمترکسی رامی توان یافت که به نقش کامپیوتردرپیشبرد علوم بویژه ریاضیات آگاه نباشد.ازجمله علومی که درآن ازکامپیوتر به نحوه شایسته استفاده می شود نظریه گروههای متناهی می باشد.امااستفاده ازکامپیوتر درگروههامستلزم داشتن اطلاعات کافی ازنظریه های این علم می باشد.دراین پایاننامه سعی شده است به هردوجنبه نظری وعملی توجه شود . ابتداباارائه تعدادی ازمفاهیم ونتایج اولیه،مقدمات ارائه آلگوریتمهایی...

هدف ما در این پایان نامه‏، مطالعه ‎-mtl‎‎جبرها به عنوان یک رده بسیار مهم از مشبکه های مانده و تعمیمی از ‎‎‎bl‎‎-جبرها ‏می باشد.علاوه بر مطالعه خواص ‎-blجبرها‏، ‏برخی خواص پایه ای از فیلترهای اول در ‎‎-mtl‎جبرها نیز مورد مطالعه قرار گرفته است.‎‎ با استفاده از ویژگی های ‎‎‎-mtl‎جبرها روی ‏برخی فیلترهای خاص توپولوژی القا کرده ایم‏. با مطالعه‎‏ برخی ساختارهای توپولوژیکی مجموعه همه فیلترهای اول و مج...

در سال های اخیر برش های مبتنی بر چند سطر تابلو بهینه روش سیمپلکس یا برش های چندسطری مورد توجه قرار گرفته اند. این برش ها می توانند در چارچوب یک روش مبتنی بر صفحات برشی برای حل مسائل برنامه ریزی خطی صحیح آمیخته مورد استفاده قرار گیرند. در این پایان نامه ابتدا نشان می دهیم که بین برش های چندسطری که نامساوی های معتبر مینیمال نیز نامیده می شوند و مجموعه های محدب لاتیس آزاد ماکسیمال یک تناظر یک به ی...

تعیین تعداد جواب های معادله ای به شکل x^p^k=a که در آن a عضوی از گروه مفروض است در مشخص کردن ساختار آن گروه تعیین کننده است.در سال 1931 کولاکف ثابت کرد که در یک p-گروه غیر دوری (p فرد) تعداد جواب های x^p^k=1 مضربی از{ p^{k+1 است به شرط آنکه نمای گروه مضربی از p^k باشد. هرگاه a عضو دلخواهی از گروه باشد در اینصورت تعداد جواب های x^p^k=a برای p-گروه غیردوری که 2-گروه رده ماکسیمال نیست و نمای آن حد...

‏در این رساله‏، ‏ابتدا‎‎‎‎‎‎‎‎‎‎‎‎‎‎ مفهوم ‎ایده ال .‎‎‏-اول در یک ‎$‎‎‎pmv‎$‎‎‏-جبر را معرفی می کنیم. سپس به بررسی ارتباط بین ‎ایده ال های .-اول و ‎$‎‎‎mvf‎$‎‎‏-جبرها می پردازیم. ‏‏در ادامه ایده ال های تولید شده توسط یک زیر مجموعه ناتهی ‎$‎‎‎n‎$‎‎‎‏ از یک ‎$‎‎‎mv‎$‎‎‏-مدول ‎$‎‎‎m‎$‎‏ را مورد بررسی قرار داده و پوچساز یک ‎$‎‎‎a‎$‎‎‏-ایده ال از یک ‎$‎‎‎mv‎$‎‎‏-مدول را روی یک ‎$‎‎‎pmv‎$‎‎‏-جبر معر...

مطالب مطرح شده در این پایان نامه در مورد تولید گروههای متناهی است و در واقع در پی یافتن جوابی برای سوال زیر می باشد. فرض کنیم m یک زیر گروه ماکسیمال، از گروه متناهی و ساده g باشد و همچنین h نیز یک زیر گروه ماکسیمال از m باشد، آیا عضوی مانند g از g وجود دارد که: g با توجه به مطالبی که مورد بحث و بررسی قرار خواهیم داد، به این نتیجه خواهیم رسید که جواب این سوال مثبت است . اکنون خلاصه ای از م...

در این پایان نامه ما مفهوم مدول های خودتوان تمام، دوگان خودتوان تمام، محض تمام و دوگان محض تمام را معرفی می کنیم و برخی اطلاعات سودمند درباره این رده جدید از مدول ها را بیان می کنیم. در یکی از بخش ها ثابت می کنیم که اگر ‎m‎ مدول ضربی و دوگان ضربی باشد? به طوری که ‎m‎ زیرمدول ناصفر پوچ توانی نداشته باشد آنگاه ‎m. خودتوان تمام است. هم چنین نشان می دهیم اگر ‎m‎ یک مدول خودتوان تمام باشد آنگاه ‎m‎...

تمامی حلقه هادراین نوشتار تعویض پذیر و یکانی هستند و0?1. هم چنین تمام زیرحلقه ها, توسیع حلقه ها و همریختی و مدول ها یکانی می باشند. توسیع حلقه a دارای ویژگی fip است, هرگاه تعداد متناهی حلقه c وجود داشته باشد که a . اگر حلقه t توسیعی از حلقه ی r باشد که r متناهی باشد, آن گاهt متناهی است اگر وتنها اگر r , fip باشد. حلقه ی تعویض پذیر یک دار r را fsp گوییم, اگر فقط تعداد متناهی زیرحلقه یک دار داشته...

فرض کنید g یک گروه متناهی باشد و (?(g را مجموع مرتبه ی عناصر گروه g در نظر بگیرید. قضیه ی اصلی ما در این پایان نامه‏، این است که‎‎‏ برای زیرگروه سره ی h از گروه متقارن sn، که h متمایز از گروه متناوب an می باشد‏، نشان ‎‎دهیم‏: .(?(an)>?(h برای این کار نشان خواهیم داد که برای هر زیرگروه ماکسیمال h از sn، کهh ‎ متمایز از گروه متناوب an باشد‏، همواره داریم: .(?(an)> ?(h طبق قضیه ی اسکات،...

ابتدا با استناد به آنالیز تابعی و با استفاده از تابع فیتز پاتریک یکنوایی ماکسیمال دو عملگر یکنوای ماکسیمال را در فضاهای باناخ انعکاسی و غیر انعکاسی همانطور که دانشمندانی مانند راکفلر، سیمونز، اتوچ، بوروین و ... نشان دادند، بررسی کرده و مشاهده می کنیم که شرط انعکاسی بودن کمک بزرگی به اثبات ماکسیمالی می کند و نشان می دهیم ماکسیمالی مجموع تحت یکی از این فرضیات برقرار است که x انعکاسی باشد یا a وb ...