Ring ideals¶
- class sage.categories.ring_ideals.RingIdeals(R)¶
Bases:
sage.categories.category_types.Category_idealThe category of two-sided ideals in a fixed ring.
EXAMPLES:
sage: Ideals(Integers(200)) Category of ring ideals in Ring of integers modulo 200 sage: C = Ideals(IntegerRing()); C Category of ring ideals in Integer Ring sage: I = C([8,12,18]) sage: I Principal ideal (2) of Integer Ring
See also:
CommutativeRingIdeals.Todo
If useful, implement
RingLeftIdealsandRingRightIdealsof whichRingIdealswould be a subcategory.Make
RingIdeals(R), returnCommutativeRingIdeals(R)whenRis commutative.
- super_categories()¶
EXAMPLES:
sage: RingIdeals(ZZ).super_categories() [Category of modules over Integer Ring] sage: RingIdeals(QQ).super_categories() [Category of vector spaces over Rational Field]