nLab commutative algebra




A commutative kk-algebra (with kk a field or at least a commutative ring) is an associative unital algebra over kk such that the multiplicative operation is commutative. Equivalently, it is a commutative ring RR equipped with a ring homomorphism kRk \to R.

There is a generalization of commutativity when applied to finitary monads in SetSet, that is generalized rings, as studied in Durov's thesis.

Commutative algebra is the subject studying commutative algebras. It is closely related and it is the main algebraic foundation of algebraic geometry. Some of the well-known classical theorems of commutative algebra are the Hilbert basis theorem and Nullstellensatz and Krull's theorem?, as well as many results pertaining to syzygies, resultants and discriminants.


Discussion of commutative algebra with constructive methods:

  • Henri Lombardi, Claude Quitté, Commutative algebra: Constructive methods. Finite projective modules (arXiv:1605.04832)

Last revised on November 19, 2023 at 06:00:18. See the history of this page for a list of all contributions to it.