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)
, returnCommutativeAlgebraIdeals(R)
whenR
is commutative. - If useful, implement
AlgebraLeftIdeals
andAlgebraRightIdeals
of whichAlgebraIdeals
would be a subcategory.
- Add support for non commutative rings (this is currently not
supported by the subcategory