Algebra modules¶
-
sage.categories.algebra_modules.
AlgebraModules
¶ The category of modules over a fixed algebra \(A\).
EXAMPLES:
sage: AlgebraModules(QQ['a']) Category of algebra modules over Univariate Polynomial Ring in a over Rational Field sage: AlgebraModules(QQ['a']).super_categories() [Category of modules over Univariate Polynomial Ring in a over Rational Field]
Note: as of now, \(A\) is required to be commutative, ensuring that the categories of left and right modules are isomorphic. Feedback and use cases for potential generalizations to the non commutative case are welcome.