AlgebraIdeals

sage.categories.algebra_ideals.AlgebraIdeals

The category of two-sided ideals in a fixed algebra \(A\).

EXAMPLES:

sage: AlgebraIdeals(QQ['a'])
Category of algebra ideals in Univariate Polynomial Ring in a over Rational Field

Todo

  • Add support for non commutative rings (this is currently not supported by the subcategory AlgebraModules).
  • Make AlgebraIdeals(R), return CommutativeAlgebraIdeals(R) when R is commutative.
  • If useful, implement AlgebraLeftIdeals and AlgebraRightIdeals of which AlgebraIdeals would be a subcategory.