Ein kommutativ ring er ein ring R slik at st=ts{\displaystyle st=ts\,} for alle s og t i R, det vil seia at multiplikasjonen er kommutativ.