به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+2 امتیاز
77 بازدید
سوال شده در دانشگاه توسط

ثابت کنید اگر $M $ یک $ \mathbb{Z} $ مدول آزاد باشد آنگاه هر زیر مدول آن نیز آزاد است.

1 پاسخ

+2 امتیاز
پاسخ داده شده توسط AmirHosein

قضیهٔ ۹.۸ در کتاب Advanced Modern Algebra از Joseph Rotman را نگاه کنید. در آنجا ثابت می‌کند که اگر حلقهٔ اسکالرهای مدول آزادتان یک دامنهٔ ایده‌آل‌های اصلی باشد، آنگاه هر زیرمدول آن نیز مدولی آزاد می‌شود. در پرسش شما نیز $\mathbb{Z}$ یک دامنهٔ ایده‌آل‌های اصلی است. اثبات آمده‌شده‌ در آنجا ابتدایی است، اما برای ساده‌تر شدن کار شما چون با اعداد صحیح کار می‌کنید و می‌دانید که مجموعهٔ اعداد صحیح (و در نتیجه هر زیرمجموعه‌ای از آن) با رابطهٔ کوچکتری معمولی اعداد یک مجموعهٔ مرتب‌کامل است پس نیازی نیست از لمی که گفته‌است استفاده کنید و ترتیبی را که برمی‌دارد همان ترتیب کوچکتری معمولی اعداد بردارید.

به محفل ریاضی ایرانیان خوش آمدید!
کانال تلگرام محفل ریاضی
امروز : تاریخ شمسی اینجا نمایش داده می‌شود
حمایت مالی
...