ریاضیات

دفتر گالوا (۵۸): چرا معادلاتِ درجه ۴، هنوز رام‌اند؟

ای دوست! در پست‌های پیشین دیدیم که تقارن‌هایِ یک مثلث ($S_3$)، به سادگی در دو گام به سکوت می‌رسند. اما برایِ چهار‌ضلعی‌ها و معادلاتِ درجه ۴، ماجرا کمی پیچیده‌تر، اما همچنان «امیدوارکننده» است.

گروه $S_4$ (گروه جایگشت‌های ۴تایی) را در نظر بگیر. ما می‌توانیم این گروه را به زنجیره‌ای از زیرگروه‌ها خُرد کنیم:

S_4 ≥ A_4 ≥ V_4 ≥ {1}

دکتر محمدی می‌گفت: «حل‌پذیری، هنرِ خُرد کردنِ کل به اجزایِ کوچک‌تر است.» هر کدام از این گام‌ها، یک «زیرگروه نرمال» هستند که خارج‌قسمت‌شان (فاکتورشان) یک گروهِ آبلی است. یعنی ما در هر مرحله، هیاهویِ جایگشت‌ها را کم می‌کنیم تا به آرامشِ جابه‌جایی برسیم. این «زنجیره‌یِ تصفیه»، به ما می‌گوید که تا درجه ۴، هنوز «روزنه‌ای برایِ رادیکال‌ها» باز است. معادله، هنوز تسلیم می‌شود.

«در پله‌هایِ تقارن، تا چهار گام پیش رفتیم؛

هنوز ریشه‌ها، در بندِ رادیکال‌ها اسیرند.»