درسال 1992بولمن-فلمینگ در[2]تکواره هایی مانند sکه درآن دوخاصیت یکدستی متمایزs-عمل هاباهم یکی می شوندراموردمطالعه قراردادوهمچنین ثابت کردکه هرs-عمل راست دوری که درشرط(p)صدق می کند،یکدست قوی است اگروفقط اگرsغیردورهای باشد.درهمان مقاله بولمن-فلمینگ یک مسئله بازمطرح کرد:چگونه تکواره هایی راکه همه عمل های روی آنها که درشرط(p)صدق می کنند،یکدست قوی هستند،دسته بندی کنیم؟ونیز درآن مقاله بولمن-فلمینگ ثابت کردکه اگرsیک تکواره خودتوان یانیم گروه صفر(پوچ)باالحاق1باشد آنگاه همه عمل های روی آنها که درشرط(p)صدق می کنند،یکدست قوی هستند.کیائودرسال 2002،[7]،و لی وکیائودرسال2004،[8]،نتایج قبلی راتعمیم دادند ودسته های جدیدی ازتکواره هارابه دست آوردند که درآنهاهرs-عمل راستی که درشرط(p)صدق میکند یکدست قوی است.در این پایان نامه،دسته های جدید دیگری از تکواره هایی که در این شرایط صدق می کنند(توسط کیائو و لی در سال 2009،[9]) مطرح خواهند شد وبه دسته بندی تکواره هایی که عمل های روی آنها که در شرط (p)صدق می کنند،یکدست قوی هستند پرداخته میشود و تعدادی از مقالات مطرح شده توسط بولمن-فلمینگ و کیائو و لی در این زمینه و همه نتایج قبلی مورد مطالعه قرار خواهند گرفت.

وجود پوشش انژکتیو در مبحث انژکتیوی در جبرهای مختلف اهمیت فراوان دارد. با علم به وجود پوشش انژکتیو میتوان قضایای مهمی درباره انژکتیوی بیان کرد. اما شناسایی دقیق پوشش انژکتیو در حالت کلی صورت نگرفته است. یک قسمت از این رساله معرفی پوشش انژکتیو s-سیستم ها روی چند دسته از نیم گروهها است. مطلب مهم دیگری که در مبحث انژکتیوی جبرهای مختلف اهمیت زیاد دارد بررسی محک بیر است. کلاسی از s- سیستم ها وجود دارد که محک بیر برای آن کلاس برقرار است. ولی محک بیر در حالت کلی برای s-سیستم ها که s-سیستم ها که s یک نیم گروه است برقرار نمی باشد. در اینجا کلاس های مختلفی از نیم گروه ها معرفی نموده ایم که s-سیستم ها روی این نیم گروه ها در این محک صدق می کنند. یکی از ابزارهای بسیار قوی برای نیل به اهداف فوق مفهومی به نام کامل بودن است که اولین باز توسط ژولی بیان شد و در مورد مطالعه آقای دکتر ابراهیمی و خانم دکتر محمودی قرار گرفت. در این رساله با استفاده از این مفهوم علاوه بر به دست آوردن احکام مذکور رابطه بین انژکتیوی انژکتیوی ضعیف و خوص دنباله ای در رسته های مختلف s-سیستم ها که s-یک نیم گروه است مورد بررسی قرار گرفته است.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.