Commutative algebras

class sage.categories.commutative_algebras.CommutativeAlgebras(base, name=None)

Bases: sage.categories.category_types.Category_over_base_ring

The category of commutative algebras with unit over a given base ring.

EXAMPLES:

sage: M = CommutativeAlgebras(GF(19))
sage: M
Category of commutative algebras over Finite Field of size 19

TESTS:

sage: TestSuite(CommutativeAlgebras(ZZ)).run()

Todo:

  • product ( = cartesian product)
  • coproduct ( = tensor product over base ring)
super_categories()

EXAMPLES:

sage: CommutativeAlgebras(QQ).super_categories()
[Category of algebras over Rational Field, Category of commutative rings]

Previous topic

Commutative algebra ideals

Next topic

Commutative ring ideals

This Page