{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $n \\ge 0$ and let $\\mathcal{O}_n = \\C\\{z_1, \\dots, z_n\\}$ be the [[ring of convergent power series|EVPZ7ZG1HB]], which is isomorphic to the ring of [[germs of holomorphic functions|7PJ8KVZZCQ]] at $0 \\in \\C^n$.\nThen:\n\n1. $\\mathcal{O}_n$ is a [[local ring|MZ02BKPHJA]] with maximal ideal $\\mathfrak{m} = (z_1, \\dots, z_n)$.\n2. $\\mathcal{O}_n$ is a [[Noetherian ring|0670T59HGE]].\n3. $\\mathcal{O}_n$ is a [[unique factorization domain|0W4X9G6263]].\n\n## Remarks\n\nPart 1 holds because a series with nonzero constant term has a convergent inverse.\nParts 2 and 3 are proved together by induction on $n$, with the Weierstrass preparation and division theorems as the main tools.\nFor a nonzero ideal $I$, after a linear change of coordinates $I$ contains an element $f$ regular of order $d$ in $z_n$.\nDivision by $f$ shows that $\\mathcal{O}_n/(f)$ is a finitely generated module over $\\mathcal{O}_{n-1}$, which is Noetherian by induction, so $I/(f)$ and hence $I$ is finitely generated.\nFor factoriality, preparation reduces factorization in $\\mathcal{O}_n$ to factorization of Weierstrass polynomials in $\\mathcal{O}_{n-1}[z_n]$, which is a unique factorization domain by Gauss's lemma, since $\\mathcal{O}_{n-1}$ is one by induction.\nExample: in $\\mathcal{O}_2$, the germ $z_1^2 - z_2^3$ is irreducible, while $z_2^2 - z_1^2(1 + z_1)$ factors as $\\big(z_2 - z_1\\sqrt{1 + z_1}\\big)\\big(z_2 + z_1\\sqrt{1 + z_1}\\big)$, where $\\sqrt{1 + z_1}$ is the convergent binomial series.\nThe ring of holomorphic functions on an open set, rather than germs, is not Noetherian.\nOn $\\C$, the entire functions vanishing at all but finitely many of the points $1, 2, 3, \\dots$ form an ideal that is not finitely generated.\n\n## Explanations\n\n### L1 human\n\nNear a point, holomorphic functions behave algebraically like polynomials.\nEvery ideal of germs is generated by finitely many germs, and every germ factors into irreducible germs in an essentially unique way.\nThis is what makes it possible to study the local shape of zero sets of holomorphic functions with algebra.\n\n### L2 human\n\nThe theorem is the starting point of local analytic geometry.\nNoetherianity gives that every germ of an analytic set is a finite union of irreducible germs, and that descending chains of analytic germs stabilize.\nFactoriality shows that the germ of a hypersurface $\\set{f = 0}$ decomposes according to the irreducible factors of $f$.\nThe ring $\\mathcal{O}_n$ is moreover regular of dimension $n$, and Oka's coherence theorem extends its Noetherian property to the sheaf of holomorphic functions.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "EVPZ7ZG1HB"
    ],
    "kind": "statement",
    "msc": [
      "32B05",
      "13J07",
      "13F15"
    ],
    "name": "The local ring of holomorphic germs is Noetherian and factorial",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Function_of_several_complex_variables"
      }
    ],
    "tag": "DMYXA8HZ2P",
    "uses": [
      "EVPZ7ZG1HB",
      "7PJ8KVZZCQ",
      "MZ02BKPHJA",
      "0670T59HGE",
      "0W4X9G6263"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/DMYXA8HZ2P/",
  "links": [
    {
      "field": "about",
      "target": "EVPZ7ZG1HB"
    },
    {
      "field": "uses",
      "target": "EVPZ7ZG1HB"
    },
    {
      "field": "uses",
      "target": "7PJ8KVZZCQ"
    },
    {
      "field": "uses",
      "target": "MZ02BKPHJA"
    },
    {
      "field": "uses",
      "target": "0670T59HGE"
    },
    {
      "field": "uses",
      "target": "0W4X9G6263"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/DMYXA8HZ2P.md",
  "msc": [
    "32B05",
    "13J07",
    "13F15"
  ],
  "name": "The local ring of holomorphic germs is Noetherian and factorial",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/DMY/DMYXA8HZ2P.md",
  "status": null,
  "tag": "DMYXA8HZ2P",
  "uri": "m2://DMYXA8HZ2P",
  "url": "https://tamnd.github.io/math2/wiki/the-local-ring-of-holomorphic-germs-is-noetherian-and-factorial/",
  "writing": {
    "tag": "DMYXA8HZ2P",
    "kind": "statement",
    "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
      }
    ]
  }
}