{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "3Z7YMK2WDS"
    }
  ],
  "body": "\n## Summary\n\nAn excellent ring is a [[Noetherian ring|0670T59HGE]] that satisfies three extra conditions on chains of primes, on completions and on regular loci.\nThe class was introduced by Grothendieck to collect the Noetherian rings that behave as well as the rings met in geometry and number theory.\nFields, the integers, complete Noetherian local rings and all finitely generated algebras over them are excellent.\nFor excellent rings, properties such as being reduced or normal pass from a local ring to its completion.\nAlso, the integral closure of a reduced excellent ring is a finite module over it.\n\n## Explanations\n\n### L1 human\n\nNoetherian rings can be strange: some have maximal chains of primes of different lengths between the same two primes, and some local domains have a completion with nilpotent elements.\nExcellent rings exclude these pathologies.\nAlmost every ring that appears in practice, such as a polynomial ring over a field or a quotient of it, is excellent.\nSo the word \"excellent\" marks the rings for which the usual geometric intuition works.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "13F40",
      "13E05"
    ],
    "name": "Excellent ring",
    "same_as": {
      "wikidata": "Q5419439",
      "wikipedia": "Excellent ring"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Excellent_ring"
      }
    ],
    "specializes": [
      "0670T59HGE"
    ],
    "tag": "YF7YFQ58QJ"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/YF7YFQ58QJ/",
  "links": [
    {
      "field": "specializes",
      "target": "0670T59HGE"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/YF7YFQ58QJ.md",
  "msc": [
    "13F40",
    "13E05"
  ],
  "name": "Excellent ring",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/YF7/YF7YFQ58QJ.md",
  "status": null,
  "tag": "YF7YFQ58QJ",
  "uri": "m2://YF7YFQ58QJ",
  "url": "https://math2.tamnd.com/wiki/excellent-ring/",
  "writing": {
    "tag": "YF7YFQ58QJ",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}