שאלות נפוצות
ציר זמן
צ'אט
פרספקטיבה

נורמה (אלגברה)

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

Remove ads

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

בניגוד לנורמה האנליטית, הנורמה האלגברית יכולה במקרים רבים לקבל את הערך גם באיברים שאינם .

Remove ads

הגדרה כללית

סכם
פרספקטיבה

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

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

Remove ads

הנורמה בתורת גלואה

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

לדוגמה, אם , אז האוטומורפיזם הלא-טריוויאלי מוגדר לפי הנוסחה , ואז הנורמה היא .

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

הנורמה של הרחבות ספרביליות היא טרנזיטיבית, כלומר, אם , אז .

Remove ads

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

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

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

Remove ads

ראו גם

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads