نظریه میدان و نظریه گالوا
نظریه میدان به مطالعه حساب میدانها و توسیعهای آنها میپردازد و نظریه گالوا یک فرهنگ لغت دقیق بین توسیعهای میدان و گروههای تقارن ایجاد میکند و مسائل کلاسیک مربوط به حل معادلات چندجملهای را حل میکند.
Definition
یک میدان یک حلقه جابجاییپذیر است که در آن هر عنصر غیرصفر دارای معکوس ضربی است. نظریه میدان به مطالعه میدانها و توسیعهای بین آنها میپردازد؛ نظریه گالوا یک توسیع نرمال و تفکیکپذیر را از طریق گروه خودریختی آن، یعنی گروه گالوا، تحلیل میکند.
Scope
این حوزه شامل توسیعهای میدان و درجات آنها، عناصر جبری و متعالی، میدانهای تجزیه و بستارهای جبری، تفکیکپذیری و نرمال بودن، تناظر گالوا بین میدانهای میانی و زیرگروهها، حلپذیری با رادیکالها، و ساختار میدانهای متناهی است. این مبحث نقطه اوج یک دوره اول جبر در مقطع تحصیلات تکمیلی است.
Sub-topics
Core questions
- درجه و ساختار یک توسیع میدان معین چیست، و آیا جبری است یا متعالی؟
- گروه گالوا یک توسیع چگونه میدانهای میانی آن را طبقهبندی میکند؟
- چه زمانی یک معادله چندجملهای میتواند با رادیکالها حل شود؟
- میدانهای متناهی ممکن کدامند و چگونه ساخته میشوند؟
Key theories
- قضیه اساسی نظریه گالوا
- برای یک توسیع گالوا متناهی، یک تناظر دوسویه معکوسکننده شمول بین میدانهای میانی و زیرگروههای گروه گالوا وجود دارد، که تحت آن زیرگروههای نرمال با زیرتوسیعهای نرمال مطابقت دارند.
- حلپذیری با رادیکالها
- یک چندجملهای تنها در صورتی با رادیکالها حلپذیر است که گروه گالوا آن یک گروه حلپذیر باشد؛ این معیار عدم امکان وجود یک فرمول رادیکالی عمومی برای معادلات درجه پنجم و بالاتر را توضیح میدهد.
- طبقهبندی میدانهای متناهی
- برای هر توان اول، دقیقاً یک میدان متناهی از آن مرتبه (تا یکریختی) وجود دارد، و گروه ضربی آن چرخهای است؛ میدانهای متناهی یک برج را تشکیل میدهند که توسط تقسیمپذیری درجات آنها اداره میشود.
Clinical relevance
نظریه گالوا مسئله هزاران ساله حل معادلات چندجملهای و مسائل کلاسیک ساخت با خطکش و پرگار را حل کرد. میدانهای متناهی در نظریه کدگذاری، رمزنگاری، و تولید اعداد شبهتصادفی ضروری هستند، و نظریه گستردهتر زیربنای نظریه اعداد جبری است.
History
گالوا با تکیه بر اثبات آبل مبنی بر اینکه معادله درجه پنجم عمومی با رادیکالها حلناپذیر است، در دهه ۱۸۳۰ گروه یک معادله و تناظری را که اکنون نام او را یدک میکشد، معرفی کرد. اشتاینیتز نظریه انتزاعی مدرن میدانها را در سال ۱۹۱۰ ارائه داد، و آرتین نظریه گالوا را بر حسب گروههای خودریختی و استقلال خطی کاراکترها بازنویسی کرد.
Key figures
- Évariste Galois
- Niels Henrik Abel
- Ernst Steinitz
- Emil Artin
- Leopold Kronecker
Related topics
Seminal works
- lang2002
- dummit2004
- artin2011
Frequently asked questions
- چرا معادله درجه پنجم عمومی را نمیتوان با رادیکالها حل کرد؟
- بر اساس معیار گالوا، حلپذیری با رادیکالها معادل حلپذیر بودن گروه گالوا است. گروه متقارن روی پنج حرف، که به عنوان گروه گالوا یک معادله درجه پنجم عمومی ظاهر میشود، حلپذیر نیست، بنابراین هیچ فرمول رادیکالی عمومی وجود ندارد.
- تناظر گالوا در واقع چه چیزهایی را با هم مطابقت میدهد؟
- این تناظر هر میدانی را که بین میدان پایه و میدان بالا قرار دارد، با زیرگروه خودریختیهایی که آن را ثابت نگه میدارند، جفت میکند و شمولها را معکوس میکند. این کار سؤالات دشوار در مورد میدانها را به سؤالات قابل حلتر در مورد گروههای متناهی تبدیل میکند.