در سال 1967 گلسون و در سال 1968 کاهان و زلاسکو بطور مستقل ثابت کردند که: اگر a یک جبر باناخ جابجایی و یکدار باشد و m یک زیر فضای a که codim(m) آنگاه m یک ایده ال ماکسیمال است ، اگر و تنها اگر m شامل عضو معکوس پذیری نباشد. این قضیه به طور مستقیم ثابت نشد بلکه معادلی برای قضیه فوق بیان شد و با اثبات این قضیه، قضیه اصلی ثابت شد. از همان سالها شرط جابجایی بودن از قضیه فوق برداشته شد هدف فصل اول بیا...

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

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

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

در این پایان نامه به نظریه ی جبرهای c^* -سگال با تاکید بر نمایش تابعی آن ها می پردازیم. جبرهای سگال از زیرجبرهای l^1 -جبریک گروه فشرده ی موضعی به جبرهای باناخ دلخواه تعمیم داده شده است. بنابراین ساختار جبرهای سگال جبرهای باناخ دلخواه را بیان می کنیم و به معرفی ایده آل تقریبی و مدول های ضربگر می پردازیم که ابزار مناسبی برای مطالعه ی جبرهای سگال بدون همانی تقریبی می باشند. همچنین قضیه ی گ...

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

مبحث میانگین پذیری چپ برای f-جبرها یا جبرهای لائو، توسط لائو پایه گذاری شد. تعمیمی از این مفهوم، بحث ??-میانگین پذیری جبرهای باناخ است که ?? یک تابعک خطی-ضربی روی a، یا اصطلاحا" مشخصه a می باشد. در این پایان نامه، به مطالعه ??-میانگین پذیری می پردازیم و هدف، یافتن چند شرط لازم و کافی برای ??-میانگین پذیری جبر باناخ a و همچنین پیدا کردن چند خاصیت برای جبرهای باناخ ??-میانگین پذیر است. ??-میانگین...

کاپلانسکی در سال 1970 مساله زیر را مطرح کرد: فرض کنید a و b جبرهای باناخ مختلط نیم ساده باشند و t یک نگاشت خطی یکدار حافظ طیف از a بروی b باشد. آیا t یک همریختی جردن است؟ در این پایان نامه ثابت می کنیم که مساله کاپلانسکی برای کلاس خاصی از جبرهای باناخ جواب مثبت دارد. ثابت می کنیم که هر نگاشت خطی یکدار حافظ ایده الهای چپ ماکزیمال از یک c-ستار جبر بروی c-ستار جبر یکدار بطور محض نامتناهی یک همریخ...

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

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