{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "B1Q5F5VNSK"
    }
  ],
  "body": "\n## Statement\n\nLet $k$ be a [[field|04C5ZBG1WT]], let $d \\ge 1$, and let $F = k\\langle x_1, \\ldots, x_d \\rangle$ be the [[free algebra|2P3Y2FRCSZ]], graded by degree.\nLet $I$ be the [[two-sided ideal|0CD87SFM2N]] of $F$ generated by a set of homogeneous elements of degrees at least $2$.\nFor $i \\ge 2$, let $r_i$ be the number of these generators of degree $i$, and assume each $r_i$ is finite.\nLet $A = F/I$, which is a [[graded algebra|8KB4SQGC0C]] $A = \\bigoplus_{n \\ge 0} A_n$, and let $H_A(t) = \\sum_{n \\ge 0} (\\dim_k A_n) t^n$ be its Hilbert series.\nLet $R(t) = \\sum_{i \\ge 2} r_i t^i$.\n\n1. Every coefficient of the [[formal power series|033WGN00BF]] $H_A(t) \\big(1 - d t + R(t)\\big) - 1$ is nonnegative.\n2. If there is a real number $t_0$ with $0 \u003c t_0 \u003c 1$ such that $R(t_0)$ converges and $1 - d t_0 + R(t_0) \\le 0$, then $A$ is infinite-dimensional.\n\n## Remarks\n\nPart 1 comes from a careful count of the degree $n$ part of $I$: it is spanned by products $a f b$ with $f$ a generator, and the count gives $\\dim A_n \\ge d \\dim A_{n-1} - \\sum_{i=2}^{n} r_i \\dim A_{n-i}$.\nFor part 2, if $A$ were finite-dimensional, then $H_A$ would be a polynomial with $H_A(t_0) \u003e 0$.\nEvaluating the series of part 1 at $t_0$ would give $H_A(t_0)\\big(1 - d t_0 + R(t_0)\\big) \\ge 1 \u003e 0$, which contradicts $1 - d t_0 + R(t_0) \\le 0$.\n\nExample: take $d = 4$ and at most one relation in each degree $i \\ge 2$.\nThen $R(t) \\le t^2/(1 - t)$, and at $t_0 = 1/2$ one gets $1 - 2 + R(1/2) \\le -1 + 1/2 \u003c 0$.\nSo every such quotient of $k\\langle x_1, x_2, x_3, x_4 \\rangle$ is infinite-dimensional.\n\nGolod used this criterion to build finitely generated infinite-dimensional algebras in which every element is nilpotent.\nA version for groups concerns a nontrivial finite group $G$ of order a power of a prime $p$, that is, a [[p-group|06QYRTX9KQ]].\nLet $d = \\dim H^1(G, \\F_p)$, its minimal number of generators, and $r = \\dim H^2(G, \\F_p)$; then $r \u003e d^2/4$.\n\n## Explanations\n\n### L1 human\n\nStart with a free algebra on $d$ letters, which is infinite-dimensional, and impose relations.\nEach relation cuts down the size, but only by a limited amount in each degree.\nThe theorem says: if there are few relations, especially in low degrees, the quotient is still infinite-dimensional.\n\n### L2 human\n\nThe theorem is a tool for proving that objects are infinite.\nThrough the group version, it shows that some groups with few relations are infinite, which gave infinite finitely generated periodic groups.\nIn number theory, it shows that the class field tower of a number field can be infinite.\nSome imaginary quadratic fields have no finite tower of [[Hilbert class fields|WWCJ7CR2R3]] ending in a field with class number $1$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "2P3Y2FRCSZ"
    ],
    "kind": "statement",
    "msc": [
      "16S15",
      "16W50",
      "20D15"
    ],
    "name": "Golod–Shafarevich theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q17018210",
      "wikipedia": "Golod–Shafarevich theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Golod–Shafarevich_theorem"
      }
    ],
    "tag": "RC5A5T7YY2",
    "uses": [
      "04C5ZBG1WT",
      "2P3Y2FRCSZ",
      "0CD87SFM2N",
      "8KB4SQGC0C",
      "033WGN00BF",
      "06QYRTX9KQ",
      "WWCJ7CR2R3"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/RC5A5T7YY2/",
  "links": [
    {
      "field": "about",
      "target": "2P3Y2FRCSZ"
    },
    {
      "field": "uses",
      "target": "04C5ZBG1WT"
    },
    {
      "field": "uses",
      "target": "2P3Y2FRCSZ"
    },
    {
      "field": "uses",
      "target": "0CD87SFM2N"
    },
    {
      "field": "uses",
      "target": "8KB4SQGC0C"
    },
    {
      "field": "uses",
      "target": "033WGN00BF"
    },
    {
      "field": "uses",
      "target": "06QYRTX9KQ"
    },
    {
      "field": "uses",
      "target": "WWCJ7CR2R3"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/RC5A5T7YY2.md",
  "msc": [
    "16S15",
    "16W50",
    "20D15"
  ],
  "name": "Golod–Shafarevich theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/RC5/RC5A5T7YY2.md",
  "status": null,
  "tag": "RC5A5T7YY2",
  "uri": "m2://RC5A5T7YY2",
  "url": "https://tamnd.github.io/math2/wiki/golod-shafarevich-theorem/",
  "writing": {
    "tag": "RC5A5T7YY2",
    "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
      }
    ]
  }
}