Ein heiltalsring eller integritetsdomene er ein kommutativ ring med identitet slik at dersom , så er anten eller . 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 av heiltal (derav namnet heiltalsring).

Sjå også endre