Heltallene danner en uendelig, diskret og abelsk gruppe under addisjon. På samme måte utgjør også delmengden en uendelig undergruppe der er et naturlig tall. Dette utgjør også en normal undergruppe da modergruppen er abelsk. Man kan nå dele alle heltallene opp i restklasser hvor to og to restplasser kan kombineres ved addisjon. For eksempel, når = 3 får man de tre restklassene 3, 3 + 1 og 3 + 2, mens klassen 3 + 3 er den samme som 3. Som representanter for disse tre restklassene kan man benytte tallene 0, 1 og 2. De utgjør elementene i faktorgruppen /3 som derfor har orden 3. Deres kombinasjon skjer ved modulær addisjon, det vil si i dette tilfellet modulo 3. Den inverse til elementet 1 er 2 og omvendt.