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

مجموعه ی همه ی سیستم های استنتاجی از یک bl-جبر a، را با (ds(a (مشبکه ی همه ی دستگاه های استنتاجی a ) نشان می دهیم. هدف این پایان نامه توصیف جدید از عناصر ??تحویل ناپذیر روی (ds(a می باشد و خواهیم دید که اگر مشبکه توزیع پذیر باشد آنگاه عناصر ??تحویل ناپذیر و ?? اول آن یکی هستند. هم چنین خواهیم داشت برای هر زیر مجموعه ی p از (ds(a، ?? ? ????????(?? اگر و تنها اگر برای هر( ?? ? ????(?? ، ?? ...

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

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

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

*c-مدول های هیلبرت یک رده بین فضاهای باناخ و فضاهای هیلبرت هستند به طوری که در تمامی اصول فضای هیلبرت صدق می کنند بااین تفاوت که ضرب داخلی ذر نظر گرفته شده مقادیرش در یک *c-جبر می باشد.

در این رساله ابتدا این برسی میکنیم تحت چه شرایطی جمع و ترکیب دو عملگر یک مدول یک *c-مدول هیلبرت منظم است. سپس به مساله اغتشاش عملگرهای (خود الحاق) منظم فردهلم را بروی *c-مدولهای هیلبرت می پردازیم.در ادامه خواص توپولوژیک مجموعه عملگرهای (خود الحاق)منظم فردهلم را در فضای عملگرهای (خود الحاق)منظم نسبت به متر رخنه بررسی می کنیم. سپس قضیه تجزیه برد داگلاس برای عملگرهای بسته و به طور چگال تعریف شده ب...

در این پایان نامه، ابتدا تعاریف و خواصی از فضاهای هیلبرت، ‎c*-جبرها، حاصل ضرب تنسوری جبری و‎‎c*-مدول های ‎ هیلبرت را بیان می کنیم. سپس به بررسی تابعک های خطی مثبت، نگاشت های مثبت و نگاشت های کاملاً مثبت رویc*-جبرها پرداخته و دو قضیه ی اساسی در زمینه ی نگاشت های کاملاً مثبت بیان خواهیم کرد؛ قضیه ی اشتین اشپرینگ که یک نمایش مشخص از نگاشت های کاملاً مثبت رویc*-جبر ها به جبر عملگرهای کراندار روی فضاه...

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

قضیه ی تثبیت کاسپاروف بیان می دارد که برای هر *c- جبر a و هر a- مدول هیلبرت شمارا تولید شده ی e، جمع مستقیم ah?e به عنوان a- مدول هیلبرت یکریخت با ah است. طبیعی است که در مورد تعمیم این قضیه به a- مدول های هیلبرت دلخواه سوال کنیم که در آن ah را جایگزین a j?j? ، برای یک مجموعه ی به قدر کافی بزرگ j وابسته به e، کنیم. به عبارت دیگر برای هر a- مدول هیلبرت e، آیا مجموعه ی مناسب j ای وابسته به e وجود...