در سال 1974 ونگ پرمننت ماتریس های مربعی از مرتبه n=4k+1 وn=4k+3 و درایه هایی از ریشه دوم واحدرا بررسی کرد و وجود ماتریس هایی از این مرتبه با پرمننت صفر را اثبات نمود. در سال 1983 سیمون و اشمیت مرتبه ماتریس هایی را مورد بررسی قرار دادند که پرمننت آن ها مخالف صفر است و نشان دادند اگر a ماتریسی مربعی از مرتبه یک واحد کمتر از توانی از 2 و با درایه هایی از 1و1- باشد،پرمننتی غیر صفر خواهد داشت. در ...

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

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

فرض کنیم ‎m یک خمینه ی ریمانی فشرده و ‎i(m) گروه یکمتریهای روی ‎m باشند. برای یرگروه بسته ی g از ‎i(m) ‎ و‎ p m ‎ مجموعه ی ‎ مدار ‎pتحت ‎g‎ نامیده شده، گردایه ی تمام چنین مدارهایی با ‎m/g‎ نمایش داده می شود. نگاشت طبیعی‎ ‎ هر نقطه را به مدار آن تحت ‎g‎ می برد. طبق شرایطی که روی ‎g‎ اعمال می شود، ‎m/g‎ یک خمینه و ‎ یک نگاشت پوششی خواهد بود. مزیت کار با ‎m/g‎ و ‎ و ... آنست که خواص هندسی ‎m‎ برح...

یک پوشش برای گروه مفروض g، عبارت است از گردایه ای از زیرگروههای سره ی g که اجتماع آنها برابرg است. پوششی را کاهش یافته می گوییم که هیچ یک از زیرمجموعه های سره ی آن، پوشش نباشند و همچنین پوششی را ماکسیمال می گوییم که همه ی اعضای آن زیرگروه ماکسیمال باشند. یک پوشش با n عضو برای عدد صحیح n>2، n- پوشش نامیده می شود. اشتراک همه ی اعضای پوشش را با d نشان داده و هرگاه ?core?_g d=d_g=1 باشد می گوییم...

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

در سراسر این رساله، یک حلقه جابجایی، یکدار و غیر بدیهی و یک - مدول یکانی می باشد. زیر مدول سره از را یک زیر مدول اول می نامند هرگاه به ازای هر و ، ایجاب کند یا . گردایه همه زیر مدولهای اول (ماکسیمال) مدول را با نماد ( ) نمایش می دهیم. نگاشتهای و را به ترتیب نگاشتهای طبیعی طیف اول و طیف ماکسیمال مدول می نامند. یک به یک و پوشا بودن این نگاشتها، نقش بسیار مهمی در مطالعه توپولوژی های زاریس...