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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

במתמטיקה, חבורת גלואה האבסולוטית של שדה  \ K היא חבורת גלואה של הסגור הספרבילי  \ K^{\operatorname{sep}} מעל  \ K (הסגור הספרבילי שווה לסגור האלגברי עבור שדות ממאפיין אפס). חבורת גלואה האבסולוטית של המספרים הרציונלים (ובאופן כללי יותר, של שדות מספרים) היא אחד האובייקטים המרכזיים הנחקרים במסגרת תורת המספרים האלגברית.

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

דוגמאות[עריכת קוד מקור | עריכה]

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

  • חבורת גלואה האבסולוטית של שדה סגור ספרבילית היא טריביאלית.
  • חבורת גלואה האבסולוטית של שדה סופי  \ \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).
  • אם יריעה אלגברית V מוגדרת מעל שדה k, אז חבורת גלואה האבסולוטית של k פועלת על V ולכן על כל חבורות הקוהומולוגיה של V. בהצגות הללו טמון מידע על תכונות אריתמטיות של V.

בעיות מרכזיות[עריכת קוד מקור | עריכה]

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