فرض کنیم x و y فضاهای فشرده هاسدورف بوده و a و b به ترتیب جبرهای یکنواخت بر x و y باشند.هم چنین فرض کنیم از a به b یک عملگر پوشا باشد نشان می دهیم اگر در شرط ضربی-محیطی ;b((f)(g)) = ;a(fg); صدق کند که در آن؛ ;a(f) = f 2 a(f) : jj = maxfjwj : w 2 a(f)gg; آن گاه یک یکریختی جبری طولپای از a بروی b است. یکی از نتایج این حکم این است که هر یک یکریختی جبری ?? عملگر یکانی، پوشا و ضربی که بردهای م...

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

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

موضوعات اصلی، مسائل، قضایا و تعاریفی که در این رساله طرح می گردد، هدفش مطالعه ساختار نقاط تکینه f(x) و f برای نوع خاصی از مرفیسم های متناهی است . رهیافت ما در این بررسی، استفاده از تکنیک های جبر جابجایی است که تقریبا ماهیتی موضعی دارند و منجر به استنتاج نتایج فراگیر، تحت شرایط خاص ، می گردد. بیشترین شیء تحلیلی ایکه مورد استفاده قرار می گیرد، کامل شده (completion) حلقه موضعی نقاط واریته مورد مطا...

در این پایان نامه سعی می کنیم تا تعامل مفیدی بین طرح آزمایش (doe) از یک سو و جبر جابجایی، هندسه جبری و جبر محاسباتی از سوی دیگر شرح دهیم. doe یک شاخه از آمار و روشی برای ‏طراحی و دریافت اطلاعات از آزمایشات است. این موضوع می تواند اطلاعات را به دست آورده و آن را برای بررسی هدف مورد نظر به کار گیرد. به عنوان نمونه می توان به آشکار کردن شکست ها در یک دستگاه پیچیده یا یافتن ترکیب صحیح مواد موجود در...

در این پایان نامه bl-جبر a را تعریف کرده و بعضی از روابط مهم در bl-جبر را بیان و ثابت می کنیم. قسمت بولی bl-جبر a ، یعنی(b(a را تعریف کرده و در چندین قضیه خواص (b(a را بررسی می کنیم. یک زیر مجموعه ?-بسته در a را تعریف کرده و با استفاده از آن bl-جبر کسرها نسبت به یک زیر مجموعه ?-بسته را تعریف می کنیم. ثابت می کنیم که مجموعه سیستم های استنتاجی bl-جبر a یک مشبکه براورین و یک مشبکه جبری است. طیف یک...

در این پایاننامه به نتایج بیشتری در مورد ساختار a-جبرهای لی حلپذیر دست می یابیم. در گذشته نتاجی در مورد ساختار a-جبرها بدست آمده بود که با محدودیتهایی روی مشخصه ی میدان همراه بود که در این پایاننامه با گذاشتن شرط حلپذیری این محدودیتها از میان برداشته می شوند. در ابتدا به نتایج جزئی اما اساسی در مورد a-جبرها میرسیم که در ادامه از آنها استفاده میکنیم. نشان دادیم که a-جبرها نسبت به زیرجبر، خارج ...

یک جبر گلفند-مازور عبارت است از یک جبر a روی میدان f همراه با توپولوژیt به طوری که اعمال جبری پیوسته بلشد و برای هر ایده آل مدولار ماکسیمال چپ یا راست mاز a، a/m به طور توپولوژیکی با میدان f یکریخت باشد. در این پایان نامه به بررسی خواص پایه ای جبرهای گلفند-مازور می پردازیم. از آن جمله ایده آل های مدولار ماکسیمال و مختلط سازی جبرهای گلفند-مازور حقیقی را عنوان می کنیم. به علاوه اگر (a,b) یک زوج ا...

در این پایان نامه ساختار فضاهای عملگری انژکتیو، وجود و منحصربفردی پوش های انژکتیو فضاهای عملگری، مورد مطالعه قرار می گیرد. همچنین مثال ساده ای از یک فضای عملگری انژکتیو ارائه خواهد شد که با هیچ c*- جبری کاملاً طول پا نیست و این مثال جوابی برای سوال مطرح شده توسط ویتستاک ارائه می دهد. در نهایت نشان داده می شود فضای عملگری v انژکتیو است اگروتنهااگر c*-جبر انژکتیو a و تصاویر p و q از آن موجود باشند...

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