{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $K$ be a field and let $A$ be a [[central simple algebra|5HRKJBAY2V]] over $K$.\nLet $B$ be a $K$-subalgebra of $A$ that is a [[simple ring|62M0NC3E2T]].\nFor a subset $S$ of $A$, let $C_A(S) = \\set{a \\in A : as = sa \\text{ for all } s \\in S}$ be its centralizer.\nThen:\n\n1. $C_A(B)$ is a simple $K$-algebra.\n2. $\\dim_K B \\cdot \\dim_K C_A(B) = \\dim_K A$.\n3. $C_A(C_A(B)) = B$.\n4. If $B$ is central simple over $K$, then $A \\cong B \\otimes_K C_A(B)$.\n\n## Remarks\n\nThe proof views $A$ as a module over the simple algebra $B \\otimes_K A^{\\mathrm{op}}$.\nThen $C_A(B)$ is the endomorphism ring of this module, a matrix algebra over a division algebra.\nCounting dimensions gives clause 2.\nSince $B \\subseteq C_A(C_A(B))$ and clause 2 applied twice gives equal dimensions, clause 3 follows.\nExample: let $A = M_n(K)$ and $B = K[x]/(p)$, embedded through the companion matrix $C$ of an irreducible polynomial $p$ of degree $n$.\nThen $C_A(B)$ consists of the polynomials in $C$, so it equals $B$, and indeed $n \\cdot n = n^2$.\nExample: for $A = M_2(K) \\otimes_K M_3(K)$ and $B = M_2(K) \\otimes 1$, the centralizer is $1 \\otimes M_3(K)$, and $4 \\cdot 9 = 36$.\nSimplicity of $B$ is needed for clause 2: in $A = M_3(K)$ let $B$ be spanned by $I$ and the matrix unit $E_{13}$, a subalgebra with the nilpotent ideal $K E_{13}$.\nA matrix commutes with $E_{13}$ exactly when its entries in positions $(2,1)$, $(3,1)$, $(3,2)$ vanish and its entries in positions $(1,1)$ and $(3,3)$ agree, so $\\dim_K C_A(B) = 5$ and $2 \\cdot 5 \\ne 9$.\n\n## Explanations\n\n### L1 human\n\nInside a central simple algebra, take a simple subalgebra and collect everything that commutes with it.\nThe theorem says that the sizes of the two pieces multiply to the size of the whole algebra.\nDoing it twice gives back the subalgebra one started with.\n\n### L2 human\n\nThe main use is to subfields: if $L$ is a subfield of $A$ containing $K$, then $[L : K] \\cdot \\dim_K C_A(L) = \\dim_K A$, so $[L : K]$ divides the degree of $A$.\nWhen $C_A(L) = L$, this gives $[L : K]^2 = \\dim_K A$, so $L$ is a maximal subfield and splits $A$.\nClause 4 shows that a central simple subalgebra always splits off as a tensor factor.\nWith the Skolem–Noether theorem it underlies the crossed product description of the Brauer group.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "5HRKJBAY2V"
    ],
    "kind": "statement",
    "msc": [
      "16K20",
      "16K50"
    ],
    "name": "Double centralizer theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q5299981",
      "wikipedia": "Double centralizer theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Double_centralizer_theorem"
      }
    ],
    "tag": "H9F9G4V1EM",
    "uses": [
      "5HRKJBAY2V",
      "62M0NC3E2T",
      "1735VGRT2P"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/H9F9G4V1EM/",
  "links": [
    {
      "field": "about",
      "target": "5HRKJBAY2V"
    },
    {
      "field": "uses",
      "target": "5HRKJBAY2V"
    },
    {
      "field": "uses",
      "target": "62M0NC3E2T"
    },
    {
      "field": "uses",
      "target": "1735VGRT2P"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/H9F9G4V1EM.md",
  "msc": [
    "16K20",
    "16K50"
  ],
  "name": "Double centralizer theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/H9F/H9F9G4V1EM.md",
  "status": null,
  "tag": "H9F9G4V1EM",
  "uri": "m2://H9F9G4V1EM",
  "url": "https://tamnd.github.io/math2/wiki/double-centralizer-theorem/",
  "writing": {
    "tag": "H9F9G4V1EM",
    "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
      }
    ]
  }
}