ریاضیات

۱. رازِ فروپاشی S₄ و محاط شدن در D₄

چون f(x) تنها حاوی توان‌های زوج است، ریشه‌ها همواره جفت‌های قرینه‌اند:

{α, −α, β, −β}.

هر اتومورفیسم که α را جابه‌جا کند، ناگزیر است قرینه‌ی آن (−α) را نیز هم‌زمان منتقل سازد. این وابستگی محکم سبب می‌شود تقارن‌های آزادانه‌ی S₄ (۲۴ حالت) فرو ریزد و بیشینه‌ی تقارن به ۸ تبدیل شود؛ یعنی گروه گالوا همواره زیرگروهی ترایا از گروه دی‌هدرال D₄ خواهد بود.

۲. منشور سه‌گانه‌ی گالوا: معیار تفکیک حالات

با در نظر گرفتن Δ = a² − 4b به عنوان ممیز معادله کمکی درجه دوم، ساختار گروه گالوا دقیقاً تابعِ وضعیتِ دو کمیت جبری (یعنی b و bΔ) است:

۳. تبیین شهودی حالات

• حالت کلاین (V₄): حاصل‌ضرب ریشه‌های دو جفت برابر با √b است. هرگاه b مربع کامل باشد، این حاصل‌ضرب در میدان گویا می‌نشیند و ریشه‌ها آزادانه با دو تقارن بازتابیِ مستقل جابه‌جا می‌شوند، بی‌آنکه نیازی به دوران چرخشی باشد.

• حالت دوری (C₄): هرگاه b(a² − 4b) مربع کامل باشد، پیوندی صلب میان ریشه‌ها پدید می‌آید؛ به گونه‌ای که با داشتن یک ریشه، سایر ریشه‌ها با یک تبدیل دورانی متوالی مرتبه ۴ زاییده می‌شوند.

• حالت دی‌هدرال (D₄): در غیابِ تقارن‌های تقلیل‌دهنده، ریشه‌ها از تمام آزادی‌های هندسیِ یک مربع بهره می‌برند؛ چهار بازتاب و چهار دوران، میدانی با درجه‌ی ۸ را پی می‌افکند.