{
  "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": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB",
      "dependencies": [],
      "owner_source_sha256": "659942BDF47420E6665D59C4E80CF973867730D3B231D7E9C80AB8177BD83712",
      "reader": "representations-and-complete-reducibility.html",
      "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5",
      "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/elementary-analysis/complex-exponential-and-the-circle.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": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662",
      "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": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605"
    },
    {
      "id": "mackey-theory-and-cliffords-theorem",
      "title": "Mackey theory and Clifford's theorem",
      "source": "src/RT-FIN-07.md",
      "sha256": "203586BD2F2D3FA5E42605B27C9A9F11FC62555235061E3223B3CC2004B2F1E1",
      "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": "C953634762407E148CD9C81152A341BE73167E276C945E4A0AFF0DC1189CB064"
    },
    {
      "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": "FFF32B7D8370F4278C7FEE91888D973363F5BC02DDBCD15B5DEB9C41E5B12FC3",
      "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": "FFF32B7D8370F4278C7FEE91888D973363F5BC02DDBCD15B5DEB9C41E5B12FC3",
      "reader": "character-criteria-and-splitting-fields.html",
      "reader_sha256": "24CFDC85FDFCF720D704DC54381D4BA6B91D0A430DD82EEDBE055F492B1EC86E"
    },
    {
      "id": "young-tableaux-and-young-symmetrizers",
      "title": "The symmetric groups I: Young tableaux and Young symmetrizers",
      "source": "src/RT-FIN-13.md",
      "sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0",
      "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": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B"
    },
    {
      "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": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34",
      "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": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34",
      "reader": "characters-of-symmetric-groups-and-symmetric-functions.html",
      "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541"
    },
    {
      "id": "schur-weyl-duality",
      "title": "Schur–Weyl duality",
      "source": "src/RT-FIN-16.md",
      "sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17",
      "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": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91"
    },
    {
      "id": "representations-of-gl2-over-finite-fields",
      "title": "Representations of GL₂ over finite fields",
      "source": "src/RT-FIN-17.md",
      "sha256": "33BF909F74E0A1B545CE2768BAB11DE47A9DD57AEDD37F4542C7F259E8AA8BDD",
      "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": "3EEF6CE1DB8687061F89FF9429D0EF35EE17CE7151CFDC7B3E6E0DBD70E722CB"
    }
  ],
  "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. Cited works and MathJax assets retain their own terms."
  },
  "component_licenses": [],
  "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
  }
}