Heiltalsring

Ein heiltalsring eller integritetsdomene er ein kommutativ ring med identitet slik at dersom $st = 0\,$ , så er anten $s = 0\,$ eller $t=0\,$ . Alle endelege kroppar er heiltalsringar, men ikkje alle heiltalsringar er kroppar. Det enklaste dømet på ein heiltalsring som ikkje er ein kropp er ringen $\mathbb{Z} = \{1,2,3,\dots\}$ av heiltal (derav namnet heiltalsring).