Heiltalsring
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).