چکیده فرض کنیم که ? ? psl2(r) یک گروه فوخسی باشد که روی نیم صفحه ی بالایی ‍پوانکارهh بطور سره ناپیوسته عمل کند. خارج قسمت h/? به عنوان خم جبری با ساختار رویه ریمانی شناخته شده اند.دراین پایان نامه به تعریف زیرگروه های حسابی تعمیم یافته از می پردازیم و نشان می دهیم که برای آن ها ، فضای خارج قسمت فوق تعبیر پیمانه ای مناسب به عنوان فضای رده بندی کننده ی چندگوناهای آبلی مناسب با درون ریختی ها...

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

بین این سه، چیزی _ ای میان مفهوم دامنه تجزیه یکتا، قضیه کرول-اشمیت و قضیه ژوردان-هلدر وجود دارد. رابطه _ رابطه جایی آزاد وجود دارد. قضیه کرول-اشمیت _ گوییم که در همه این سه موضوع یک تکواره جابه _ است که ما به طور معادل می را ar ∈ c رده یکریختی مدول ⟨ar⟩ و r های راست از طول متناهی روی حلقه _ مدول - r رده همه c گوید که اگر _ می یک تکواره v (c) = {⟨ar⟩ | ar ∈ c} در این صورت ،ar های یکریخت با _ ...

چکیده ندارد.

‏دراین پایان نامه مدل پوانکاره از هندسه ی هذلولوی (نیم صفحه ی بالا) را تحت عمل گروه طولپا ییها درنظر می گیریم؛ به ازای هر زیرگروه گسسته که عمل آن روی نیم صفحه ی بالا به طور سره گسسته باشد، دامنه ی اصلی این عمل را با توپولوژی خارج قسمتی در نظر می گیریم. دسته های خاصی از این طولپاییها اهمیت حسابی و هندسی فراوانی دارند که دراین پایان نامه به دو خانواده ازآنها اشاره می کنیم : زیرگروه های همنهشتی ‎...

ضرب عمومی دو تانسور n بعدی a و b که a از مرتبه m?2 و از b مرتبه k?1 می باشد، تانسوری از بعد n و مرتبه m-1)(k-1)+1) است. این ضرب که تعمیمی از ضرب معمولی ماتریس ها است در قانون شرکت پذیری نیز صدق می کند. با استفاده از این ضرب، بسیاری از مفاهیم و نتایج شناخته شده از تانسورها می توانند به سادگی بیان و یا اثبات شوند. در این پایان نامه با استفاده از ضرب تانسوری و یک سری خواص برآیند یک سیستم معادلات...

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

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

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

هدف از این پایان نامه معرفی ‏‎mv‎‏- جبرهای تعمیم یافته و کاتگوری ‏‎mv‎‏-جبرهای جابجایی است. ابتدا در فصل اول برخی مفاهیم مقدماتی از جمله جبر بول ، مشبکه و ‏‎dri‎‏-نیم گروه ها را تعریف و قضایایی که درادامه این پایان نامه مورد استناد قرار می گیرند را می آوریم. سپس تعریف و برخی قضایای مقدماتی ‏‎mv‎‏-جبرهای جابجایی را بیان می کنیم. در بخش اول از فصل دوم به بیان تعریف ‏‎mv‎‏- جبرهای تعمیم یافته ، خو...