Associative algebras#
- class sage.categories.associative_algebras.AssociativeAlgebras(base_category)#
Bases:
CategoryWithAxiom_over_base_ringThe category of associative algebras over a given base ring.
An associative algebra over a ring \(R\) is a module over \(R\) which is also a not necessarily unital ring.
Warning
Until github issue #15043 is implemented,
Algebrasis the category of associative unital algebras; thus, unlike the name suggests,AssociativeAlgebrasis not a subcategory ofAlgebrasbut ofMagmaticAlgebras.EXAMPLES:
sage: from sage.categories.associative_algebras import AssociativeAlgebras sage: C = AssociativeAlgebras(ZZ); C Category of associative algebras over Integer Ring