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