تقارن در موازنه: جدولِ تناوبیِ میدان‌ها
در وادیِ گالوا، هر تقارنی که در گروه (G) می‌بینیم، در میدان (K) متناظری دارد. استاد در این بخش از درس‌نامه‌ها، با دقتی مثال‌زدنی، فهرستی از این «هم‌نشینی‌ها» تهیه کرده‌اند. جدولی که در ادامه می‌بینید، در یک کفه «تقارن‌هایِ انتزاعی» و در کفه‌یِ دیگر «هویت‌هایِ عددی» را جای داده است. گویی که این‌ها زبانِ مشترکِ اعداد و تقارن‌ها هستند.
فهرستِ گروه‌ها و هم‌ارزیِ آنها:
- گروهِ کل (G): مرتبه‌یِ ۸
- گروه S: {1, σ, σ2, σ3} ≅ C4
- گروه T و U: {1, σ2, τ, σ2τ} ≅ C2 × C2
- گروه‌هایِ A تا E: (زیرگروه‌هایِ دوریِ مرتبه ۲) ≅ C2
- گروه I: {1} ≅ C1 (عنصرِ واحد)
پُلِ ارتباطی: میدان‌هایِ مقیم
هر یک از این گروه‌ها، «میدانِ ثابتی» دارند؛ یعنی مجموعه‌ای از اعداد که با اعمالِ آن تقارن، تغییر نمی‌کنند. برایِ درکِ بهتر، نگاهی به متناظرهایِ عددیِ آنها بیندازید:
| زیرگروه | میدانِ متناظر (Kx) |
|---|---|
| S | Q(i) |
| T | Q(√2) |
| U | Q(i√2) |
رازِ محاسبات: چگونه میدان را ثابت کنیم؟
استاد برایِ یافتنِ این میدان‌ها، از این فرمولِ زرین استفاده کرده‌اند:
KC = { x ∈ K | c(x) = x, ∀ c ∈ C }
یعنی میدانِ ثابتِ یک گروه (C)، شاملِ تمامِ عناصری است که تحتِ تأثیرِ آن گروه، «تغییر» نمی‌کنند. این همان «ایستایی در عینِ پویایی» است که جان‌مایه‌یِ نظریه‌یِ گالواست.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.