{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $p$ be an odd prime.\nLet $K_n = \\Q(\\zeta_{p^{n+1}})$ for $n \\ge 0$ be the [[cyclotomic fields|NN77VYSGXR]] of $p$-power roots of unity, with union $K_\\infty$.\nLet $A_n$ be the $p$-part of the [[ideal class group|WQ46BD3ARY]] of $K_n$, and let $X = \\varprojlim_n A_n$, the inverse limit under the norm maps.\nLet $\\Lambda = \\Z_p[\\![T]\\!]$ be the Iwasawa algebra over the [[p-adic integers|V6TJAFZ4MD]], acting on $X$ through $\\Gal(K_\\infty/K_0)$ as in [[Iwasawa theory|Y2SPPSQ5D4]].\nLet $\\Delta = \\Gal(K_0/\\Q) \\cong (\\Z/p\\Z)^\\times$, and let $\\omega \\colon \\Delta \\to \\Z_p^\\times$ be the Teichmüller character.\nFor an integer $i$, let $X^{(i)}$ be the part of $X$ on which $\\Delta$ acts by $\\omega^i$.\nLet $i$ be odd with $i \\not\\equiv 1 \\pmod{p-1}$.\nThen the $\\Lambda$-module $X^{(i)}$ is finitely generated and torsion.\nIts characteristic ideal is generated by the element of $\\Lambda$ that interpolates the Kubota–Leopoldt $p$-adic $L$-function $L_p(s, \\omega^{1-i})$.\nHere the variable $T$ has its standard normalisation.\n\n## Remarks\n\nThe $p$-adic $L$-function $L_p(s, \\omega^{1-i})$ interpolates values at negative integers of [[Dirichlet L-functions|9D2Z543EJQ]].\nThese are attached to powers of $\\omega$ viewed as [[Dirichlet characters|7XB5VJKDPG]], and the values are given by generalised [[Bernoulli numbers|0KC00K7KY4]].\nSo the statement links an algebraic object, built from class groups, to an analytic one, built from $L$-values.\nMazur and Wiles proved it using the geometry of modular curves, and Wiles later proved the analogue for totally real fields.\nRubin gave another proof using Kolyvagin's Euler systems of cyclotomic units.\n\nExample of its content: by the structure theory of $\\Lambda$-modules, $X^{(i)}$ is finite exactly when its characteristic ideal is all of $\\Lambda$.\nSo $X^{(i)}$ is finite exactly when the interpolating power series has a constant term that is a $p$-adic unit.\nWhen $p$ is a [[regular prime|B4VK33PCXZ]], $p$ does not divide the class number of $K_0$, and then all the $A_n$ are trivial.\nCorrespondingly, all the relevant power series are units of $\\Lambda$.\n\n## Explanations\n\n### L1 human\n\nThe theorem says that two very different ways of measuring the same arithmetic agree.\nOne way counts ideal classes in the tower of fields generated by $p$-power roots of unity.\nThe other way uses $p$-adic versions of the special values of $L$-functions.\nThe agreement is exact, not only up to some error.\n\n### L2 human\n\nThe result is a refinement of Kummer's criterion and of the Herbrand–Ribet theorem, which relate the $p$-divisibility of Bernoulli numbers to the class group of $\\Q(\\zeta_p)$.\nHere the tower of all $p$-power cyclotomic fields is treated at once, with modules over $\\Lambda$ in place of finite groups.\nIt is a model for many later main conjectures, for example for elliptic curves, where the class group is replaced by a Selmer group.\n",
  "commit": "efe85cee8dbc57d85bedbacfb97b99d1b7bee843",
  "front": {
    "about": [
      "Y2SPPSQ5D4"
    ],
    "kind": "statement",
    "msc": [
      "11R23",
      "11R42"
    ],
    "name": "Iwasawa main conjecture",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q6736209",
      "wikipedia": "Main conjecture of Iwasawa theory"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Main_conjecture_of_Iwasawa_theory"
      }
    ],
    "tag": "67A4D4FAYJ",
    "uses": [
      "Y2SPPSQ5D4",
      "NN77VYSGXR",
      "WQ46BD3ARY",
      "V6TJAFZ4MD",
      "9D2Z543EJQ",
      "7XB5VJKDPG",
      "B4VK33PCXZ",
      "0KC00K7KY4"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/67A4D4FAYJ/",
  "links": [
    {
      "field": "about",
      "target": "Y2SPPSQ5D4"
    },
    {
      "field": "uses",
      "target": "Y2SPPSQ5D4"
    },
    {
      "field": "uses",
      "target": "NN77VYSGXR"
    },
    {
      "field": "uses",
      "target": "WQ46BD3ARY"
    },
    {
      "field": "uses",
      "target": "V6TJAFZ4MD"
    },
    {
      "field": "uses",
      "target": "9D2Z543EJQ"
    },
    {
      "field": "uses",
      "target": "7XB5VJKDPG"
    },
    {
      "field": "uses",
      "target": "B4VK33PCXZ"
    },
    {
      "field": "uses",
      "target": "0KC00K7KY4"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/67A4D4FAYJ.md",
  "msc": [
    "11R23",
    "11R42"
  ],
  "name": "Iwasawa main conjecture",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/67A/67A4D4FAYJ.md",
  "status": null,
  "tag": "67A4D4FAYJ",
  "uri": "m2://67A4D4FAYJ",
  "url": "https://math2.tamnd.com/wiki/iwasawa-main-conjecture/",
  "writing": {
    "tag": "67A4D4FAYJ",
    "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
      }
    ]
  }
}