ریاضیات

## پست ۱۸۶: بسط‌های نامنحل و زنجیرهٔ زیرگروه‌ها

```html

بسط‌های نامنحل و زنجیره زیرگروه‌ها

اگر گروه گالوا یک بسط، حل‌پذیر باشد، می‌توان آن را با زنجیره‌ای از زیرگروه‌های نرمال تجزیه کرد که خارج‌قسمت‌های آن آبلی باشند:

{e} = G<sub>0</sub> ⊲ G<sub>1</sub> ⊲ ... ⊲ G<sub>n</sub> = G

در تناظر گالوا، این زنجیره به زنجیره‌ای از میدان‌های میانی تبدیل می‌شود:

F = E<sub>n</sub> ⊆ E<sub>n-1</sub> ⊆ ... ⊆ E<sub>0</sub> = E

هر مرحله از این زنجیره متناظر با یک بسط ساده‌تر است. اگر خارج‌قسمت‌ها دوری باشند، عناصر جدید معمولاً با رادیکال‌ها ساخته می‌شوند.

بنابراین حل‌پذیری گروه، دقیقاً بیان می‌کند که ساختار تقارن‌ها به اندازه کافی ساده هست که بتوان ریشه‌ها را مرحله‌به‌مرحله استخراج کرد.

---

## پست ۱۸۷: بسط‌های غیرجدایی‌پذیر

```html

بسط‌های غیرجدایی‌پذیر

در میدان‌های با مشخصه p، ممکن است چندجمله‌ای‌هایی داشته باشیم که مشتق آن‌ها صفر باشد.

برای مثال:

f(x)=x<sup>p</sup>-a

مشتق این چندجمله‌ای صفر است، زیرا:

f'(x)=p x<sup>p-1</sup>=0

در این حالت، اگر alpha یک ریشه باشد:

f(x)=(x-alpha)<sup>p</sup>

پس تمام ریشه‌ها یکی هستند و چندجمله‌ای جدایی‌پذیر نیست.

این پدیده فقط در مشخصه مثبت رخ می‌دهد و نشان می‌دهد که نظریه گالوا در مشخصه p پیچیدگی‌های عمیق‌تری نسبت به حالت کلاسیک دارد.

---

## پست ۱۸۸: بستار جدایی‌پذیر

```html

بستار جدایی‌پذیر

برای یک میدان F، تمام بسط‌های جبریِ جدایی‌پذیر را می‌توان در یک میدان بسیار بزرگ جمع کرد که به آن «بستار جدایی‌پذیر» می‌گویند.

این میدان را معمولاً با F<sup>sep</sup> نشان می‌دهند.

گروه تمام اتومورفیسم‌های:

Gal(F<sup>sep</sup>/F)

را «گروه گالوا مطلق» میدان F می‌نامند.

این گروه یکی از بنیادی‌ترین اشیای جبر مدرن است، زیرا تمام اطلاعاتِ ممکن درباره بسط‌های جبری میدان را در خود ذخیره می‌کند.

در نظریه اعداد، مطالعه گروه گالوا مطلق اعداد گویا از مهم‌ترین موضوعات پژوهشی معاصر است.

---

## پست ۱۸۹: توپولوژی روی گروه گالوا

```html

توپولوژی روی گروه‌های گالوا

گروه گالوا مطلق معمولاً بی‌نهایت است و برای مطالعه آن، تنها ساختار گروهی کافی نیست.

به همین دلیل روی آن توپولوژی تعریف می‌کنند. زیرگروه‌های متناظر با بسط‌های متناهی، زیرگروه‌های باز این توپولوژی هستند.

گروه حاصل، یک «گروه پروفینی» (Profinite Group) است؛ یعنی حد وارون گروه‌های متناهی.

به زبان ساده:

Gal(F<sup>sep</sup>/F)

از کنار هم قرار گرفتن تمام گروه‌های گالوای متناهی ساخته می‌شود.

این دیدگاه، نظریه گالوا را به توپولوژی و هندسه جبری متصل می‌کند.

---

## پست ۱۹۰: لم آرتین

```html

لم آرتین درباره استقلال اتومورفیسم‌ها

فرض کنید sigma<sub>1</sub>, ..., sigma<sub>n</sub> اتومورفیسم‌های متمایز یک میدان باشند.

لم آرتین می‌گوید این نگاشت‌ها به عنوان توابع روی میدان، روی میدان پایه مستقل خطی هستند.

یعنی رابطه‌ای مانند:

a<sub>1</sub>sigma<sub>1</sub> + ... + a<sub>n</sub>sigma<sub>n</sub> = 0

فقط وقتی ممکن است که تمام ضرایب صفر باشند.

این نتیجه ظاهراً ساده، پایه بسیاری از اثبات‌های نظریه گالوا است؛ مخصوصاً در اثبات اینکه:

[E:F] = |Gal(E/F)|

برای بسط‌های گالوا برقرار است.

---

## پست ۱۹۱: قضیه هیلبرت ۹۰

```html

قضیه هیلبرت ۹۰

فرض کنید E/F یک بسط گالوا دوری باشد و گروه گالوا توسط sigma تولید شود.

قضیه هیلبرت ۹۰ می‌گوید اگر عنصری مانند a در E نرم برابر ۱ داشته باشد:

N<sub>E/F</sub>(a)=1

آنگاه عنصری مانند b در E وجود دارد به طوری که:

a = b / sigma(b)

این قضیه یکی از نتایج مرکزی کوهمولوژی گالوا است و در نظریه میدان‌های کلاس، هندسه جبری و نظریه اعداد کاربرد فراوان دارد.

---

## پست ۱۹۲: کوهمولوژی گالوا

```html

کوهمولوژی گالوا

وقتی گروه گالوا روی یک ساختار جبری اثر می‌کند، می‌توان میزان «ناسازگاری» این اثر را اندازه‌گیری کرد. ابزار این کار، کوهمولوژی گالوا است.

گروه‌های:

H<sup>0</sup>, H<sup>1</sup>, H<sup>2</sup>, ...

اطلاعاتی درباره میدان‌ها، فرم‌های درجه دوم، جبرهای مرکزی ساده و ساختار بسط‌ها می‌دهند.

برای مثال:

H<sup>1</sup>(G,E*) = 0

همان قضیه هیلبرت ۹۰ است.

کوهمولوژی گالوا پلی میان نظریه گروه‌ها، توپولوژی جبری و نظریه اعداد مدرن است.

---

## پست ۱۹۳: گروه براور

```html

گروه براور

گروه براور یک میدان F، مجموعه‌ای از جبرهای مرکزی ساده روی F را طبقه‌بندی می‌کند.

دو جبر وقتی هم‌ارز در نظر گرفته می‌شوند که پس از ضرب ماتریسی یکسان شوند.

گروه براور را معمولاً با:

Br(F)

نشان می‌دهند.

یکی از نتایج عمیق این است که:

Br(F) ≅ H<sup>2</sup>(Gal(F<sup>sep</sup>/F),(F<sup>sep</sup>)*)

یعنی گروه براور را می‌توان کاملاً با کوهمولوژی گالوا توصیف کرد.

این ارتباط از عمیق‌ترین پیوندهای جبر مدرن است.

---

## پست ۱۹۴: میدان‌های کلاس

```html

نظریه میدان‌های کلاس

نظریه میدان‌های کلاس تلاش می‌کند تمام بسط‌های آبلیِ یک میدان عددی را توصیف کند.

در این نظریه، به جای مطالعه مستقیم گروه گالوا، ساختار گروهیِ ایده‌آل‌ها بررسی می‌شود.

یکی از نتایج شگفت‌انگیز این نظریه این است که بسط‌های آبلی اعداد گویا دقیقاً در میدان‌های سیکلوتومیک قرار دارند.

این همان قضیه کرونکر-وبر است:

هر بسط آبلی متناهی از Q داخل یک میدان سیکلوتومیک است.

این نتیجه، پیوندی حیرت‌انگیز میان ریشه‌های واحد و تمام بسط‌های آبلی ایجاد می‌کند.

---

## پست ۱۹۵: برنامه لانگلندز

```html

برنامه لانگلندز

برنامه لانگلندز یکی از بزرگ‌ترین پروژه‌های ریاضیات مدرن است که تلاش می‌کند نظریه گالوا را به آنالیز و نظریه نمایش متصل کند.

ایده اصلی این است که نمایش‌های گروه گالوا باید متناظر با توابع تحلیلی خاصی باشند.

به زبان ساده، تقارن‌های پنهان میدان‌های عددی، باید در رفتار توابع پیچیده تحلیلی ظاهر شوند.

این برنامه، بسیاری از شاخه‌های ریاضیات را متحد کرده است:

• نظریه اعداد


• هندسه جبری


• نظریه نمایش


• آنالیز هارمونیک

اثبات آخرین قضیه فرما نیز بخشی از موفقیت‌های همین دیدگاه بود.