[1] [[環]] [CODE(math)[[VAR[R]]]] が[DFN[可換環]]であるとは:
- [CODE(math)[(∀[VAR[a]], [VAR[b]] ∈ [VAR[R]]) [VAR[a]][VAR[b]] = [VAR[b]][VAR[a]]]]
([[積]]に関する[[交換法則]])