ریاضیات

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

۱. گروه‌هایِ حل‌پذیر؛ زنجیره‌ای از گسست‌هایِ پیوسته

در قلبِ نظریه‌یِ گالوا، مفهومی به نام «گروه حل‌پذیر (Solvable Group)» جای دارد. گروهی را «حل‌پذیر» گوییم که بتوان آن را به زنجیره‌ای از زیرگروه‌هایِ تو در تو تجزیه کرد، به گونه‌ای که هر گامِ این تجزیه، یک گروهِ کوچک‌تر و ساده‌تر (به‌ویژه گروه‌هایِ آبلی یا دوری) باشد. این همان معنایِ «مرحله به مرحله رسیدن به ریشه» است.

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

۲. پلِ میانِ ریشه و تقارن: قضیه‌یِ گالوا

لبّ کلام و عصاره‌یِ کشفِ گالوا در این گزاره‌یِ تاریخی نهفته است:

این قضیه، معمایِ دیرینه‌یِ «رادیکال‌ها» را به «ساختارِ انتزاعیِ گروه‌ها» ترجمه کرد. حال، برایِ پاسخ به این پرسش که «چرا معادله‌یِ درجه‌یِ پنج حل‌نشدنی است؟»، کافیست به سراغِ تقارن‌هایِ آن برویم.

۳. چرا درجه‌یِ پنج سرکش است؟ ($S_5$ و $A_5$)

هر معادله‌یِ درجه‌یِ پنجِ عمومی، گروهِ گالوایی معادل با گروهِ متقارنِ S5 دارد (گروه جایگشت‌هایِ ۵ شیء). این گروه دارای یک زیرگروهِ بزرگ به نام گروهِ متناوبِ A5 است.

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