Property: commutative

Definition: $xy=yx$ for all $x$ and $y$ in the ring


This property has the following metaproperties
  • passes to subrings
  • stable under finite products
  • stable under products
  • Passes to eRe for any idempotent e
  • Passes to eRe for any full idempotent e
  • passes to quotient rings
  • passes to localizations
This property does not have the following metaproperties