نظریه انشعاب و گالوا در میدانهای عددی
هنگامی که یک عدد اول در یک میدان عددی بزرگتر بررسی میشود، ممکن است به چندین عدد اول تجزیه شود، اول باقی بماند یا منشعب شود؛ نظریه گالوا تمام این رفتارها را از طریق گروههای تجزیه و عنصر فروبنیوس سازماندهی میکند.
Definition
انشعاب نحوه تجزیه یک ایدهآل اول از یک میدان پایه در یک توسیع و اینکه آیا عوامل اول تکراری ظاهر میشوند را توصیف میکند؛ نظریه گالوا میدانهای عددی این را از طریق زیرگروههای گروه گالوا که به هر عدد اول بالای آن متصل است، کدگذاری میکند.
Scope
این مبحث شامل تجزیه یک عدد اول گویا در یک توسیع به ایدهآلهای اول با شاخصهای انشعاب و درجات باقیمانده آنها، هویت بنیادی که آنها را به درجه مرتبط میکند، اعداد اول منشعب و غیرمنشعب، گروههای تجزیه و اینرسی در یک توسیع گالوا، اتومورفیسم فروبنیوس، دیفرانت و رابطه بین ممیز و انشعاب، و نماد آرتین که پیشبینیکننده تقابل است، میشود.
Core questions
- چگونه یک عدد اول گویا در حلقه اعداد صحیح یک توسیع تجزیه میشود و شاخص انشعاب و درجه باقیمانده چیست؟
- چرا این ناورداها هویت بنیادی را که مجموع آنها برابر با درجه است، برآورده میکنند و چگونه برای توسیعهای گالوا ساده میشود؟
- گروههای تجزیه و اینرسی چیستند و عنصر فروبنیوس چگونه بر میدانهای باقیمانده عمل میکند؟
- کدام اعداد اول منشعب میشوند و چگونه دیفرانت و ممیز آنها را تشخیص میدهند؟
Key theories
- هویت بنیادی و انواع تجزیه
- یک عدد اول در یک توسیع با شاخصهای انشعاب و درجات باقیمانده تجزیه میشود که مجموع وزنی آنها برابر با درجه میدان است؛ در یک توسیع گالوا، همه عوامل دارای شاخص و درجه یکسان هستند و رفتار تجزیه شده، خنثی و منشعب را طبقهبندی میکنند.
- گروه تجزیه، گروه اینرسی و فروبنیوس
- برای یک عدد اول بالای یک عدد اول معین در یک توسیع گالوا، گروه تجزیه تثبیتکننده آن است، گروه اینرسی بخش انشعابی آن است، و خارج قسمت توسط عنصر فروبنیوس تولید میشود که به عنوان یک نگاشت توانی بر روی میدان باقیمانده عمل میکند.
- دیفرانت، ممیز و انشعاب
- ایدهآل دیفرانت و ممیز اعداد اول منشعب را مشخص میکنند، با فرمول هادی-ممیز که ممیز یک توسیع آبلی را از طریق هادیهای کاراکترهای آن بیان میکند.
Clinical relevance
رفتار تجزیهای اعداد اول از طریق عنصر فروبنیوس، قوانین تقابل را کنترل میکند و قلب محاسباتی الگوریتمهایی است که چندجملهایها و ایدهآلها را بر روی میدانهای عددی تجزیه میکنند، از جمله گامهایی در غربال میدان عددی.
History
ددهکیند تجزیه اعداد اول را به تجزیه چندجملهای مینیمال پیمانه آن عدد اول مرتبط کرد. هیلبرت نظریه انشعاب را در کتاب Zahlbericht خود در سال ۱۸۹۷ نظاممند کرد و گروههای تجزیه و اینرسی و فیلتراسیون انشعاب بالاتر را که موضوع مدرن را سازماندهی میکنند، معرفی نمود.
Key figures
- Richard Dedekind
- David Hilbert
- Ferdinand Georg Frobenius
Related topics
Seminal works
- marcus2018
Frequently asked questions
- منشعب شدن یک عدد اول به چه معناست؟
- یک عدد اول در یک توسیع زمانی منشعب میشود که تجزیه آن به ایدهآلهای اول شامل یک عامل تکراری باشد؛ تنها تعداد محدودی از اعداد اول منشعب میشوند و آنها دقیقاً آنهایی هستند که ممیز را تقسیم میکنند.
- عنصر فروبنیوس چیست؟
- برای یک عدد اول غیرمنشعب در یک توسیع گالوا، این اتومورفیسم کانونی است که نگاشت توان p-ام را بر روی میدان باقیمانده القا میکند؛ کلاس همیوغی آن نحوه تجزیه عدد اول را ثبت میکند و کلید قوانین تقابل است.