Commutative algebra ideals#

class sage.categories.commutative_algebra_ideals.CommutativeAlgebraIdeals(A)#

Bases: sage.categories.category_types.Category_ideal

The category of ideals in a fixed commutative algebra \(A\).

EXAMPLES:

sage: C = CommutativeAlgebraIdeals(QQ['x'])
sage: C
Category of commutative algebra ideals in Univariate Polynomial Ring in x over Rational Field
algebra()#

EXAMPLES:

sage: CommutativeAlgebraIdeals(QQ['x']).algebra()
Univariate Polynomial Ring in x over Rational Field
super_categories()#

EXAMPLES:

sage: CommutativeAlgebraIdeals(QQ['x']).super_categories()
[Category of algebra ideals in Univariate Polynomial Ring in x over Rational Field]