Z[i] halkası kompleks Sayılar cisminin bir althalkası ve dolayısıyla bir tamlık bölgesidir. a+bi∈Z[i] de tersinir eleman ise (a+bi)(c+di)=1 olacak şekilde c+di∈Z[i] vardır. Her iki Tarafın eşleniğini aldığımızda ve taraf tarafa çarptığımızda (a2+b2)(c2+d2)=1 ve buradan a=0,b=1,−1 yada a=1,−1,b=0 elde edilir. Yani halkanın tersinir elemanları yalnızca 1,−1,i,−i şeklindedir.