ریاضیات

مسئله ۱: دیسکریمینان و تقارنِ معادلات درجه سوم

صورت مسئله: معادله f(x) = x³ + px + q را روی میدان اعداد گویا در نظر بگیرید. دیسکریمینان این معادله برابر است با Δ = -4p³ - 27q². ثابت کنید گروه گالوای این چندجمله‌ای، زیرگروهی از گروه متناوب A₃ است اگر و تنها اگر Δ مربعی کامل در ℚ باشد.

پاسخ تشریحی:

ریشه‌های معادله را α₁, α₂, α₃ بنامید. دیسکریمینان ریشه‌ها به صورت (α₁-α₂)²(α₁-α₃)²(α₂-α₃)² تعریف می‌شود. اگر δ = (α₁-α₂)(α₁-α₃)(α₂-α₃) باشد، آنگاه Δ = δ². هر نگاشتِ اتومورفیسمی که یک ترانهاده (جابه‌جایی زوج ریشه) باشد، δ را به -δ تبدیل می‌کند. بنابراین δ در میدان ثابتِ زیرگروه A₃ قرار دارد. اگر δ متعلق به ℚ باشد (یعنی Δ مربعی کامل باشد)، آنگاه تمام نگاشت‌ها δ را ثابت نگه می‌دارند، پس گروه گالوا باید داخل A₃ (گروه جابه‌جایی‌های زوج) قرار گیرد.

مسئله ۲: مفهوم حل‌کننده لاگرانژ (Lagrange Resolvent)

صورت مسئله: مفهوم حل‌کننده لاگرانژ برای معادله درجه سوم را توضیح دهید و بگویید چگونه این کمیت، متغیرهای معادله را به زیرگروه‌هایی از S₃ مرتبط می‌کند؟

پاسخ تشریحی:

حل‌کننده لاگرانژ تابعی است که تحت عملِ زیرگروه‌های نرمالِ گروه متقارن، به شکلی خاص (به عنوان مثال با ضرب در یک ریشه واحد ω) تغییر می‌کند. برای معادله درجه سه، حل‌کننده لاگرانژ L_ω = α₁ + ωα₂ + ω²α₃ را می‌سازیم. تحتِ عملِ چرخشِ زوج (1 2 3) که مولد A₃ است، L_ω به ωL_ω تبدیل می‌شود. این ابزار به ما اجازه می‌دهد «تقارن» را به شکلی خطی بازنمایی کنیم. وقتی ما معادله را با رادیکال‌ها حل می‌کنیم، در واقع در حال «شکستن» این تقارن با استفاده از این حل‌کننده‌ها هستیم تا به ریشه‌های نهایی برسیم.

مسئله ۳: حل معادله درجه چهار و حل‌کننده مکعبی

صورت مسئله: برای معادله درجه چهار، گروه گالوا S₄ است. ساختار S₄ یک زیرگروه نرمال V₄ (گروه چهار عضوی کلاین) دارد که S₄/V₄ ≅ S₃ است. این ساختارِ خارج‌قسمتی، چگونه منجر به ساخته شدن «حل‌کننده مکعبی» (Resolvent Cubic) در فرمول فراری می‌شود؟

پاسخ تشریحی:

فرمول فراری برای حل درجه چهار، ابتدا به یک معادله درجه سه (حل‌کننده مکعبی) می‌رسد. دلیل نظری این است که S₄ دارای یک زنجیره زیرگروه‌های نرمال است که خارج‌قسمت‌های آن یا آبلی هستند یا به S₃ می‌رسند. ریشه‌های حل‌کننده مکعبی، ترکیبات خطی از ریشه‌های اصلی معادله درجه چهار هستند (مانند α₁α₂ + α₃α₄). با حل این معادله درجه سه، ما «میدان شکافنده» را به بخش‌های کوچک‌تر و حل‌شدنی‌تر تقسیم می‌کنیم. این یکی از عالی‌ترین نمونه‌های کاربرد تناظر گالوا در حل معادلات است: تبدیل یک مسئله غیرحل‌شدنی مستقیم (درجه ۴) به یک سلسله‌مراتب از مسائل ساده‌تر (درجه ۳ و سپس درجه ۲).

نکته تاریخی: کارِ گالوا دقیقاً همین‌جا درخشید؛ او نشان داد که چرا برای درجه ۵، این زنجیره زیرگروه‌های نرمال (حل‌شدنی) دیگر وجود ندارد، چرا که A₅ «ساده» است و نمی‌توان آن را به زیرگروه‌های کوچک‌ترِ آبلی تجزیه کرد.