Commutative rings¶
-
sage.categories.commutative_rings.
CommutativeRings
¶ The category of commutative rings
commutative rings with unity, i.e. rings with commutative * and a multiplicative identity
EXAMPLES:
sage: C = CommutativeRings(); C Category of commutative rings sage: C.super_categories() [Category of rings, Category of commutative monoids]