Algebras¶
AUTHORS:
- David Kohel & William Stein (2005): initial revision
- Nicolas M. Thiery (2008-2011): rewrote for the category framework
-
sage.categories.algebras.
Algebras
¶ The category of associative and unital algebras over a given base ring.
An associative and unital algebra over a ring \(R\) is a module over \(R\) which is itself a ring.
Warning
Algebras
will be eventually be replaced bymagmatic_algebras.MagmaticAlgebras
for consistency with e.g. Wikipedia article Algebras which assumes neither associativity nor the existence of a unit (see trac ticket #15043).Todo
Should \(R\) be a commutative ring?
EXAMPLES:
sage: Algebras(ZZ) Category of algebras over Integer Ring sage: sorted(Algebras(ZZ).super_categories(), key=str) [Category of associative algebras over Integer Ring, Category of rings, Category of unital algebras over Integer Ring]