חוג מקומי – הבדלי גרסאות

[[חוג השלמים ה-p-אדיים]], <math>\ \mathbb{Z}_{p}</math> הוא חוג מקומי, המתקבל מ[[חוג השלמים]] על ידי מיקום באידאל הראשוני הנוצר על ידי הראשוני p. כל [[תחום ראשי]] מקומי סופי הוא מהצורה <math>\ R/P^d</math> כאשר R חוג השלמים בשדה מקומי, ו-P האידיאל המקסימלי שם.