אלגברה אפינית

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

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

הגדרה[עריכת קוד מקור | עריכה]

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

תכונות ומשפטים[עריכת קוד מקור | עריכה]

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

משפט: אם הוא שדה אפיני מעל שדה , אז הוא אלגברי מעל .

למת ארטין-טייט: אם אלגברה אפינית מעל שדה , ו- כך ש- שדה, ו- אז אפיני מעל . ללמה זו גרסאות רבות אחרות. למשל, אם R,S הן C-אלגברות, כאשר C חוג נתרי קומוטטיבי; R הוא חוג המוכל במרכז של חוג S שהוא מודול סופי מעל R, ו-S אפינית מעל C, אז גם R אפיני מעל C.

אם היא אלגברה אפינית מעל החוג ו- אידיאל ב- אז אפיני מעל .

דוגמה[עריכת קוד מקור | עריכה]

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

מקורות[עריכת קוד מקור | עריכה]

  • Louis H.Rowen. Ring Theory, Volume 1, Academic Press, San Diego
  • Louis H.Rowen. Graduate Algebra:Commutative view, Volume 73, American Mathematical Society,Providence.