Commutative algebra

The Formal Frontier libraries on commutative algebra, one section each.

• Adic modules
• Algebraic direct limits
• Coherent modules
• Finite étale algebras
• Formal power series
• Graded rings
• Integral closure
• Minimal primes
• Multivariate polynomials
• Smooth regularity
• Toric ideals

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.