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

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