فرض می کنیم r ‎ یک حلقه موضعی (نوتری) و جابجایی‏، ‎‎‎‎i‎ یک ایده آلی از ‎‎‎‎r‎ و ‎‎‎‎m‎‎‏، ‎n‎‎‎‎ دو ‎‎-r‎ مدول با تولید متناهی باشند. پس از بررسی خواص اساسی مدول‎‎های h‎‎‎‎_{‎i‎}‎^{‎i‎}‎(m,n) ‎‎ ‎نشان می دهیم‎‎ که ‎‎ f-depth (i+ann_{r}(m),n) = inf{ i?n_{0 | نیست آرتینیh_{i}^{i}(m,n)} سپس فرض می کنیم ‎‎‎‎t‎‎‎‎ یک عدد صحیح مثبت باشد. نشان می دهیم:‎ (‎1) اگر برای هر ‎ i<t ‎‎...

فرض می کنیم r ‎ یک حلقه موضعی (نوتری) و جابجایی‏، ‎‎‎‎i‎ یک ایده آلی از ‎‎‎‎r‎ و ‎‎‎‎m‎‎‏، ‎n‎‎‎‎ دو ‎‎-r‎ مدول با تولید متناهی باشند. پس از بررسی خواص اساسی مدول‎‎های h‎‎‎‎_{‎i‎}‎^{‎i‎}‎(m,n) ‎‎ ‎نشان می دهیم‎‎ که ‎‎ f-depth (i+ann_{r}(m),n) = inf{ i?n_{0 | نیست آرتینیh_{i}^{i}(m,n)} سپس فرض می کنیم ‎‎‎‎t‎‎‎‎ یک عدد صحیح مثبت باشد. نشان می دهیم:‎ (‎1) اگر برای هر ‎ i<t ‎‎...

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

در سال ‎1962‎، جبرئیل ‎ltrfootnote{gabriel}‎ در مرجع ‎cite{0}‎ ثابت کرد که یک ایزومورفیسم شبکه ی بین مجموعه? همه? زیرکاتگوری های ‎ extbf{‎‎ سر} از کاتگوری‎$r~$-مدول ‎های متناهی مولد و مجموعه? همه? زیرمجموعه هایی از ‎${ m spec}(r)$‎که تحت ویژگی سازی بسته هستند وجود دارد‎.‎ در این پایاننامه هدف ما بدست آوردن معیاری برای ‎ extbf{سر}‎ کاتگوری بودن ‎$(mathcal{s}_{1},mathcal{s}_{2})~$‎ است، که در آن...

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

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

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

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

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

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