فرض کنیم r یک حلقه ی نوتری که لزوما موضعی نیست و m یک r مدول متناهیا تولید شده با بعد متناهی d باشد. همچنین فرض کنیم a یک ایده آل r و m اشتراک همه ی ایده آلهای اول p باشد به طوری که ??. در این صورت نشان می دهیم : ؟؟ در آن برای یک r مدول آرتینی a قرار می دهیم : ؟؟؟ بعنوان یک نتیجه ثابت می شود که برای هر ایده آل aاز r فقط تعداد متناهی آخرین مدول کوهمولوژی موضعی he(m) غیر ایزومورفیک وجود دارد ک...

قضیه صفر شدن هارتشورن - لیختنبام footnote{-lichtenbaum hartshorne }یکی از مهم ترین نتایج در زمینه مدول های کوهمولوژی موضعی است. چندین اثبات ازاین قضیه وجود دارد؛ برای مثال cite{bh2}, cite{cs} و cite{sc1}را ببینید. همچنین، تعمیم های زیادی ازاین قضیه وجود دارد.دیوانی آذر، نقی پور و طوسی در cite{dnt} آن را به کوهمولوژی موضعی با محمل در زیرمجموعه های بسته تحت تخصیص توسیع داده اند. تاکاهاشی foo...

در این پایان نامه قضیه صفر شدن دو گان عدد باس موضعی را ثابت خواهیم کرد. در جزییات فرض کنیم r یک –u حلقه m یک –r مدل آرتینی و اگر در این صورت که در آن امین دوگان عدد باس –r مدول m نسبت به p می باشد و fdrp home r(rp.m) ممکن است نامتناهی باشد علاوه بر آن اگر cograderp (rp.m) و fdrphomer(rp.m) آنگاه (p.m)0همچنین (p.m)0

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

در این پایان نامه، نتایج زیر را بررسی خواهیم کرد که تعمیمی از نتایج ملکرسون (1999) می باشند. فرض کنید (r,m) حلقه موضعی نوتری باشد به طوری که r ? روی r صحیح است. فرض کنید i یک ایده آل واقعی از r و a یک rـ مدول آرتینی باشد. در این صورت a مدول i- هم متناهی است اگر و تنها اگر ?(i+?ann?_r )=m. همچنین مثالی ارائه می دهیم که نشان می دهد این مطالب برای حلقه موضعی نوتری دلخواه در حالت کلی برقرار نیست. ب...

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

قضیه بورسوک-اولام و قضیه نقطه ثابت براوئر هر دو از قضیه های شناخته شده در توپولوژی هستند و هر دو غیر ساختاری و وجودی به شمار می آیند. بیشتر کتابهای درسی این قضیه ها را بدون ذکر رابطه آنها با یکدیگر بیان کرده اند. با وجود این ثابت می شود که قضیه بورسوک-اولام، قضیه نقطه ثابت براوئر را نتیجه می دهد. در این مقاله این نتیجه را با روشی مستقیم ثابت می کنیم.

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

چکیده ندارد.

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