חבורת גלואה האבסולוטית

במתמטיקה, חבורת גלואה האבסולוטית של שדה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ K } היא חבורת גלואה של הסגור הספרבילי $\ K^{\operatorname {sep} }$ מעל $\ K$ (הסגור הספרבילי שווה לסגור האלגברי עבור שדות ממאפיין אפס). חבורת גלואה האבסולוטית של המספרים הרציונליים (ובאופן כללי יותר, של שדות מספרים) היא אחד האובייקטים המרכזיים הנחקרים במסגרת תורת המספרים האלגברית.

חבורת גלואה האבסולוטית היא חבורה פרו-סופית, המתקבלת כגבול פרויקטיבי של חבורות גלואה של ההרחבות הסופיות.

דוגמאות

בדרך כלל קשה לחשב את חבורת גלואה האבסולוטית; אפילו על חבורת גלואה האבסולוטית של הרציונלים מעט מאוד ידוע. עם זאת, יש מקרים שבהם ניתן לחשב את החבורה:

• חבורת גלואה האבסולוטית של שדה סגור ספרבילית היא טריביאלית.

• חבורת גלואה האבסולוטית של שדה המספרים הממשיים היא חבורה ציקלית מסדר 2 (הסגור הספרבילי הוא שדה המספרים המרוכבים ואיברי החבורה הם אוטומורפיזם הזהות ואוטומורפיזם ההצמדה).

• חבורת גלואה האבסולוטית של שדה סופי $\ \mathbb {F} _{q}$ היא ההשלמה הפרו-סופית של השלמים, כלומר $\ {\widehat {\mathbb {Z} }}$.

• ידוע ייצוג (פרו-סופי) עם מספר סופי של יוצרים ויחסים עבור חבורת גלואה האבסולוטית של שדה מקומי.

• חבורת גלואה האבסולוטית של שדה פונקציות $C(x)$, כאשר $C$ סגור אלגברית, היא (פרו-סופית) חופשית מדרגה השווה לעוצמה של $C$.

נסמן ב-$\Gamma _{F}(p)$ את המנה המקסימלית של $\Gamma _{F}$ שהיא חבורת-p. אם $F$ שדה מקומי ממאפיין $p$, אז $\Gamma _{F}(p)$ חופשית (Shafarevich). אם $F$ הרחבה סופית של $\mathbb {Q} _{p}$, אז $\Gamma _{F}(p)$ היא חבורה (פרו-סופית) בעלת יחס יחיד.

תכונות

• אין לחבורה איברים מסדר סופי, פרט אולי לאיברים מסדר 2 (משפט של Artin-Schreier משנות ה-20 של המאה ה-20).

• משפט קרונקר-וובר מתאר את המנה האבלית הגדולה ביותר של חבורת גלואה האבסולוטית של שדה מספרים. לפי השערת שפרביץ', חבורת גלואה האבסולוטית של השדה המתאים היא (פרו-סופית) חופשית.

• אם יריעה אלגברית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle V } מוגדרת מעל שדה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle k } , אז חבורת גלואה האבסולוטית של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle k } פועלת על הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle V } ולכן על כל חבורות הקוהומולוגיה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle V } . בהצגות הללו טמון מידע על תכונות אריתמטיות של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle V } .

בעיות מרכזיות

• בעיית ההיפוך של תורת גלואה שואלת האם כל חבורה סופית היא חבורת גלואה של הרחבה סופית של הרציונלים. ניסוח שקול הוא האם כל חבורה סופית היא מנה של חבורת גלואה האבסולוטית של הרציונלים.

• תוכנית לנגלנדס מקשרת בין הצגות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n } -ממדיות של חבורת גלואה האבסולוטית של שדה מספרים להצגות אוטומורפיות של החבורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{GL}_n } .

• השערת ון דר ורדן קובעת שהסיכוי הסיכוי לכך שחבורת גלואה של פולינום מתוקן ממעלה n עם מקדמים שלמים הקטנים בערכם המוחלט מערך נתון H אינה החבורה הסימטרית חסום על ידי כפולה קבועה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle H^{-1}} . את ההשערה הוכיח מנג'ול בהרגבה ב-2021 ^{[דרוש מקור: https://arxiv.org/pdf/2111.06507.pdf]}.

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

חבורת גלואה האבסולוטית33795576Q332407