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

یکی از موضوعات جالب توجه در نظریه گروهها، بحث در مورد گروههای تجزیه پذیر می باشد. گروه ‏‎g‎‏ را تجزیه پذیر گویند اگر زیر گروههای محض از ‏‎g‎‏ مانند ‏‎b,a‎‏ موجود باشند بطوریکه ‏‎g=ab‎‏. هر گاه ‏‎b,a‎‏ زیرگروههای ماکسیمال ‏‎g‎‏ باشند این تجزیه را ماکسیمال می نامند. نمونه های بسیاری از گروههایی که تجزیه پذیر نیستند وجود دارد. اگرچه تجزیه ماکسیمال کلیه گروههای ساده متناهی پیدا شده اند ولی تا زمان ...

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

قضیه ای کلاسیک در نظریۀ گروه ها می گوید اگر G یک 2-گروه متناهی باشد که تنها یک عضو مرتبۀ 2 دارد، آن گاه  G دوری است یا با یک ٢-گروه کواترنیون تعمیم یافته یکریخت است. هدف این نوشته، ارائۀ برهانی جدید برای این قضیه است.

به گروه غیر موضعأ دوری g گراف ?g را وابسته می کنیم و گراف غیر دوری از g می نامیم. که مجموعه رئوس آن به صورت( gcyc(g و دو رأس در صورتی تشکیل یال می دهند که با یک زیر گروه دوری تولید نشده باشند.ثابت می کنیم خوشه ای از اعداد ?g متناهی است اگر و تنها اگر خوشه نامتناهی نداشته باشد.ثابت می کنیم که اگر g یک گروه پوچ توان متناهی و h یک گروه که?g و ?h با یکدیگر یکریخت هستندو ?cyc(g)?=?cyc(h)?،آن گاه h ی...

در این رساله ابتدابه معرفی جبر کواترنیون وجبر آکتنیون می پردازیم سپس زیر جبر مشتقات از جبر آکتنیون را تعریف کرده نشان می دهیم این زیر جبر مشتقات از جبر آکتنیون یک جبر لی نیم ساده است ودارای بعد چهارده است و چون تنها جبرلی نیم ساده از بعد چهارده جبرلی استثنایی g2 است بنابراین این زیر جبر مشتقاتبا جبرلی استثنایی g2 یکریخت است .