به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
سایت پرسش و پاسخ ریاضی
0 امتیاز
37 بازدید
در دانشگاه توسط nkar (26 امتیاز)
ویرایش شده توسط AmirHosein

نشان دهید حلقهٔ $\bar{\mathbb{Z}}_{mn}$ که $m$ و $n$ نسبت به هم اولند دست کم دارای ۴ عضو خود توان است.

راهنمایی: اگر $m$ و $n$ نسبت به هم اول باشند آنگاه $x$ و $y$ای وجود دارند به گونه‌ای که $mx+ny=1$.

1 پاسخ

0 امتیاز
توسط AmirHosein (11,165 امتیاز)
ویرایش شده توسط AmirHosein

دو گزاره که می‌توانید به عنوان تمرین به اثبات‌شان فکر کنید.

گزارهٔ ۱: حلقهٔ رده‌های باقیمانده‌ای به پیمانهٔ $p^r$ که $p$ عددی اول و $r$ عددی طبیعی است تنها دو عضو خودتوان دارد.

گزارهٔ ۲: اگر $n=p_1^{\alpha_1}\cdots p_s^{\alpha_s}$ تجزیهٔ $n$ به شمارنده‌های اولش باشد آنگاه $$\bar{\mathbb{Z}}_n\cong\bar{\mathbb{Z}}_{p_1^{\alpha_1}}\times\cdots\times\bar{\mathbb{Z}}_{p_s^{\alpha_s}}$$

اکنون باید برایتان ساده باشد که از دو گزارهٔ پیش نتیجه می‌شود که عضوهای خودتوان $\mathbb{Z}_n$ برابر با $s$-تایی‌های مرتبی است که هر یک از درایه‌ها یا ۰ یا ۱ است که در نتیجه یعنی $2^s$ عضو خودتوان دارد.

اینک بیاییم به پرسش شما بپردازیم. به فرض $n$ و $m$ دو عدد طبیعی نسبت به هم اول و بزرگتر اکید از ۱ هستند. چون ۱ نیستند، دست کم یک عدد اول برای هر یک وجود دارد که آن را می‌شمارد. چون نسبت به هم اول هستند پس هیچ عدد اولی هر دو را نمی‌شمارد. پس اگر تجزیهٔ آنها به شمارنده‌های اولشان را بنویسیم؛ $n=p_1^{\alpha_1}\cdots p_{s_1}^{\alpha_{s_1}}$ و $m=q_1^{\beta_1}\cdots q_{s_2}^{\beta_{s_2}}$، آنگاه

\begin{align} \bar{\mathbb{Z}}_{mn} &\cong \bar{\mathbb{Z}}_{p_1^{\alpha_1}\cdots p_{s_1}^{\alpha_{s_1}}q_1^{\beta_1}\cdots q_{s_2}^{\beta_{s_2}}}\\ &\cong \bar{\mathbb{Z}}_{p_1^{\alpha_1}}\times\cdots\times\bar{\mathbb{Z}}_{p_{s_1}^{\alpha_{s_1}}}\times\bar{\mathbb{Z}}_{q_1^{\beta_1}}\times\cdots\times\bar{\mathbb{Z}}_{q_{s_2}^{\beta_{s_2}}} \end{align}

پس تعداد عضوهای خودتوانتان برابر خواهد بود با

$$2^{s_1+s_2}\geq 2^{1+1}=2^2=4$$

حمایت مالی

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