Buktikan Grup U 9 isomorfik dengan Z2 X 72.

Bukti.

Definisikan fungsi f: Ug Z2 XZ2 dengan aturan f(1) = (0,0), f(3) = (1,0), f(5) = (0,1), dan f(7) = (1,1).
Jelas fungs ƒ adalah bijeksi.

Bukti bahwa f adalah hommorfisma

f(3.5) = f(7) = (1,1) = (1,0)+(0,1) = f(3) + f(5) f(3.7) = f(5) = (0,1) = (1,0)+(1,1) = f(3) + f(7)

f(5.7) = f(3) = (1,0) = (0,1)+(1,1) = f(3) + f(7)

Terbukti.