הצגת המקור של הדף "משפט קרונקר-ובר"

{{מקורות|רמה=מחפש|נושא=מדעי הטבע}}
'''משפט קרונקר-ובר''' הוא אחד המשפטים המרכזיים ב[[תורת המספרים האלגברית]]. המשפט קובע שכל [[הרחבת גלואה]] [[חבורה אבלית|אבלית]] סופית של [[שדה המספרים הרציונליים]] מוכלת ב[[שדה ציקלוטומי]], כלומר שדה מהצורה <math>\ \mathbb{Q}[\zeta_n]</math> כאשר <math>\ \zeta_n</math> הוא [[שורש יחידה]] מסדר n. 

[[לאופולד קרונקר]] הציע את הרעיונות המרכזיים של ההוכחה בשנת [[1853]], אבל את המשפט הוכיח בסופו של דבר [[היינריך מרטין ובר|היינריך ובר]] בשנת [[1886]]. 

עובדה בסיסית ב[[תורת גלואה]] קובעת כי [[חבורת גלואה]] של הרחבה מן הדגם <math>\ \mathbb{Q}[\zeta_n]</math> איזומורפית ל[[חבורת אוילר]] המתאימה לְ־n ומכאן שהיא אבלית. כך, אפשר לראות את משפט קרונקר-ובר כתשובה - חיובית - לשאלה ההפוכה (האם כל הרחבה אבלית מוכלת בהרחבה ציקלוטומית) בתיאור שהוא מעניק להרחבה האבלית המקסימלית של הרציונליים.

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

באמיתות המשפט במקרה של הרחבות ריבועיות ניתן להשתכנע באופן הבא: כל הרחבה ריבועית של הרציונליים באה מסיפוח שורש של מספר שלם חופשי מריבועים, ולכן מספיק לדון במקרה של סיפוח שורש של ראשוני (אי־זוגי). 
כאמור, כל הרחבה p־ציקלוטומית היא אבלית (מממד זוגי) ולכן מכילה הרחבה ריבועית יחידה (היא שדה השבת המתאים לתת־החבורה היחידה מאינדקס 2 של החבורה הציקלית מסדר p-1). ה[[דיסקרימיננטה]] של הרחבה p־ציקלוטומיות היא חזקה של p, ולכן כך גם הדיסקרימיננטה של הרחבת הביניים הריבועית; אבל באמצעות חישוב הדיסקרימיננטה להרחבות ריבועיות (עבור <math>\ \mathbb{Q}[\sqrt d]</math> הדיסקרימיננטה היא d אם d שקול לְ־1 מודולו 4 וְ־4d אחרת) מקבלים כי d מוכרח להיות - עד כדי סימן - הראשוני שסיפחנו שורש של היחידה מן הסדר שלו (את הסימן ניתן 'לתקן' בעזרת סיפוח <math>\ \sqrt -1 </math>) . מכאן שכל הרחבה ריבועית מוכלת בהרחבה ציקלוטומית.

==ניסוח הטענה בלשון חבורת גלואה האבסולוטית==

כשקובעים [[ראשוני]] p ושורש היחידה <math>\ \zeta_q </math> באשר q חזקה של p ניתן להתאים לכל אוטומורפיזם בחבורת גלואה האבסולוטית סדרה שבה במקום ה־n־י כתובה החזקה של <math>\ \zeta_q </math> שאליה שולח אותו האוטומורפיזם.
כשנותנים למעריך של p לשאוף לאינסוף מתקבל אבר בחבורה הכפלית של חוג השלמים ה־p־אדיים, וההומומורפיזם המושרה משליחת כל אוטומורפיזם לסדרה המתאימה לו נקרא הקרקטר ה־p־אדי ציקלוטומי.
כעת ניתן 'להדביק' את כל הקרקטרים הללו ביחד ולקבל (באמצעות [[מכפלה ישרה]] של הקרקטרים) הומומורפיזם מן החבורה האבסולוטית למכפלת החבורות הכפליות של חוגי השלמים ה־p־אדיים, שאיזומורפית בתורה - כמעין הכללה ל[[משפט השאריות הסיני]] - לחבורה הכפלית של החבורה הפרו־ציקלית (הגבול ההפוך של מערכת החבורות הציקליות הסופיות).    

כעת, כדי להבין טוב יותר את ההרחבה האבלית המקסימלית של הרציונליים, עוברים לנסות לתאר את חבורת הגלואה שלהם. היא נתונה באמצעות האבליניזציה של חבורת הגלואה האבסולוטית של הרציונליים, כלומר המנה של החבורה האבסולוטית בתת-החבורה הסגורה הנורמלית הנוצרת על ידי [[תת-חבורת הקומוטטורים]] (כאשר הטופולוגיה היא הטופולוגיה הפרו־סופית הרגילה).

אכן, מאחר שתמונת ההומומורפיזם שהוגדר קודם (דרך מכפלת הקרקטרים) אבלית, הוא מוגדר כהומומורפיזם מן האבליניזציה, היא חבורת גלואה של ההרחבה האבלית המקסימלית. משפט קרונקר־ובר קובע אפוא שההומומורפיזם המושרה מן האבליניזציה הוא למעשה איזומורפיזם.
כך, התנהגות החלק האבלי של ההרחבות האלגבריות של הרציונליים נקבעת אך ורק על־פי ההתנהגות של ההרחבות ה־p־ציקלוטומיות ומכאן ניסוחו השני של המשפט: כל [[הרחבת גלואה]] [[חבורה אבלית|אבלית]] סופית של [[שדה המספרים הרציונליים]] מוכלת ב[[שדה ציקלוטומי]].

==המקרה המקומי==

בשנים [[1965]] וְ־[[1966]] הוכיחו [[ג'ונתן לובין]] ו[[ג'ון טייט]] מעין גרסה של משפט קרונקר-ובר לשדות מקומיים, לפיה כל הרחבה אבלית של שדה מקומי מוכלת בהרחבה הנוצרת דרך הרחבות ציקלוטומיות ודרך [[הרחבות לובין-טייט]] (שהן הרחבות של שדות מקומיים המתקבלות מ[[קריטריון אייזנשטיין|פולינומי אייזנשטיין]] באופן מסוים; להרחבות כאלה חבורת גלואה שהיא מנה קנונית של חבורת היחידות של חוג השלמים של השדה המקומי).

מאידך, בעזרת [[למת הנזל]] ניתן להוכיח שכל הרחבה לא מסועפת של ההשלמה ה־p־אדית של <math>\ \mathbb{Q}</math> מתקבלת באמצעות סיפוח שורש היחידה מתאים.


[[קטגוריה:תורת המספרים האלגברית]]
[[קטגוריה:משפטים באלגברה|קרונקר-ובר]]
[[קטגוריה:משפטים בתורת המספרים|קרונקר-ובר]]