Commutative algebra ideals#

class sage.categories.commutative_algebra_ideals.CommutativeAlgebraIdeals(A)[source]#

Bases: 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
>>> from sage.all import *
>>> C = CommutativeAlgebraIdeals(QQ['x'])
>>> C
Category of commutative algebra ideals in
 Univariate Polynomial Ring in x over Rational Field
algebra()[source]#

EXAMPLES:

sage: CommutativeAlgebraIdeals(QQ['x']).algebra()
Univariate Polynomial Ring in x over Rational Field
>>> from sage.all import *
>>> CommutativeAlgebraIdeals(QQ['x']).algebra()
Univariate Polynomial Ring in x over Rational Field
super_categories()[source]#

EXAMPLES:

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