{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "RC7HCZCRC5"
    }
  ],
  "body": "\n## Summary\n\nA Mori domain is an [[integral domain|09S3PFBEPM]] that satisfies the ascending chain condition on divisorial ideals.\nEvery Noetherian domain and every [[Krull domain|CB9WJCN9BM]] is a Mori domain.\nA Mori domain is a Krull domain exactly when it is completely integrally closed.\nSo Mori domains relate to Krull domains as Noetherian domains relate to Noetherian integrally closed domains.\n\n## Explanations\n\n### L1 human\n\nDivisorial ideals are the ideals that are determined by which principal ideals contain them.\nIn a Mori domain one cannot build an infinite strictly increasing chain of such ideals.\nPrincipal ideals are divisorial, so in particular there is no infinite strictly increasing chain of principal ideals, and every nonzero nonunit factors into irreducibles.\nThe ring of all algebraic integers is not a Mori domain: the principal ideals generated by $2^{1/2}, 2^{1/4}, 2^{1/8}, \\ldots$ form a strictly increasing chain.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "13F05"
    ],
    "name": "Mori domain",
    "same_as": {
      "wikidata": "Q6912121",
      "wikipedia": "Mori domain"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Mori_domain"
      }
    ],
    "specializes": [
      "0QVD7WBFGN"
    ],
    "tag": "69HK75YAD1"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/69HK75YAD1/",
  "links": [
    {
      "field": "specializes",
      "target": "0QVD7WBFGN"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/69HK75YAD1.md",
  "msc": [
    "13F05"
  ],
  "name": "Mori domain",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/69H/69HK75YAD1.md",
  "status": null,
  "tag": "69HK75YAD1",
  "uri": "m2://69HK75YAD1",
  "url": "https://math2.tamnd.com/wiki/mori-domain/",
  "writing": {
    "tag": "69HK75YAD1",
    "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
      }
    ]
  }
}