ریاضیات

زایشِ تقارن: وقتی ریشه‌ها «جان» می‌گیرند

در گامِ پیشین دیدیم که میدان‌هایِ مادر ($\mathbb{Q}$ و $\mathbb{R}$) چنان در تقدسِ تنهاییِ خود غرق‌اند که هیچ‌گونه نگاشتِ غیرِ همانی را برنمی‌تابند. اما جبر، هنرِ «گشودنِ گره‌ها»ست. هرگاه چندجمله‌ایِ سرکشی داریم که در میدانِ ما ریشه ندارد، با افزودنِ آن ریشه، «میدانِ جدیدی» متولد می‌شود. این «توسیعِ میدان»، همان لحظه‌یِ طلایی است که تقارن (Automorphism) از دلِ تاریکیِ مجهولاتِ جدید، سر بر می‌آورد.

قانونِ بقایِ ریشه

تصور کنید اعدادِ گویا ($\mathbb{Q}$) را داریم و به آن ریشه‌یِ معادله‌ای مانند $x^2 - 2 = 0$ را اضافه می‌کنیم. میدانِ جدیدی پدید می‌آید: $\mathbb{Q}(\sqrt{2})$. در اینجا، دیگر تنهاییِ مطلق حاکم نیست. چرا؟ چون در این میدانِ جدید، دو «همزاد» داریم: یکی $\sqrt{2}$ و دیگری $-\sqrt{2}$.

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

چندجمله‌ای‌هایِ تحویل‌ناپذیر: بذرهایِ تقارن

در یادداشت‌هایِ کلاس، تأکید شده است که هر تقارنی، ریشه‌ها را به ریشه‌هایِ «همان» چندجمله‌ای می‌فرستد. یعنی اگر «آلفا» ریشه‌یِ یک معادله باشد، تقارن‌هایِ ما نمی‌توانند آلفا را به جایی غیر از ریشه‌هایِ دیگرِ همان معادله بفرستند. ریشه‌ها، مقید به قفسِ چندجمله‌ایِ خویش‌اند؛ و این یعنی: هندسه‌یِ تقارن، دقیقاً توسطِ ریشه‌ها ترسیم می‌شود.

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