Commutative algebra

In abstract algebra, commutative algebra is the field of study of commutative rings, their ideals, modules and algebras. It is foundational both for algebraic geometry and for algebraic number theory.

Related pages include:

• integral domain
• quotient field
• principal ideal domain
• unique factorization domain
• Dedekind domain
• integral closure
• Chinese remainder theorem
• local ring
• Valuation (mathematics)
• Noetherian ring
• Hilbert's basis theorem
• Spectrum of a ring.

The subject's real founder, in the days when it was called ideal theory, should be considered to be David Hilbert. He seems to have thought of it (around 1900) as an alternate approach that could replace the then-fashionable complex function theory. In line with his thinking, computational aspects were secondary to the structural. The additional module concept, present in some form in Kronecker's work, is technically an improvement on working always directly on the special case of ideals. Its adoption is attributed to Emmy Noether's influence.

Given the scheme concept, commutative algebra is reasonably thought of as either the local theory or the affine theory of algebraic geometry.

Noncommutative algebra is studied in ring theory, and in other areas such as Banach algebra theory.