חוג נתרי

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

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

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

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

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

הגדרות

הנתריות מוגדרת (ברוב הספרים) במונחי האידיאלים השמאליים. באופן דומה אפשר להגדיר גם:

  • חוג נתרי-ימני - חוג המקיים את התנאי ACC על אידיאלים ימניים
  • חוג נתרי חלש - חוג המקיים את התנאי ACC על אידיאלים דו-צדדיים

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

קריטריון לחוג נתרי

חוג הוא נתרי אם ורק אם הוא נתרי כמודול מעל עצמו (משום שהאידיאלים השמאליים של החוג הם תת-המודולים שלו).

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

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

  • "תנאי הבסיס הסופי": כל אידיאל שמאלי ב-הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R} נוצר סופית (כלומר קיימים ב- כך ש ). החוג מקיים תנאי זה אם ורק אם הוא נתרי.

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

תכונות

  • בחוג נתרי , כל אידיאל מכיל מכפלה (סופית) של אידיאלים ראשוניים. מוכיחים זאת באמצעות תנאי המקסימום. בפרט, יש מכפלה של אידיאלים ראשוניים השווה לאפס (בתחומי-שלמות נתריים אידיאל האפס הוא בעצמו ראשוני).
  • כל שדה הוא חוג נתרי. זה נובע מכך שהאידיאלים היחידים בשדה הם השדה עצמו ו-.
  • משפט הבסיס של הילברט: אם חוג נתרי אז חוג נתרי ( הוא חוג הפולינומים במספר סופי של משתנים מעל ). ניתן להוכיח זאת בשתי דרכים - על ידי תנאי המקסימום ועל ידי תנאי הבסיס הסופי. ההוכחה של הילברט עצמו עושה שימוש ניכר בתנאי הבסיס הסופי.
  • כל תמונה הומומורפית הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R'} של חוג נתרי הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R} היא נתרית בעצמה. במילים אחרות, אם הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R} חוג נתרי ו-הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle I} אידיאל, אז חוג המנה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R/I} גם הוא נתרי. (הוכחה: כל אידיאל של חוג המנה הוא תמונה של אידיאל של הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R} , הנוצרת על ידי תמונתה של קבוצת יוצרים סופית שם).

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

  • כל תחום שלמות נתרי הוא אטומי, כלומר: כל איבר שאינו הפיך אפשר להציג כמכפלה של איברים אי-פריקים מתוך הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R} .

הוכחה: נשתמש כאן פעמיים בתנאי ה-ACC של חוג נתרי. נניח ש-הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a} הוא איבר לא הפיך ב-הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R} , ונגדיר את הסדרה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \left\{a_n\right\}} על ידי הכללים: ; הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a_n} הוא מחלק אמיתי של הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a_{n-1}} (מחלק אמיתי - אינו הפיך, וגם המנה ביחס אליו אינה הפיכה). האידיאלים מהצורה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle Ra_n} יוצרים שרשרת עולה ממש, ולכן, על פי תנאי ה-ACC, זו שרשרת סופית, והאיבר האחרון בה הוא אי-פריק. הוכחנו כי לכל איבר לא הפיך יש מחלק אי-פריק. נשתמש בעובדה זו על מנת ליצור סדרה חדשה המוגדרת על ידי: הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle b_1 = a} ; הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle b_{n-1} = b_np_n} , כאשר אי-פריק. קיבלנו ש- הוא מכפלה של איברים אי-פריקים.

  • כל תחום ראשי הוא נתרי (מכיוון שהאידיאלים שלו נוצרים סופית).

השערת ג'ייקובסון, השואלת האם הפענוח נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \bigcap J(R)^{n}=0} כאשר הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle J(R)} הוא רדיקל ג'ייקובסון של החוג, פתוחה עבור חוגים שהם נתריים גם מימין וגם משמאל.

דוגמאות

  • חוג המספרים השלמים - . זה נובע מכך ש- הוא תחום ראשי.
  • חוג השלמים ה-p-אדיים כאשר ראשוני. בחוג זה כל אידיאל נוצר על ידי חזקה של .
  • חוג הפולינומים בשני משתנים מעל שדה המרוכבים: הפענוח נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \mathbb {C} [x,y]} . בחוג זה כל האידיאלים נוצרים סופית. (לפי משפט הבסיס של הילברט).
  • דוגמה לחוג לא חילופי שהוא נתרי-ימני אך לא נתרי שמאלי: נתבונן בחוג מטריצות מגודל המוגדר: הפענוח נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle R={\begin{pmatrix}\mathbb {Z} &\mathbb {Q} \\0&\mathbb {Q} \\\end{pmatrix}}} .
    ניתן לראות שחוג זה אינו נתרי שמאלי אם נתבונן בקבוצת האידיאלים הבאה: .
    עבור כל , הוא אידיאל שמאלי ב-, ומתקיים: הפענוח נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle I_{0}\subsetneq I_{1}\subsetneq I_{2}\subsetneq ...} . יש לנו שרשרת עולה אינסופית של אידיאלים שמאליים ומכאן שהחוג אינו נתרי שמאלי. לעומת זאת החוג הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R} הוא נתרי ימני (הוכחה).

מקורות

  • Oscar Zariski, Pierre Samuel. Commutative Algebra, D.Van Nostrand Company, New Jersey. Chapter 4
  • Louis H.Rowen. Ring Theory, Volume 1, Academic Press, San Diego

קישורים חיצוניים

סמל המכלול גמרא 2.PNG
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0