Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
משפט האידיאל הראשי של ולפגנג קרול קובע שבתחום שלמות נתרי, אידיאל ראשוני שהוא מינימלי מעל איבר, הוא מינימלי. משפט זה, והכללות שלו, מאפשר לחשב את הגובה של אידיאלים ראשוניים, ודרך זה את ממד קרול של חוגים שונים.
אומרים שאידיאל ראשוני הוא מינימלי מעל אם אין ראשוני , וסתם מינימלי אם אין ראשוני כך ש- . לפי ההגדרה, ראשוני מינימלי הוא ראשוני בעל גובה 1 לכל היותר.
מן המשפט נובעת גם התוצאה הכללית יותר ("משפט האידיאל הראשי המוכלל"), שאידיאל ראשוני שהוא מינימלי מעל הוא מגובה לכל היותר. בפרט, הגובה של אידיאל ראשוני חסום (מלמעלה) על ידי מספר היוצרים שלו. ולהפך: אידיאל מגובה אי-אפשר ליצור בפחות מ- איברים. בפרט, בחוג נתרי קומוטטיבי לכל אידיאל ראשוני יש גובה סופי. מכיוון שממד קרול הוא הסופרימום של גבהי האידיאלים המקסימליים, נובע מכאן גם שלתחום שלמות מקומי יש ממד קרול סופי.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.