آنچه باید به یاد داشت: معیار آیزنشتاین و ترفند انتقال متغیر (عکس ۲)
در تصویر دوم، یکی از کارآمدترین و زیباترین ابزارهای اثبات تحویل‌ناپذیری چندجمله‌ای‌ها با ضرایب صحیح بر روی میدان اعداد گویا ℚ معرفی و به کار گرفته شده است. نکات راهبردی این مبحث به شرح زیر است:
۱. صورت دقیق معیار آیزنشتاین (Eisenstein's Criterion)
فرض کنید چندجمله‌ای با ضرایب صحیح به‌صورت زیر داده شده باشد:
f(x) = anxn + an-1xn-1 + ... + a1x + a0 ∈ ℤ[x]
اگر عدد اولی مانند p یافت شود به‌طوری‌که این سه شرط به‌طور هم‌زمان برقرار باشند:
- شرط ضریب پیشرو: عدد p ضریب پیشرو را نشمارد: p ƒ an
- شرط ضرایب میانی و ثابت: عدد p تمامی ضرایب دیگر را بشمارد: p | ai ∀ i ∈ {0, 1, ..., n-1}
- شرط مجذور در ضریب ثابت: توان دوم p ضریب ثابت را نشمارد: p2 ƒ a0
نتیجه قطعی: چندجمله‌ای f(x) بر روی میدان ℚ تحویل‌ناپذیر است (و اگر اولیه باشد، در ℤ[x] نیز تحویل‌ناپذیر است).
۲. ترفند انتقال متغیر (Substitution: x → x + c)
گاه یک چندجمله‌ای مستقیماً شرایط آیزنشتاین را برآورده نمی‌کند، اما می‌توان از تبدیل متغیر خطی استفاده نمود:
f(x) is irreducible over ℚ ⇔ f(x + c) is irreducible over ℚ (for any c ∈ ℤ)
این خاصیت ناشی از آن است که نگاشت انتقال x ↦ x + c یک خودریختی (Automorphism) روی حلقه‌ی چندجمله‌ای‌هاست و خاصیت تجزیه‌ناپذیری را دقیقاً حفظ می‌کند.
۳. تحویل‌ناپذیری چندجمله‌ای دایره‌بر Φp(x)
برای هر عدد اول p، چندجمله‌ای دایره‌بر به‌صورت زیر است:
Φp(x) = (xp - 1) / (x - 1) = xp-1 + xp-2 + ... + x + 1
آیزنشتاین مستقیم روی این فرم کار نمی‌کند؛ اما با تغییر متغیر x → y + 1 و اعمال بسط دو‌جمله‌ای نیوتن:
Φp(y + 1) = ((y + 1)p - 1) / y = yp-1 + ℂ(p, 1)yp-2 + ... + ℂ(p, p-2)y + p
چون برای ضرایب میانی ترکیب‌ها مضرب p هستند (p | ℂ(p, k))، ضریب پیشرو ۱ است (p ƒ 1) و ضریب ثابت p است (p2 ƒ p)، پس شرایط آیزنشتاین دقیقاً برقرار است و Φp(x) بر روی ℚ تحویل‌ناپذیر است.
خلاصه طلایی در یک نگاه
آیزنشتاین: اولویت نخست برای بررسی تحویل‌ناپذیری در ℚ با بررسی اول p بر روی ضرایب.
عدم تطابق اولیه: همیشه انتقال متغیر (به‌ویژه x ↦ x+1 یا x ↦ x-1) را قبل از ناامید شدن امتحان کنید.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.