משפט הנורמליזציה של נתר

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

ניסוח המשפטעריכה

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

מקרה פרטי של המשפט הוא הניסוח הבא:

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

שימושים ומסקנותעריכה

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

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

משמעות גאומטריתעריכה

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

 ,  

המורפיזם המושרה על הסכמות האפיניות הוא מורפיזם סופי:   .

המסקנה היא שכל יריעה אלגברית היא כיסוי מסועף של מרחב אפיני.

לקריאה נוספתעריכה

  • David Mumford (1999). The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians (מהדורה 2nd ed.). Springer-Verlag. ISBN 3-540-63293-X. 
  • Klaus Hulek (2003). Elementary Algebraic Geometry. AMS. ISBN 0-8218-2952-1.