Commutative ring ideals#

class sage.categories.commutative_ring_ideals.CommutativeRingIdeals(R)#

Bases: Category_ideal

The category of ideals in a fixed commutative ring.

EXAMPLES:

sage: C = CommutativeRingIdeals(IntegerRing())
sage: C
Category of commutative ring ideals in Integer Ring
super_categories()#

EXAMPLES:

sage: CommutativeRingIdeals(ZZ).super_categories()
[Category of ring ideals in Integer Ring]