Associative algebras¶
- class sage.categories.associative_algebras.AssociativeAlgebras(base_category)[source]¶
- Bases: - CategoryWithAxiom_over_base_ring- The 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 Issue #15043 is implemented, - Algebrasis the category of associative unital algebras; thus, unlike the name suggests,- AssociativeAlgebrasis not a subcategory of- Algebrasbut of- MagmaticAlgebras.- EXAMPLES: - sage: from sage.categories.associative_algebras import AssociativeAlgebras sage: C = AssociativeAlgebras(ZZ); C Category of associative algebras over Integer Ring - >>> from sage.all import * >>> from sage.categories.associative_algebras import AssociativeAlgebras >>> C = AssociativeAlgebras(ZZ); C Category of associative algebras over Integer Ring