{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nIn mathematics, a **Young symmetrizer** is an element of the group algebra of the [[symmetric group|0515A6D2Y1]] $S_n$ whose natural action on tensor products $V^{\\otimes n}$ of a complex vector space $V$ has as image an irreducible representation of the group of invertible linear transformations $GL(V)$. All irreducible representations of $GL(V)$ are thus obtained. It is constructed from the action of $S_n$ on the vector space $V^{\\otimes n}$ by permutation of the different factors (or equivalently, from the permutation of the indices of the tensor components). A similar construction works over any field, but in positive characteristic (in particular, over finite fields) the image need not be an irreducible representation. The Young symmetrizers also act on the vector space of functions on Young tableau and the resulting representations are called **Specht modules** which again construct all complex irreducible representations of the symmetric group while the analogous construction in prime characteristic need not be irreducible. The Young symmetrizer is named after British mathematician Alfred Young.\n",
  "commit": "a799a9852bcfeae9dc83faa3bef60208bb53686b",
  "front": {
    "inventory": [
      "WVT65328KH"
    ],
    "kind": "concept",
    "name": "Young symmetrizer",
    "same_as": {
      "wikidata": "Q8058560",
      "wikipedia": "Young symmetrizer"
    },
    "sources": [
      {
        "locator": "Young symmetrizer",
        "mention": "wikipedia://en/1585226",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:1585226@r1346297036"
      }
    ],
    "tag": "PWF62J9R1H"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/PWF62J9R1H/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/PWF62J9R1H.md",
  "msc": null,
  "name": "Young symmetrizer",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/PWF/PWF62J9R1H.md",
  "status": null,
  "tag": "PWF62J9R1H",
  "uri": "m2://PWF62J9R1H",
  "url": "https://math2.tamnd.com/wiki/young-symmetrizer/",
  "writing": {
    "tag": "PWF62J9R1H",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}