איבר פרובניוס

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

הגדרה

רקע 

איבר פרובניוס מוגדר עבור הרחבת גלואה K/F של שדות מספרים, בנוכחות אידיאל ראשוני p של חוג השלמים  של F. האידיאל p מתפרק למכפלה של אידיאלים ראשוניים בחוג השלמים  של K: 
. מכיוון שזו הרחבת גלואה, כל גורמי הסיעוף  שווים זה לזה. ההנחה שהאידיאל אינו מסועף פירושה שגורמי הסיעוף שווים ל-1, כלומר . 

שדה השאריות של F ביחס ל-p הוא חוג המנה . זהו שדה סופי, נאמר מסדר q. שדות השאריות ביחס לגורמים  של p הם : גם כאן, מכיוון שזו הרחבת גלואה, כולם איזומורפיים זה לזה. המימד  מקיים .

כל האוטומורפיזמים בחבורת גלואה  שומרים על חוג האיברים השלמים, כקבוצה. חבורת ההרכבה  של הגורם  כוללת את האוטומורפיזמים בחבורת גלואה השומרים את P, כלומר,  (כל החבורות  צמודות זו לזו).

הגדרה 

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

יחידות 

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

דוגמה 

נתבונן בהרחבה של  על ידי השורשים a ו-b של , בהתאמה (המכפלה ab היא שורש של 2-). ההרחבה של  מעל F היא הרחבת גלואה ממימד 8, עם חבורת גלואה דיהדרלית, עם איבר  מסדר 4 המקיים , ואיבר  המקיים . 

האידיאל הראשוני  מתפרק למכפלה  כאשר  ו- .  האוטומורפיזם  מחליף בין האידיאלים, ואילו  שומר על שניהם. לכן חבורת ההרכבה של שני האידיאלים היא אותה חבורה - זו הנוצרת על ידי . שדה השאריות  מסדר 5, וההרחבה  היא ממימד 4. אפשר לחשב שאיבר פרובניוס ביחס ל-P הוא , ואיבר פרובניוס ביחס ל-'P הוא . 

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