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

משפט האי⁻שלמות, משפט האי⁻שלמות הראשון, משפט האי⁻שלמות של גדל, משפט האי⁻שלמות של צ'ייטין, משפט האיבר הפרימיטיבי, משפט האיזומורפיזם הראשון, משפט האיחוד האירופי, משפט האיינזצגרופן, משפט האין שיער, משפט האין⁻שיער