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

ثابت کنید(I:J)ایده الی از حلقه R???(مربوط ب جبر جابجایی مقطع ارشد)؟

مرجع: جبرجابجایی _نقیپور
دارای دیدگاه توسط fardina
+1
جبر جابجایی یک برچسب هست که انتخاب کردید و نباید در عنوان سوال قرار بگیره چون ممکنه سوالات زیادی در مورد جبر جابجایی پرسیده بشه اگر قرار باشه همه ی سوال ها عنوانشون جبرجابجایی باشه بعدا چطور این سوالات از هم تفکیک بشن و با جست و جو پیدا بشن؟
لطفا راهنمای تایپ رو ببینید:
http://math.irancircle.com/52
http://math.irancircle.com/56
http://math.irancircle.com/8627

1 پاسخ

+1 امتیاز
پاسخ داده شده توسط farshchian2090

ابتدا مجموعه $(I:J)$ را تعریف می کنیم:

$$ (I:J)=\{ r \in R | rJ \subseteq I \}=\{ r \in R | rb \in I ,\forall b \in J \} $$

نشان می دهیم این مجموعه ایده آلی از حلقه R است. لذا دو چیز را باید ثابت کرد:

1- به ازای هر $ r,s \in (I:J) $ داشته باشیم $r-s \in (I:J)$

2- به ازای هر $r \in R$ و هر $s \in (I:J)$ داشته باشیم $rs, sr \in (I:J)$

برای اثبات قسمت اول چون $r,s \in (I:J)$ لذا طبق تعریف داریم $rb , sb \in I, \forall b \in J$ چون I ایده آل است پس $rb-sb \in I $ و یا $(r-s)b \in I$ و لذا $(r-s) \in (I:J)$

برای اثبات قسمت دوم توجه میکنیم که $s \in (I:J)$ باز بنا به تعریف نتیجه می شود که به ازای هر $b \in J$ داریم $sb \in I$ چون I یک ایده آل است پس به ازای هر $r \in R$ داریم $(rs)b = r(sb) \in I$ پس $rs \in (I:J)$ همچنین از آنجاکه $sb \in I$ و I ایده آل است می توان نوشت $(sr)b = s(rb) \in I$ زیرا $b \in J$ و J ایده آل است و لذا $rb \in J$ برای هر $r \in R$ و بنابراین حکم بالا صادق است و لذا $sr \in (I:J)$

و حکم ثابت است. $\Box$

با توجه به اینکه اخیرا هزینه های نگهداری سایت افزایش چشمگیر چند برابری داشته، محفل ریاضی نیازمند حمایت مالی شما است.

حمایت مالی


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

ابزارها:

سرگرمی: سودوکو جدید

رسم نمودار: Geogebra جدید

...