משפט גרונוולד-ואנג
בתורת המספרים האלגברית, משפט גרונוולד-ואנג קובע שפרט ליוצאי דופן ידועים, איבר של שדה מספרים הוא חזקת- של מספר אחר, אם ורק אם הוא חזקת- כמעט בכל השלמה . למשל, מספר רציונלי הוא ריבוע אם ורק אם הוא ריבוע כמעט בכל שדה מספרים p-אדי. למשפט יש גם גרסאות המאפשרות לבנות הרחבות ציקליות של באמצעות מידע על השדות המקומיים המתאימים לו.
המשפט פורסם לראשונה על ידי המתמטיקאי הגרמני וילהלם גרונוולד בשנת 1933 ותוקן על ידי המתמטיקאי הסיני ואנג בשנת 1948.
היסטוריה
[עריכת קוד מקור | עריכה]גרונוולד, שהיה סטודנט של הלמוט הסה, פרסם ב-1933 את הטענה שאיבר בשדה מספרים הוא חזקת-n אם ורק אם הוא חזקה כזו כמעט בכל השלמה של השדה. ב-1948 מצא ואנג דוגמה נגדית: 16 הוא חזקה שמינית בכל שדה מספרים -אדי עבור אי-זוגי, אבל אינו כזה בשדה המספרים ה-2-אדי (וגם לא בשדה המספרים הרציונליים). בתזת הדוקטורט שלו, שנכתבה (ב-1950) תחת הנחייתו של אמיל ארטין, מצא ואנג גרסה נכונה למשפט, שבה מטפלים בגורמים ה-2-אדיים באופן מיוחד.
המספר 16 אינו יכול להיות חזקה שמינית ב-, משום שהערך ה-2-אדי שלו, 4, אינו מתחלק ב-8. מעל כל שדה , 16 הוא חזקה שמינית אם ורק אם לפולינום
קיים שורש בשדה, כלומר, אם ורק אם בשדה יש שורש לאחד המספרים . לפי התכונות הבסיסיות של שאריות ריבועיות, אחד המספרים האלה מוכרח להיות ריבוע מודולו , וזאת לכל ראשוני . לפי הלמה של הנזל, מקיום הפתרון מודולו , כאשר אי-זוגי, נובע שיש פתרון גם ב-.
משפט גרונוולד-ואנג
[עריכת קוד מקור | עריכה]נסמן את שורש היחידה הפרימיטיבי מסדר . לכל , השדה הציקלוטומי מסדר הוא השדה . נאמר ששדה הוא -מיוחד, אם הוא כולל את , אבל אינו כולל אף אחד מהמספרים .
יהי שדה מספרים, עם קבוצה סופית של ראשוניים , ויהי מספר שלם. משפט גרונוולד-ואנג קובע שכל מספר שהוא חזקה -ית בכל השלמה עבור , פרט למקרה המיוחד שבו מתקיימים התנאים המצטברים הבאים: קיים עבורו , הוא -מיוחד, ו- כולל את כל "הראשוניים המיוחדים", שהם הראשוניים שעבורם הוא -מיוחד (ראשוניים אלה הם בהכרח 2-אדיים, ולכן מספרם סופי). אפילו במקרה המיוחד, העיקרון הלוקאלי-גלובלי נכשל רק באופן סופי: חבורת המנה של חזקות--מקומיות מודולו חזקות- היא מסדר 2.
לדוגמה, נתבונן שנית בדוגמה הנגדית של ואנג. שדה המספרים הרציונליים הוא 2-מיוחד, מכיוון שהוא מכיל את , אבל לא אף אחד מהמספרים . הראשוני המיוחד היחיד הוא 2. לכן, מעל הרציונליים, המקרה המיוחד מתרחש רק אם מתחלק ב-8 ו- כולל את הראשוני 2. משום כך ייתכנו מספרים שהם חזקת-8 בכל השלמה אי-זוגית, ואינם כאלה מעל השדה עצמו. אפשר לתקן את הטענה גם כך: כל מספר שהוא חזקה -ית *בכל* השלמה (לרבות ה-2-אדית), הוא חזקת- רציונלית.
מן הדוגמה הנגדית של ואנג נובע שלא קיימת הרחבה ציקלית מממד 8 של הרציונליים, שבה 2 הוא "אינרטי לחלוטין" (כלומר מממד 8).