הגדרה: נגדיר את הקבוצה הבאה: <math>\mathbb{Z}_n=\{\overline{0},\overline{1},\overline{2},...,\overline{n-1}\}</math>.
עובדה: עבור n=p ראשוני הקבוצה <math>\mathbb{Z}_p=\{\overline{0},\overline{1},\overline{2},...,\overline{p-1}\}</math> הינה שדה ביחס לחיבור וכפל מודלו p. הניטרלי לחיבור הוא 0 והנטרלי לכפל הוא 1. למשל <math>\mathbb{Z}_3=\{\overline{0},\overline{1},\overline{2}\}</math>
תרגיל: הוכיחו כי ש<math>\mathbb{Z}_n</math> אינו שדה כאשר n מספר פריק (כלומר קיימים טבעיים כך ש n=mk)