در ادامه، ۱۰ پست تازهتر و عمیقتر، از شمارهٔ ۱۹۶ تا ۲۰۵، آماده شدهاند. در این مجموعه از تکرار مستقیم مباحث قبلی مانند بسطهای نرمال، گروه گالوا مطلق، قضیهٔ هیلبرت ۹۰، گروه براور و برنامهٔ لانگلندز پرهیز شده و تمرکز بر نظریهٔ گالوا برای میدانهای موضعی، نظریهٔ رمification و رفتار اعداد اول در بسطهای عددی است. همهٔ فرمولها به صورت HTML ساده و بدون LaTeX نوشته شدهاند.
---
## پست ۱۹۶: ارزشگذاری و میدانهای موضعی
```html
ارزشگذاری و میدانهای موضعی
برای مطالعه دقیقتر بسطهای میدان، گاهی به جای بررسی همه عناصر میدان، اندازه یا مرتبهٔ صفر و قطب آنها را بررسی میکنیم. این کار با مفهوم «ارزشگذاری» انجام میشود.
یک ارزشگذاری گسسته روی میدان K تابعی است که به هر عنصر ناصفر x عددی صحیح نسبت میدهد و رفتار ضرب و جمع را کنترل میکند:
v(xy) = v(x) + v(y)
v(x+y) >= min(v(x), v(y))
اعدادی که ارزشگذاری آنها مثبت است، از عناصر بسیار کوچک در معنای جبری یا حسابی به شمار میروند. عناصری با ارزشگذاری صفر، واحدهای ارزشگذاری نامیده میشوند.
اگر K یک میدان عددی باشد، میتوان با انتخاب یک عدد اول p، ارزشگذاری مربوط به بخشپذیری بر p را روی K تعریف کرد. کاملسازی K نسبت به این ارزشگذاری، میدان موضعی جدیدی میسازد.
برای نمونه، کاملسازی اعداد گویا نسبت به ارزشگذاری ۲-ادیک، میدان Q2 را ایجاد میکند. در این میدان، دو عدد زمانی به هم نزدیکاند که تفاضل آنها بر توان بزرگی از ۲ بخشپذیر باشد.
این دیدگاه، نظریه گالوا را از مطالعه جهانی میدانها به مطالعه محلی رفتار ریشهها و بسطها در اطراف یک عدد اول منتقل میکند.
```
---
## پست ۱۹۷: حلقهٔ ارزشگذاری و میدان باقیمانده
```html
حلقه ارزشگذاری و میدان باقیمانده
فرض کنید K میدانی با یک ارزشگذاری گسسته باشد. مجموعه عناصری که ارزشگذاری غیرمنفی دارند، یک حلقه تشکیل میدهد که آن را حلقه ارزشگذاری مینامیم.
OK = { x in K : v(x) >= 0 }
درون این حلقه، عناصر با ارزشگذاری مثبت یک ایدهآل تشکیل میدهند:
mK = { x in K : v(x) > 0 }
خارجقسمت حلقه ارزشگذاری بر این ایدهآل، میدان باقیمانده نام دارد:
k = OK / mK
میدان باقیمانده اطلاعاتی درباره رفتار عناصر میدان پس از حذف بخشهای بسیار کوچک آنها در اختیار ما میگذارد.
برای میدان اعداد ۲-ادیک، میدان باقیمانده دارای دو عضو است و با F2 همریخت است. برای میدان اعداد p-ادیک، میدان باقیمانده با Fp همریخت است.
در بررسی بسطهای میدان، سه درجه اهمیت پیدا میکنند: درجه کل بسط، درجه بسط میدان باقیمانده و شاخص ramification. رابطه میان این کمیتها یکی از پایههای نظریه میدانهای موضعی است.
```
---
## پست ۱۹۸: بسطهای بدون شاخهزنی
```html
بسطهای بدون شاخهزنی
فرض کنید L روی K یک بسط متناهی از میدانهای کاملشده باشد. ممکن است ارزشگذاری K به صورتهای گوناگون به L منتقل شود.
اگر بسط میدان باقیمانده نیز جداییپذیر باشد و شاخص ramification برابر یک باشد، بسط L روی K را «بدون شاخهزنی» یا unramified مینامیم.
در چنین بسطی، اندازهٔ عناصر به صورت غیرعادی تغییر نمیکند. یعنی یک عنصر یکنواختکننده در K، در L نیز همان رفتار را دارد.
برای یک بسط بدون شاخهزنی، درجه بسط با درجه میدانهای باقیمانده برابر است:
[L:K] = [kL:kK]
اگر بسط گالوا باشد، گروه گالوا بسط بدون شاخهزنی با گروه گالوا میدانهای باقیمانده ارتباط مستقیم دارد.
در میدانهای p-ادیک، برای هر درجهٔ متناهی، یک بسط بدون شاخهزنی تا همریختی یکتا وجود دارد. این بسط با الحاق ریشههای مناسب واحد یا ریشههای چندجملهایهای خاص ساخته میشود.
بسطهای بدون شاخهزنی سادهترین نوع بسطهای موضعی هستند و نقطهٔ مقابل بسطهای شدیداً شاخهزده به شمار میروند.
```
---
## پست ۱۹۹: شاخهزنی و شاخص آن
```html
شاخهزنی در بسطهای میدان
در یک بسط میدان L روی K، ممکن است یک عنصر یکنواختکننده در K، در میدان L مرتبهای بزرگتر پیدا کند. این پدیده را شاخهزنی مینامیم.
شاخص شاخهزنی با نماد e نشان داده میشود و نشان میدهد ارزشگذاری در بسط جدید تا چه اندازه کش میآید:
vL(x) = e vK(x)
اگر e برابر یک باشد، بسط بدون شاخهزنی است. اگر e بزرگتر از یک باشد، بسط شاخهزده است.
برای بسطهای متناهی میدانهای کامل، رابطهٔ بنیادی زیر برقرار است:
[L:K] = e f
در این رابطه، f درجهٔ بسط میدانهای باقیمانده است. بنابراین درجهٔ کل بسط از دو بخش تشکیل میشود: بخشی که از تغییر میدان باقیمانده میآید و بخشی که از شاخهزنی ناشی میشود.
در حالت کلیتر، اگر بسط جداشده نباشد، ممکن است ضریب دیگری نیز ظاهر شود که نقص بسط نام دارد. این ضریب در میدانهای کامل و بسطهای جداییپذیر معمولاً برابر یک است.
```
---
## پست ۲۰۰: گروه تجزیه و گروه اینرسی
```html
گروه تجزیه و گروه اینرسی
فرض کنید L روی K یک بسط گالوا باشد و ارزشگذاری K به L منتقل شده باشد. تمام اتومورفیسمهای گروه گالوا، ارزشگذاری را حفظ نمیکنند؛ اما اتومورفیسمهایی که یک ارزشگذاری انتخابشده را ثابت نگه میدارند، گروه مهمی تشکیل میدهند.
این گروه را «گروه تجزیه» مینامیم و با D نشان میدهیم.
D = { sigma in Gal(L/K) : sigma preserves the chosen valuation }
هر عضو گروه تجزیه روی میدان باقیمانده نیز اثر میگذارد. هستهٔ این اثر، گروه اینرسی نام دارد و با I نشان داده میشود.
I = { sigma in D : sigma acts trivially on the residue field }
پس یک همریختی طبیعی از گروه تجزیه به گروه گالوا میدانهای باقیمانده داریم:
D / I ---> Gal(kL / kK)
گروه تجزیه اطلاعات مربوط به یک جای مشخص را نگه میدارد، در حالی که گروه اینرسی بخش شاخهزنی بسط را اندازهگیری میکند.
```
---
## پست ۲۰۱: فروبنیوس و اعداد اول در بسطهای عددی
```html
عنصر فروبنیوس در بسطهای عددی
فرض کنید L روی K یک بسط گالوا از میدانهای عددی باشد و p یک عدد اول باشد که در بسط مورد نظر به شکل نامناسبی ظاهر نشود.
برای هر ایدهآل اول P در L که روی p قرار دارد، میتوان عنصری از گروه تجزیه تعریف کرد که روی میدان باقیمانده مانند توان p عمل میکند:
x ---> xp
این عنصر را عنصر فروبنیوس مربوط به P مینامیم.
عنصر فروبنیوس نشان میدهد چندجملهایها پس از کاهش پیمانهای p چگونه تجزیه میشوند. اگر چندجملهای در میدان باقیمانده تجزیهای با عوامل درجههای مشخص داشته باشد، این درجهها با طول چرخههای عنصر فروبنیوس ارتباط دارند.
به این ترتیب، یک محاسبه ساده پیمانهای میتواند اطلاعاتی درباره عناصر گروه گالوا در اختیار ما بگذارد.
این ایده پایهٔ ارتباط میان نظریه گالوا، حساب اعداد اول و نظریه توزیع اعداد اول در بسطهای میدان است.
```
---
## پست ۲۰۲: قضیه چبوتارف
```html
قضیه چبوتارف و توزیع عناصر فروبنیوس
یکی از عمیقترین نتایج نظریه اعداد میپرسد: الگوهای مختلف تجزیه یک عدد اول در یک بسط میدان با چه فراوانی رخ میدهند؟
قضیه چبوتارف پاسخ دقیقی به این پرسش میدهد. در یک بسط گالوا، هر کلاس مزدوجی از گروه گالوا با مجموعهای از اعداد اول ارتباط دارد.
چگالی این اعداد اول برابر است با:
اندازه کلاس مزدوجی / اندازه گروه گالوا
بنابراین عناصر گروه گالوا فقط ساختارهای انتزاعی نیستند؛ آنها در رفتار واقعی بینهایت عدد اول ظاهر میشوند.
برای مثال، اگر یک چندجملهای گروه گالوای بزرگی داشته باشد، انواع مختلفی از الگوهای تجزیه پیمانهای در میان اعداد اول مشاهده خواهد شد.
قضیه چبوتارف را میتوان نوعی اصل ارگودیک برای اعداد اول دانست: در بلندمدت، همه کلاسهای مزدوج با فراوانی قابل محاسبه ظاهر میشوند.
```
---
## پست ۲۰۳: دیفرانسیل و ایدهآل متفاوت
```html
ایدهآل متفاوت و اندازهگیری شاخهزنی
در بسطهای میدانهای عددی، دیسکریمینانت تنها اطلاعات کلی درباره شاخهزنی ارائه میدهد. برای مطالعه دقیقتر، از ایدهآلی به نام «ایدهآل متفاوت» استفاده میکنیم.
این ایدهآل با مشتق چندجملهای مینیمال عناصر ارتباط دارد. اگر theta یک عنصر صحیح باشد و چندجملهای مینیمال آن f باشد، مشتق f در theta اطلاعاتی درباره متفاوت بودن بسط به دست میدهد.
Different(L/K) = ideal generated by f'(theta)
هرچه این ایدهآل بزرگتر باشد، شاخهزنی بسط شدیدتر است. همچنین دیسکریمینانت بسط از نرم ایدهآل متفاوت به دست میآید.
پس میان سه مفهوم ارتباط برقرار میشود:
- مشتق چندجملهای مینیمال؛
- ایدهآل متفاوت؛
- دیسکریمینانت بسط.
این ابزارها برای تشخیص اعداد اول شاخهزده و محاسبه ساختار حلقه اعداد صحیح بسیار مهم هستند.
```
---
## پست ۲۰۴: تجزیه ایدهآلهای اول در بسطها
```html
تجزیه ایدهآلهای اول
فرض کنید K یک میدان عددی و L یک بسط متناهی از آن باشد. یک ایدهآل اول در حلقه اعداد صحیح K، پس از رفتن به حلقه اعداد صحیح L، ممکن است به چند ایدهآل اول تجزیه شود.
p OL = P1e1 ... Pgeg
در این رابطه:
- g تعداد ایدهآلهای اول بالای p است؛
- e شاخص شاخهزنی هر ایدهآل است؛
- درجه میدان باقیمانده، اندازه بسط باقیمانده را مشخص میکند.
در بسط گالوا، اعداد مربوط به ایدهآلهای مختلف بالای p یکسان هستند. بنابراین میتوان نوشت:
[L:K] = e f g
سه حالت مهم وجود دارد: اگر g بزرگ باشد، عدد اول کاملاً شکافته است؛ اگر g برابر یک باشد و e بزرگ باشد، کاملاً شاخهزده است؛ و اگر e و g هر دو یک باشند، رفتار عدد اول در بسط ساده و بدون شاخهزنی است.
```
---
## پست ۲۰۵: هندسه جبری و طرحهای گالوا
```html
از بسطهای گالوا تا پوششهای جبری
نظریه گالوا را میتوان از میدانها به فضاهای هندسی نیز گسترش داد. اگر یک میدان تابعی را با یک فضای جبری متناظر کنیم، بسط میدانها به پوششهای میان فضاهای جبری تبدیل میشوند.
در این زبان، گروه گالوا گروه تقارنهای یک پوشش است. این گروه میتواند نقاط روی فضای بزرگتر را جابهجا کند، بدون آنکه ساختار پوشش را تغییر دهد.
اگر پوشش بدون شاخهزنی باشد، رفتار آن شبیه یک پوشش معمولی در توپولوژی است. اما در نقاط شاخهزده، چند نقطه در فضای بالاتر به شکلی ویژه روی یک نقطه فرود میآیند.
برای نمونه، نگاشت زیر را در نظر بگیرید:
y = xn
در بیشتر نقاط، هر مقدار y دارای چند پیشتصویر است؛ اما در نقطه صفر، این پیشتصویرها به هم نزدیک میشوند و پدیده شاخهزنی رخ میدهد.
این نگاه، مفاهیم زیر را در یک چارچوب مشترک قرار میدهد:
- بسطهای میدان؛
- گروههای گالوا؛
- پوششهای جبری؛
- نقاط شاخهزده؛
- گروه بنیادی و مسیرهای دور نقاط ویژه.
در هندسه جبری مدرن، نظریه گالوا دیگر فقط مطالعه ریشههای چندجملهای نیست؛ بلکه مطالعه تقارنهای پنهان فضاهای جبری و نحوه اتصال آنها به یکدیگر است.
```
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.