{
  "schema": "open-mathematics-course/v1",
  "id": "RT-FIN",
  "title": "Representations of finite groups",
  "description": "Finite-group representations and character theory, leading to induction, rationality, symmetric groups and general linear groups over finite fields.",
  "units": [
    {
      "id": "representations-and-complete-reducibility",
      "title": "Representations and complete reducibility",
      "source": "src/RT-FIN-01.md",
      "sha256": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC",
      "dependencies": [],
      "owner_source_sha256": "659942BDF47420E6665D59C4E80CF973867730D3B231D7E9C80AB8177BD83712",
      "reader": "representations-and-complete-reducibility.html",
      "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18",
      "integration_contribution": {
        "model": "GPT-6 Astra (OpenAI)",
        "reasoning_effort": "Ultra",
        "scope": "Elementary prerequisite proofs; comparison with free representation-theory drafts; exact programme-provider links.",
        "self_checked": true,
        "independent_human_review": false,
        "provider_paths": [
          "../../human/linear-algebra-bridges/from-bases-to-projections.html",
          "../../human/linear-algebra-bridges/finite-hermitian-spaces.html",
          "../AG-CA/src/the-nullstellensatz-and-jacobson-rings.md",
          "../../human/lebl-basic-analysis/sec_complexexp.html"
        ]
      }
    },
    {
      "id": "characters-and-the-orthogonality-relations",
      "title": "Characters and the orthogonality relations",
      "source": "src/RT-FIN-02.md",
      "sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0",
      "dependencies": [
        "representations-and-complete-reducibility"
      ],
      "owner_source_sha256": "3AD76F6D79AB4ECB1BE20BDBB40B3466F28E6565DDD3973EA8034858B57892B8",
      "reader": "characters-and-the-orthogonality-relations.html",
      "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A",
      "integration_contribution": {
        "model": "GPT-6 Astra (OpenAI)",
        "reasoning_effort": "Ultra",
        "scope": "Full trace/projection, split-annihilator and orbit-stabilizer proofs; exact finite-order/roots-of-unity provider; free character-theory source comparisons.",
        "self_checked": true,
        "independent_human_review": false,
        "provider_paths": [
          "representations-and-complete-reducibility.html",
          "../../human/linear-algebra-bridges/finite-hermitian-spaces.html",
          "../../human/elementary-analysis/complex-exponential-and-the-circle.html"
        ]
      }
    },
    {
      "id": "the-group-algebra-and-fourier-analysis-on-a-finite-group",
      "title": "The group algebra and Fourier analysis on a finite group",
      "source": "src/RT-FIN-03.md",
      "sha256": "58b31d5041b667de4b42957042c243359a3abc22784b1e5d935cdde3d7328094",
      "dependencies": [
        "characters-and-the-orthogonality-relations"
      ],
      "owner_source_sha256": "548DD8D92C19E4F59F55AE2C9DBFD933D7F84852382F8D2AD2DF1BE2B17844D3",
      "reader": "the-group-algebra-and-fourier-analysis-on-a-finite-group.html",
      "reader_sha256": "52c24c205aa2d946a74b2440d95c47a25cffb5a6c6f513493d2a89523400ce60"
    },
    {
      "id": "tensor-products-duals-and-real-representations",
      "title": "Tensor products, duals and real representations",
      "source": "src/RT-FIN-04.md",
      "sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6",
      "dependencies": [
        "characters-and-the-orthogonality-relations",
        "the-group-algebra-and-fourier-analysis-on-a-finite-group"
      ],
      "owner_source_sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6",
      "reader": "tensor-products-duals-and-real-representations.html",
      "reader_sha256": "F41406BF35139097A57D3066B46EC699B565C1FCB1150B7C24C19BB637215F49"
    },
    {
      "id": "integrality-of-characters-and-burnsides-theorem",
      "title": "Integrality of characters and Burnside's \\(p^a q^b\\) theorem",
      "source": "src/RT-FIN-05.md",
      "sha256": "aa9c0ab812f335d71f92ada3f1ffc5ca69c9a206dfe8e8d4a70b13733264d9eb",
      "dependencies": [
        "the-group-algebra-and-fourier-analysis-on-a-finite-group",
        "tensor-products-duals-and-real-representations"
      ],
      "owner_source_sha256": "5F590186B2E2B9AB7C65558F82E2968C4E7F1628BC5500D8F38175C9C72D24D0",
      "reader": "integrality-of-characters-and-burnsides-theorem.html",
      "reader_sha256": "8d59a001643da513c535030850205dff84a5d07706c835309530f36630e49af0"
    },
    {
      "id": "induced-representations-and-frobenius-reciprocity",
      "title": "Induced representations and Frobenius reciprocity",
      "source": "src/RT-FIN-06.md",
      "sha256": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD",
      "dependencies": [
        "characters-and-the-orthogonality-relations",
        "tensor-products-duals-and-real-representations"
      ],
      "owner_source_sha256": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD",
      "reader": "induced-representations-and-frobenius-reciprocity.html",
      "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0"
    },
    {
      "id": "mackey-theory-and-cliffords-theorem",
      "title": "Mackey theory and Clifford's theorem",
      "source": "src/RT-FIN-07.md",
      "sha256": "a607c599123415dc1526fa26018922c8bdc19f06606ba1b80f213492dddc73ea",
      "dependencies": [
        "induced-representations-and-frobenius-reciprocity",
        "integrality-of-characters-and-burnsides-theorem"
      ],
      "owner_source_sha256": "A7D857075598F96B6258796133C7C13021D23D6A5DCA41915428315AA38567C9",
      "reader": "mackey-theory-and-cliffords-theorem.html",
      "reader_sha256": "afa3ca1fe53239c26bb8584952978758d27b70345488b7363bb9e2ed4396f529"
    },
    {
      "id": "groups-with-an-abelian-normal-subgroup-the-little-group-method",
      "title": "Groups with an abelian normal subgroup: the little-group method",
      "source": "src/RT-FIN-08.md",
      "sha256": "6165D86B5579B2DEBD22F9D69F9EFD4EA91839B20DE56B6004C46A659B27CCA6",
      "dependencies": [
        "mackey-theory-and-cliffords-theorem"
      ],
      "owner_source_sha256": "6165D86B5579B2DEBD22F9D69F9EFD4EA91839B20DE56B6004C46A659B27CCA6",
      "reader": "groups-with-an-abelian-normal-subgroup-the-little-group-method.html",
      "reader_sha256": "7F20C1A9ED3A5A1E5BC20C2A255D157E16808EAF26490D08D325B4845E7A603F"
    },
    {
      "id": "frobenius-groups-and-frobeniuss-theorem",
      "title": "Frobenius groups and Frobenius's theorem",
      "source": "src/RT-FIN-09.md",
      "sha256": "b05c42ed25b9688ac68e2e66077abfff174389436f7395705971992c1028cef6",
      "dependencies": [
        "characters-and-the-orthogonality-relations",
        "induced-representations-and-frobenius-reciprocity",
        "mackey-theory-and-cliffords-theorem",
        "groups-with-an-abelian-normal-subgroup-the-little-group-method"
      ],
      "owner_source_sha256": "6AE8D3AFA42C5B03174AD94725B899A575F8650383681D252B66989F6FD051D1",
      "reader": "frobenius-groups-and-frobeniuss-theorem.html",
      "reader_sha256": "72b5b9fdd966161af5b3a6566dced4965090292905efdc8107977f233a0699bd"
    },
    {
      "id": "artins-induction-theorem-and-rationality",
      "title": "Artin's induction theorem and rationality",
      "source": "src/RT-FIN-10.md",
      "sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3",
      "dependencies": [
        "representations-and-complete-reducibility",
        "characters-and-the-orthogonality-relations",
        "the-group-algebra-and-fourier-analysis-on-a-finite-group",
        "tensor-products-duals-and-real-representations",
        "integrality-of-characters-and-burnsides-theorem",
        "induced-representations-and-frobenius-reciprocity"
      ],
      "owner_source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3",
      "reader": "artins-induction-theorem-and-rationality.html",
      "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008"
    },
    {
      "id": "brauers-induction-theorem",
      "title": "Brauer's induction theorem",
      "source": "src/RT-FIN-11.md",
      "sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF",
      "dependencies": [
        "representations-and-complete-reducibility",
        "characters-and-the-orthogonality-relations",
        "integrality-of-characters-and-burnsides-theorem",
        "induced-representations-and-frobenius-reciprocity",
        "mackey-theory-and-cliffords-theorem",
        "artins-induction-theorem-and-rationality"
      ],
      "owner_source_sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF",
      "reader": "brauers-induction-theorem.html",
      "reader_sha256": "0A2C9D35AF369E46FE1C701399807B32AE8CA993A48F09B1D496B30E89D03086"
    },
    {
      "id": "character-criteria-and-splitting-fields",
      "title": "Consequences of Brauer's theorem: characterization of characters and splitting fields",
      "source": "src/RT-FIN-12.md",
      "sha256": "54CB3881B34AE3243E82537BA7BFB7BE54A7D60068DF136AB011350B4F49272F",
      "dependencies": [
        "representations-and-complete-reducibility",
        "characters-and-the-orthogonality-relations",
        "induced-representations-and-frobenius-reciprocity",
        "artins-induction-theorem-and-rationality",
        "brauers-induction-theorem"
      ],
      "owner_source_sha256": "54CB3881B34AE3243E82537BA7BFB7BE54A7D60068DF136AB011350B4F49272F",
      "reader": "character-criteria-and-splitting-fields.html",
      "reader_sha256": "FD1C816FEF405981E0EA281558607F42A1B5E95C9B60E12A2B5F672914DD6A4E"
    },
    {
      "id": "young-tableaux-and-young-symmetrizers",
      "title": "The symmetric groups I: Young tableaux and Young symmetrizers",
      "source": "src/RT-FIN-13.md",
      "sha256": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B",
      "dependencies": [
        "representations-and-complete-reducibility",
        "characters-and-the-orthogonality-relations",
        "the-group-algebra-and-fourier-analysis-on-a-finite-group",
        "tensor-products-duals-and-real-representations",
        "integrality-of-characters-and-burnsides-theorem",
        "character-criteria-and-splitting-fields"
      ],
      "owner_source_sha256": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B",
      "reader": "young-tableaux-and-young-symmetrizers.html",
      "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A"
    },
    {
      "id": "branching-jucys-murphy-elements-and-youngs-seminormal-form",
      "title": "The symmetric groups II: branching, Jucys–Murphy elements and Young's seminormal form",
      "source": "src/RT-FIN-14.md",
      "sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE",
      "dependencies": [
        "the-group-algebra-and-fourier-analysis-on-a-finite-group",
        "young-tableaux-and-young-symmetrizers"
      ],
      "owner_source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE",
      "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html",
      "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42"
    },
    {
      "id": "characters-of-symmetric-groups-and-symmetric-functions",
      "title": "The symmetric groups III: characters and symmetric functions",
      "source": "src/RT-FIN-15.md",
      "sha256": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E",
      "dependencies": [
        "characters-and-the-orthogonality-relations",
        "induced-representations-and-frobenius-reciprocity",
        "young-tableaux-and-young-symmetrizers",
        "branching-jucys-murphy-elements-and-youngs-seminormal-form"
      ],
      "owner_source_sha256": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E",
      "reader": "characters-of-symmetric-groups-and-symmetric-functions.html",
      "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A"
    },
    {
      "id": "schur-weyl-duality",
      "title": "Schur–Weyl duality",
      "source": "src/RT-FIN-16.md",
      "sha256": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713",
      "dependencies": [
        "representations-and-complete-reducibility",
        "characters-and-the-orthogonality-relations",
        "young-tableaux-and-young-symmetrizers",
        "branching-jucys-murphy-elements-and-youngs-seminormal-form",
        "characters-of-symmetric-groups-and-symmetric-functions"
      ],
      "owner_source_sha256": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713",
      "reader": "schur-weyl-duality.html",
      "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D"
    },
    {
      "id": "representations-of-gl2-over-finite-fields",
      "title": "Representations of GL₂ over finite fields",
      "source": "src/RT-FIN-17.md",
      "sha256": "73d6b5f663131298076d9b9e6257247cdb975c98bc3430bcc2304e7c6db9ec7d",
      "dependencies": [
        "characters-and-the-orthogonality-relations",
        "tensor-products-duals-and-real-representations",
        "induced-representations-and-frobenius-reciprocity",
        "mackey-theory-and-cliffords-theorem"
      ],
      "owner_source_sha256": "E0A90A19BA1AD2E71DB2635586B0F0E48070C69E6639F9A50330D8B9EA08964C",
      "reader": "representations-of-gl2-over-finite-fields.html",
      "reader_sha256": "6ce893e2cfa1ee7f71e441cc06cfea2560f4c6e907f53a8395915e7cb461f6c8"
    }
  ],
  "planned_lesson_count": 17,
  "author": {
    "model": "GPT-6.1 Sol (OpenAI)",
    "reasoning_effort": "Ultra",
    "environment": "Codex",
    "checking": "Author self-check; independent review has only the separately recorded limited scopes."
  },
  "license": {
    "spdx": "CC0-1.0",
    "scope": "Independently authored text and course code. The explicitly credited kernel-expansion component of Lesson 15 is CC-BY-4.0. Cited works and MathJax assets retain their own terms."
  },
  "component_licenses": [
    {
      "lesson": "RT-FIN-15",
      "location": "Lemma 1.2, first proof paragraph and its displayed series",
      "spdx": "CC-BY-4.0",
      "credit": "Darij Grinberg and Victor Reiner; adaptation by GPT-6.1 Sol (OpenAI), Ultra, Codex",
      "source": "https://www.cip.ifi.lmu.de/~grinberg/algebra/HopfComb.pdf",
      "version": "July 27, 2020; minor corrections September 6, 2026",
      "locator": "Proposition 2.5.15 and its proof, pp. 64–66",
      "license_url": "https://creativecommons.org/licenses/by/4.0/"
    }
  ],
  "state": "complete",
  "edition": "2026-10-05",
  "proof_crosswalk": "proof-crosswalk.json",
  "current_source_repair": {
    "scope": "12 mailbox candidates resolved by owner proof/source comparison; sound mathematics preserved; exact earlier prerequisites supplied.",
    "checked_by": "GPT-6.1 Sol (OpenAI), Ultra, Codex",
    "independent_human_review": false
  }
}