משפט אוסטרובסקי

במתמטיקה, משפט אוסטרובסקי הוא שמם המשותף של שני משפטים על ערכים מוחלטים של שדות. את המשפטים הוכיח אלכסנדר אוסטרובסקי ב-1918.

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

המשפט השני מסווג את הערכים המוחלטים הארכימדיים, וקובע שיש רק שני שדות שלמים ביחס לערכים מוחלטים כאלה: שדה המספרים הממשיים (עם הערך המוחלט הרגיל), ושדה המספרים המרוכבים (כנ"ל)
.

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

ערכים מוחלטים 

שני ערכים מוחלטים | | ו-*| | על שדה F הם שקולים אם קיים מספר ממשי  כך שלכל  מתקיים .

הערך המוחלט הטריוויאלי על שדה F מוגדר על ידי . 

הערך המוחלט הממשי על  הוא הערך המוחלט הרגיל שמוגדר על המספרים הממשיים, כלומר .

בהינתן מספר ראשוני p, הערך המוחלט הp-אדי על  מוגדר בדרך הבאה: כל מספר רציונלי  ניתן לכתוב (בצורה יחידה) כשבר , שבו a ו-b מספרים שלמים הזרים לp, כאשר n מספר שלם. הערך המוחלט הp-אדי מוגדר אז על ידי
 (וראו מספר p-אדי).

המשפט הראשון קובע, אם כן, כי כל ערך מוחלט לא טריוויאלי על  שקול ל- או ל- עבור p ראשוני כלשהו.

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

לקריאה נוספת

הערות שוליים 

אוסטרובסקי
אוסטרובסקי
תורת המספרים האלגברית