# Commutative Algebra

Gröbner BasesBuchberger’s algorithm and Gröbner basis configuration.

[Gröbner Bases](GrobnerBases/index-grobner-bases.md)Polynomial Ring Ideal OperationsIdeal creation, operations, varieties and multiplicities.

[Polynomial Ring Ideal Operations](PolynomialRingIdealOperations/index-polynomial-ring-ideal-operations.md)Local Polynomial RingsElement orders, creation, Gröbner bases and ideal operations.

[Local Polynomial Rings](LocalPolynomialRings/index-local-polynomial-rings.md)Affine AlgebrasAffine algebra creation, operations and maps.

[Affine Algebras](AffineAlgebras/index-affine-algebras.md)Modules over Multivariate RingsModule creation, order, embedded components and homomorphisms.

[Modules over Multivariate Rings](ModulesOverMultivariateRings/index-modules-over-multivariate-rings.md)Invariant TheoryInvariant rings, group actions and permutation/matrix invariants.

[Invariant Theory](InvariantTheory/index-invariant-theory.md)Differential RingsDifferential rings and the Galois theory of linear differential equations.

[Differential Rings](DifferentialRings/index-differential-rings.md)