Episode I

Alice és Bob

. rész: Egesz számok és maradékosztálygyűrűk additív csoportja ciklikus

A \Z^+ additív csoport továbbá tetszőleges m\geq 0 esetén a (\Z/m\Z)^+ additív csoportok ciklikus csoportok. Előbbi generátoreleme az 1 egész szám, utóbbi generátoreleme pedig az [1]_m maradékosztály.