{ "schema": "rt-fin-proof-crosswalk/v1", "course": "RT-FIN", "base_url": "https://kokunoyumeto.github.io/open-math-courses/courses/RT-FIN/", "authorship": "GPT-6.1 Sol (OpenAI), Codex, Ultra; author self-check. This index is a locator, not an independent proof review.", "line_convention": "One-based lines of the exact SHA-256-bound UTF-8 Markdown. Argument-context spans continue to the next labelled result; separately structured proofs have additional routes.", "priority_providers": [ { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 2.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-2-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 140, "argument_context_lines": [ 140, 182 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A", "imports": [ { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.1", "reader": "representations-and-complete-reducibility.html#lemma-0-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 23, "argument_context_lines": [ 23, 30 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.2", "reader": "representations-and-complete-reducibility.html#lemma-0-2", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 31, "argument_context_lines": [ 31, 38 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Proposition 2.1", "reader": "representations-and-complete-reducibility.html#proposition-2-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 152, "argument_context_lines": [ 152, 180 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 2.3", "reader": "representations-and-complete-reducibility.html#theorem-2-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 3.1", "reader": "representations-and-complete-reducibility.html#theorem-3-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" } ] }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 3.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-3-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 221, "argument_context_lines": [ 221, 241 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A", "imports": [ { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.1", "reader": "representations-and-complete-reducibility.html#lemma-0-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 23, "argument_context_lines": [ 23, 30 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.2", "reader": "representations-and-complete-reducibility.html#lemma-0-2", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 31, "argument_context_lines": [ 31, 38 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Proposition 2.1", "reader": "representations-and-complete-reducibility.html#proposition-2-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 152, "argument_context_lines": [ 152, 180 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 2.3", "reader": "representations-and-complete-reducibility.html#theorem-2-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 3.1", "reader": "representations-and-complete-reducibility.html#theorem-3-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" } ] }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 4.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-4-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 287, "argument_context_lines": [ 287, 326 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A", "imports": [ { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.1", "reader": "representations-and-complete-reducibility.html#lemma-0-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 23, "argument_context_lines": [ 23, 30 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.2", "reader": "representations-and-complete-reducibility.html#lemma-0-2", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 31, "argument_context_lines": [ 31, 38 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Proposition 2.1", "reader": "representations-and-complete-reducibility.html#proposition-2-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 152, "argument_context_lines": [ 152, 180 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 2.3", "reader": "representations-and-complete-reducibility.html#theorem-2-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 3.1", "reader": "representations-and-complete-reducibility.html#theorem-3-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" } ] }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Corollary 4.2", "reader": "characters-and-the-orthogonality-relations.html#corollary-4-2", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 327, "argument_context_lines": [ 327, 543 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A", "imports": [ { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.1", "reader": "representations-and-complete-reducibility.html#lemma-0-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 23, "argument_context_lines": [ 23, 30 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.2", "reader": "representations-and-complete-reducibility.html#lemma-0-2", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 31, "argument_context_lines": [ 31, 38 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Proposition 2.1", "reader": "representations-and-complete-reducibility.html#proposition-2-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 152, "argument_context_lines": [ 152, 180 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 2.3", "reader": "representations-and-complete-reducibility.html#theorem-2-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 3.1", "reader": "representations-and-complete-reducibility.html#theorem-3-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" } ] }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Proposition 2.1", "reader": "induced-representations-and-frobenius-reciprocity.html#proposition-2-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 73, "argument_context_lines": [ 73, 118 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605", "imports": [ { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 2.3", "reader": "representations-and-complete-reducibility.html#theorem-2-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 3.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-3-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 221, "argument_context_lines": [ 221, 241 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-04", "unit": "tensor-products-duals-and-real-representations", "result": "Proposition 1.1", "reader": "tensor-products-duals-and-real-representations.html#proposition-1-1", "source": "src/RT-FIN-04.md", "source_sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6", "statement_line": 27, "argument_context_lines": [ 27, 76 ], "reader_sha256": "F41406BF35139097A57D3066B46EC699B565C1FCB1150B7C24C19BB637215F49" } ] }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Theorem 3.1", "reader": "induced-representations-and-frobenius-reciprocity.html#theorem-3-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 119, "argument_context_lines": [ 119, 206 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605", "imports": [ { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 2.3", "reader": "representations-and-complete-reducibility.html#theorem-2-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 3.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-3-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 221, "argument_context_lines": [ 221, 241 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-04", "unit": "tensor-products-duals-and-real-representations", "result": "Proposition 1.1", "reader": "tensor-products-duals-and-real-representations.html#proposition-1-1", "source": "src/RT-FIN-04.md", "source_sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6", "statement_line": 27, "argument_context_lines": [ 27, 76 ], "reader_sha256": "F41406BF35139097A57D3066B46EC699B565C1FCB1150B7C24C19BB637215F49" } ] }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Proposition 4.1", "reader": "induced-representations-and-frobenius-reciprocity.html#proposition-4-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 207, "argument_context_lines": [ 207, 270 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605", "imports": [ { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 2.3", "reader": "representations-and-complete-reducibility.html#theorem-2-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 3.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-3-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 221, "argument_context_lines": [ 221, 241 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-04", "unit": "tensor-products-duals-and-real-representations", "result": "Proposition 1.1", "reader": "tensor-products-duals-and-real-representations.html#proposition-1-1", "source": "src/RT-FIN-04.md", "source_sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6", "statement_line": 27, "argument_context_lines": [ 27, 76 ], "reader_sha256": "F41406BF35139097A57D3066B46EC699B565C1FCB1150B7C24C19BB637215F49" } ] }, { "lesson": "RT-FIN-11", "unit": "brauers-induction-theorem", "result": "Theorem 2.2", "reader": "brauers-induction-theorem.html#theorem-2-2", "source": "src/RT-FIN-11.md", "source_sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF", "statement_line": 100, "argument_context_lines": [ 100, 137 ], "proof_route": { "reader_sections": [ "3-character-values-modulo-one-prime", "4-an-elementary-subgroup-detects-every-evaluation" ], "source_lines": [ 109, 228 ], "uses": [ "Lemma 2.1", "Lemma 3.1", "Lemma 3.2" ] }, "reader_sha256": "0A2C9D35AF369E46FE1C701399807B32AE8CA993A48F09B1D496B30E89D03086", "imports": [ { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 2.3", "reader": "representations-and-complete-reducibility.html#theorem-2-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 3.1", "reader": "representations-and-complete-reducibility.html#theorem-3-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 3.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-3-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 221, "argument_context_lines": [ 221, 241 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 4.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-4-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 287, "argument_context_lines": [ 287, 326 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Lemma 1.1", "reader": "integrality-of-characters-and-burnsides-theorem.html#lemma-1-1", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 13, "argument_context_lines": [ 13, 34 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Lemma 4.2", "reader": "integrality-of-characters-and-burnsides-theorem.html#lemma-4-2", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 224, "argument_context_lines": [ 224, 243 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Theorem 3.1", "reader": "induced-representations-and-frobenius-reciprocity.html#theorem-3-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 119, "argument_context_lines": [ 119, 206 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605" }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Proposition 4.1", "reader": "induced-representations-and-frobenius-reciprocity.html#proposition-4-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 207, "argument_context_lines": [ 207, 270 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605" }, { "lesson": "RT-FIN-07", "unit": "mackey-theory-and-cliffords-theorem", "result": "Theorem 4.1", "reader": "mackey-theory-and-cliffords-theorem.html#theorem-4-1", "source": "src/RT-FIN-07.md", "source_sha256": "203586BD2F2D3FA5E42605B27C9A9F11FC62555235061E3223B3CC2004B2F1E1", "statement_line": 192, "argument_context_lines": [ 192, 248 ], "reader_sha256": "C953634762407E148CD9C81152A341BE73167E276C945E4A0AFF0DC1189CB064" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Lemma 1.1", "reader": "artins-induction-theorem-and-rationality.html#lemma-1-1", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 23, "argument_context_lines": [ 23, 74 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" } ] }, { "lesson": "RT-FIN-11", "unit": "brauers-induction-theorem", "result": "Theorem 5.1", "reader": "brauers-induction-theorem.html#theorem-5-1", "source": "src/RT-FIN-11.md", "source_sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF", "statement_line": 231, "argument_context_lines": [ 231, 378 ], "reader_sha256": "0A2C9D35AF369E46FE1C701399807B32AE8CA993A48F09B1D496B30E89D03086", "imports": [ { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 2.3", "reader": "representations-and-complete-reducibility.html#theorem-2-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 3.1", "reader": "representations-and-complete-reducibility.html#theorem-3-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 3.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-3-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 221, "argument_context_lines": [ 221, 241 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 4.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-4-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 287, "argument_context_lines": [ 287, 326 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Lemma 1.1", "reader": "integrality-of-characters-and-burnsides-theorem.html#lemma-1-1", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 13, "argument_context_lines": [ 13, 34 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Lemma 4.2", "reader": "integrality-of-characters-and-burnsides-theorem.html#lemma-4-2", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 224, "argument_context_lines": [ 224, 243 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Theorem 3.1", "reader": "induced-representations-and-frobenius-reciprocity.html#theorem-3-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 119, "argument_context_lines": [ 119, 206 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605" }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Proposition 4.1", "reader": "induced-representations-and-frobenius-reciprocity.html#proposition-4-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 207, "argument_context_lines": [ 207, 270 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605" }, { "lesson": "RT-FIN-07", "unit": "mackey-theory-and-cliffords-theorem", "result": "Theorem 4.1", "reader": "mackey-theory-and-cliffords-theorem.html#theorem-4-1", "source": "src/RT-FIN-07.md", "source_sha256": "203586BD2F2D3FA5E42605B27C9A9F11FC62555235061E3223B3CC2004B2F1E1", "statement_line": 192, "argument_context_lines": [ 192, 248 ], "reader_sha256": "C953634762407E148CD9C81152A341BE73167E276C945E4A0AFF0DC1189CB064" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Lemma 1.1", "reader": "artins-induction-theorem-and-rationality.html#lemma-1-1", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 23, "argument_context_lines": [ 23, 74 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" } ] } ], "results": [ { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.1", "reader": "representations-and-complete-reducibility.html#lemma-0-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 23, "argument_context_lines": [ 23, 30 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.2", "reader": "representations-and-complete-reducibility.html#lemma-0-2", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 31, "argument_context_lines": [ 31, 38 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 0.3", "reader": "representations-and-complete-reducibility.html#lemma-0-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 39, "argument_context_lines": [ 39, 151 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Proposition 2.1", "reader": "representations-and-complete-reducibility.html#proposition-2-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 152, "argument_context_lines": [ 152, 180 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 2.2", "reader": "representations-and-complete-reducibility.html#lemma-2-2", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 181, "argument_context_lines": [ 181, 192 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 2.3", "reader": "representations-and-complete-reducibility.html#theorem-2-3", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Lemma 2.4", "reader": "representations-and-complete-reducibility.html#lemma-2-4", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 217, "argument_context_lines": [ 217, 242 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Theorem 3.1", "reader": "representations-and-complete-reducibility.html#theorem-3-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Corollary 3.2", "reader": "representations-and-complete-reducibility.html#corollary-3-2", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 259, "argument_context_lines": [ 259, 296 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Corollary 4.1", "reader": "representations-and-complete-reducibility.html#corollary-4-1", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 297, "argument_context_lines": [ 297, 332 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-01", "unit": "representations-and-complete-reducibility", "result": "Proposition 4.2", "reader": "representations-and-complete-reducibility.html#proposition-4-2", "source": "src/RT-FIN-01.md", "source_sha256": "61062E424AD23BC8B14AA915B629D81BEDFE004D92E73BD8CFB942A2D156AECB", "statement_line": 333, "argument_context_lines": [ 333, 474 ], "reader_sha256": "E263B3A47F6A870868DF5E349725E15363D13447D07DA2CB23735DF9BBA477A5" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Lemma 0.1", "reader": "characters-and-the-orthogonality-relations.html#lemma-0-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 15, "argument_context_lines": [ 15, 27 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Lemma 0.2", "reader": "characters-and-the-orthogonality-relations.html#lemma-0-2", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 28, "argument_context_lines": [ 28, 45 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Corollary 0.3", "reader": "characters-and-the-orthogonality-relations.html#corollary-0-3", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 46, "argument_context_lines": [ 46, 60 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Lemma 0.4", "reader": "characters-and-the-orthogonality-relations.html#lemma-0-4", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 61, "argument_context_lines": [ 61, 84 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Proposition 1.1", "reader": "characters-and-the-orthogonality-relations.html#proposition-1-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 85, "argument_context_lines": [ 85, 139 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 2.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-2-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 140, "argument_context_lines": [ 140, 182 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Corollary 2.2", "reader": "characters-and-the-orthogonality-relations.html#corollary-2-2", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 183, "argument_context_lines": [ 183, 193 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Proposition 2.3", "reader": "characters-and-the-orthogonality-relations.html#proposition-2-3", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 194, "argument_context_lines": [ 194, 220 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 3.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-3-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 221, "argument_context_lines": [ 221, 241 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 3.2", "reader": "characters-and-the-orthogonality-relations.html#theorem-3-2", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 242, "argument_context_lines": [ 242, 261 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Proposition 3.3", "reader": "characters-and-the-orthogonality-relations.html#proposition-3-3", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 262, "argument_context_lines": [ 262, 286 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 4.1", "reader": "characters-and-the-orthogonality-relations.html#theorem-4-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 287, "argument_context_lines": [ 287, 326 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Corollary 4.2", "reader": "characters-and-the-orthogonality-relations.html#corollary-4-2", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 327, "argument_context_lines": [ 327, 543 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Proposition 6.1", "reader": "characters-and-the-orthogonality-relations.html#proposition-6-1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 544, "argument_context_lines": [ 544, 554 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 6.2", "reader": "characters-and-the-orthogonality-relations.html#theorem-6-2", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 555, "argument_context_lines": [ 555, 560 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-02", "unit": "characters-and-the-orthogonality-relations", "result": "Theorem 6.3", "reader": "characters-and-the-orthogonality-relations.html#theorem-6-3", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "statement_line": 561, "argument_context_lines": [ 561, 650 ], "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A" }, { "lesson": "RT-FIN-03", "unit": "the-group-algebra-and-fourier-analysis-on-a-finite-group", "result": "Theorem 1.1", "reader": "the-group-algebra-and-fourier-analysis-on-a-finite-group.html#theorem-1-1", "source": "src/RT-FIN-03.md", "source_sha256": "58B31D5041B667DE4B42957042C243359A3ABC22784B1E5D935CDDE3D7328094", "statement_line": 26, "argument_context_lines": [ 26, 66 ], "reader_sha256": "52C24C205AA2D946A74B2440D95C47A25CFFB5A6C6F513493D2A89523400CE60" }, { "lesson": "RT-FIN-03", "unit": "the-group-algebra-and-fourier-analysis-on-a-finite-group", "result": "Proposition 1.2", "reader": "the-group-algebra-and-fourier-analysis-on-a-finite-group.html#proposition-1-2", "source": "src/RT-FIN-03.md", "source_sha256": "58B31D5041B667DE4B42957042C243359A3ABC22784B1E5D935CDDE3D7328094", "statement_line": 67, "argument_context_lines": [ 67, 98 ], "reader_sha256": "52C24C205AA2D946A74B2440D95C47A25CFFB5A6C6F513493D2A89523400CE60" }, { "lesson": "RT-FIN-03", "unit": "the-group-algebra-and-fourier-analysis-on-a-finite-group", "result": "Proposition 1.3", "reader": "the-group-algebra-and-fourier-analysis-on-a-finite-group.html#proposition-1-3", "source": "src/RT-FIN-03.md", "source_sha256": "58B31D5041B667DE4B42957042C243359A3ABC22784B1E5D935CDDE3D7328094", "statement_line": 99, "argument_context_lines": [ 99, 170 ], "reader_sha256": "52C24C205AA2D946A74B2440D95C47A25CFFB5A6C6F513493D2A89523400CE60" }, { "lesson": "RT-FIN-03", "unit": "the-group-algebra-and-fourier-analysis-on-a-finite-group", "result": "Theorem 3.1", "reader": "the-group-algebra-and-fourier-analysis-on-a-finite-group.html#theorem-3-1", "source": "src/RT-FIN-03.md", "source_sha256": "58B31D5041B667DE4B42957042C243359A3ABC22784B1E5D935CDDE3D7328094", "statement_line": 171, "argument_context_lines": [ 171, 198 ], "reader_sha256": "52C24C205AA2D946A74B2440D95C47A25CFFB5A6C6F513493D2A89523400CE60" }, { "lesson": "RT-FIN-03", "unit": "the-group-algebra-and-fourier-analysis-on-a-finite-group", "result": "Proposition 3.2", "reader": "the-group-algebra-and-fourier-analysis-on-a-finite-group.html#proposition-3-2", "source": "src/RT-FIN-03.md", "source_sha256": "58B31D5041B667DE4B42957042C243359A3ABC22784B1E5D935CDDE3D7328094", "statement_line": 199, "argument_context_lines": [ 199, 228 ], "reader_sha256": "52C24C205AA2D946A74B2440D95C47A25CFFB5A6C6F513493D2A89523400CE60" }, { "lesson": "RT-FIN-03", "unit": "the-group-algebra-and-fourier-analysis-on-a-finite-group", "result": "Theorem 4.1", "reader": "the-group-algebra-and-fourier-analysis-on-a-finite-group.html#theorem-4-1", "source": "src/RT-FIN-03.md", "source_sha256": "58B31D5041B667DE4B42957042C243359A3ABC22784B1E5D935CDDE3D7328094", "statement_line": 229, "argument_context_lines": [ 229, 251 ], "reader_sha256": "52C24C205AA2D946A74B2440D95C47A25CFFB5A6C6F513493D2A89523400CE60" }, { "lesson": "RT-FIN-03", "unit": "the-group-algebra-and-fourier-analysis-on-a-finite-group", "result": "Theorem 4.2", "reader": "the-group-algebra-and-fourier-analysis-on-a-finite-group.html#theorem-4-2", "source": "src/RT-FIN-03.md", "source_sha256": "58B31D5041B667DE4B42957042C243359A3ABC22784B1E5D935CDDE3D7328094", "statement_line": 252, "argument_context_lines": [ 252, 407 ], "reader_sha256": "52C24C205AA2D946A74B2440D95C47A25CFFB5A6C6F513493D2A89523400CE60" }, { "lesson": "RT-FIN-03", "unit": "the-group-algebra-and-fourier-analysis-on-a-finite-group", "result": "Lemma 6.1", "reader": "the-group-algebra-and-fourier-analysis-on-a-finite-group.html#lemma-6-1", "source": "src/RT-FIN-03.md", "source_sha256": "58B31D5041B667DE4B42957042C243359A3ABC22784B1E5D935CDDE3D7328094", "statement_line": 408, "argument_context_lines": [ 408, 415 ], "reader_sha256": "52C24C205AA2D946A74B2440D95C47A25CFFB5A6C6F513493D2A89523400CE60" }, { "lesson": "RT-FIN-03", "unit": "the-group-algebra-and-fourier-analysis-on-a-finite-group", "result": "Lemma 6.2", "reader": "the-group-algebra-and-fourier-analysis-on-a-finite-group.html#lemma-6-2", "source": "src/RT-FIN-03.md", "source_sha256": "58B31D5041B667DE4B42957042C243359A3ABC22784B1E5D935CDDE3D7328094", "statement_line": 416, "argument_context_lines": [ 416, 442 ], "reader_sha256": "52C24C205AA2D946A74B2440D95C47A25CFFB5A6C6F513493D2A89523400CE60" }, { "lesson": "RT-FIN-04", "unit": "tensor-products-duals-and-real-representations", "result": "Proposition 1.1", "reader": "tensor-products-duals-and-real-representations.html#proposition-1-1", "source": "src/RT-FIN-04.md", "source_sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6", "statement_line": 27, "argument_context_lines": [ 27, 76 ], "reader_sha256": "F41406BF35139097A57D3066B46EC699B565C1FCB1150B7C24C19BB637215F49" }, { "lesson": "RT-FIN-04", "unit": "tensor-products-duals-and-real-representations", "result": "Theorem 2.1", "reader": "tensor-products-duals-and-real-representations.html#theorem-2-1", "source": "src/RT-FIN-04.md", "source_sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6", "statement_line": 77, "argument_context_lines": [ 77, 107 ], "reader_sha256": "F41406BF35139097A57D3066B46EC699B565C1FCB1150B7C24C19BB637215F49" }, { "lesson": "RT-FIN-04", "unit": "tensor-products-duals-and-real-representations", "result": "Theorem 3.1", "reader": "tensor-products-duals-and-real-representations.html#theorem-3-1", "source": "src/RT-FIN-04.md", "source_sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6", "statement_line": 108, "argument_context_lines": [ 108, 161 ], "reader_sha256": "F41406BF35139097A57D3066B46EC699B565C1FCB1150B7C24C19BB637215F49" }, { "lesson": "RT-FIN-04", "unit": "tensor-products-duals-and-real-representations", "result": "Proposition 3.2", "reader": "tensor-products-duals-and-real-representations.html#proposition-3-2", "source": "src/RT-FIN-04.md", "source_sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6", "statement_line": 162, "argument_context_lines": [ 162, 203 ], "reader_sha256": "F41406BF35139097A57D3066B46EC699B565C1FCB1150B7C24C19BB637215F49" }, { "lesson": "RT-FIN-04", "unit": "tensor-products-duals-and-real-representations", "result": "Theorem 4.1", "reader": "tensor-products-duals-and-real-representations.html#theorem-4-1", "source": "src/RT-FIN-04.md", "source_sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6", "statement_line": 204, "argument_context_lines": [ 204, 238 ], "reader_sha256": "F41406BF35139097A57D3066B46EC699B565C1FCB1150B7C24C19BB637215F49" }, { "lesson": "RT-FIN-04", "unit": "tensor-products-duals-and-real-representations", "result": "Theorem 5.1", "reader": "tensor-products-duals-and-real-representations.html#theorem-5-1", "source": "src/RT-FIN-04.md", "source_sha256": "727A564AC7F811AF120FBDD3E6AB0DD75C0FF228769CE33C375A81D20987F7F6", "statement_line": 239, "argument_context_lines": [ 239, 441 ], "reader_sha256": "F41406BF35139097A57D3066B46EC699B565C1FCB1150B7C24C19BB637215F49" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Lemma 1.1", "reader": "integrality-of-characters-and-burnsides-theorem.html#lemma-1-1", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 13, "argument_context_lines": [ 13, 34 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Lemma 1.2", "reader": "integrality-of-characters-and-burnsides-theorem.html#lemma-1-2", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 35, "argument_context_lines": [ 35, 62 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Proposition 2.1", "reader": "integrality-of-characters-and-burnsides-theorem.html#proposition-2-1", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 63, "argument_context_lines": [ 63, 79 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Theorem 2.2", "reader": "integrality-of-characters-and-burnsides-theorem.html#theorem-2-2", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 80, "argument_context_lines": [ 80, 142 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Lemma 3.1", "reader": "integrality-of-characters-and-burnsides-theorem.html#lemma-3-1", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 143, "argument_context_lines": [ 143, 169 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Lemma 3.2", "reader": "integrality-of-characters-and-burnsides-theorem.html#lemma-3-2", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 170, "argument_context_lines": [ 170, 194 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Theorem 4.1", "reader": "integrality-of-characters-and-burnsides-theorem.html#theorem-4-1", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 195, "argument_context_lines": [ 195, 223 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Lemma 4.2", "reader": "integrality-of-characters-and-burnsides-theorem.html#lemma-4-2", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 224, "argument_context_lines": [ 224, 243 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Lemma 5.1", "reader": "integrality-of-characters-and-burnsides-theorem.html#lemma-5-1", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 244, "argument_context_lines": [ 244, 255 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-05", "unit": "integrality-of-characters-and-burnsides-theorem", "result": "Theorem 5.2", "reader": "integrality-of-characters-and-burnsides-theorem.html#theorem-5-2", "source": "src/RT-FIN-05.md", "source_sha256": "AA9C0AB812F335D71F92ADA3F1FFC5CA69C9A206DFE8E8D4A70B13733264D9EB", "statement_line": 256, "argument_context_lines": [ 256, 402 ], "reader_sha256": "8D59A001643DA513C535030850205DFF84A5D07706C835309530F36630E49AF0" }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Proposition 2.1", "reader": "induced-representations-and-frobenius-reciprocity.html#proposition-2-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 73, "argument_context_lines": [ 73, 118 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605" }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Theorem 3.1", "reader": "induced-representations-and-frobenius-reciprocity.html#theorem-3-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 119, "argument_context_lines": [ 119, 206 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605" }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Proposition 4.1", "reader": "induced-representations-and-frobenius-reciprocity.html#proposition-4-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 207, "argument_context_lines": [ 207, 270 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605" }, { "lesson": "RT-FIN-06", "unit": "induced-representations-and-frobenius-reciprocity", "result": "Corollary 5.1", "reader": "induced-representations-and-frobenius-reciprocity.html#corollary-5-1", "source": "src/RT-FIN-06.md", "source_sha256": "392EBD50FB9F51CCE800DA13897F7964B774E39B16F45E1C4798094A48F3C662", "statement_line": 271, "argument_context_lines": [ 271, 467 ], "reader_sha256": "9232389041E801D831641F49DDA9DD81A2C333674BA1661301E21167B533C605" }, { "lesson": "RT-FIN-07", "unit": "mackey-theory-and-cliffords-theorem", "result": "Theorem 1.1", "reader": "mackey-theory-and-cliffords-theorem.html#theorem-1-1", "source": "src/RT-FIN-07.md", "source_sha256": "203586BD2F2D3FA5E42605B27C9A9F11FC62555235061E3223B3CC2004B2F1E1", "statement_line": 33, "argument_context_lines": [ 33, 81 ], "reader_sha256": "C953634762407E148CD9C81152A341BE73167E276C945E4A0AFF0DC1189CB064" }, { "lesson": "RT-FIN-07", "unit": "mackey-theory-and-cliffords-theorem", "result": "Corollary 1.2", "reader": "mackey-theory-and-cliffords-theorem.html#corollary-1-2", "source": "src/RT-FIN-07.md", "source_sha256": "203586BD2F2D3FA5E42605B27C9A9F11FC62555235061E3223B3CC2004B2F1E1", "statement_line": 82, "argument_context_lines": [ 82, 104 ], "reader_sha256": "C953634762407E148CD9C81152A341BE73167E276C945E4A0AFF0DC1189CB064" }, { "lesson": "RT-FIN-07", "unit": "mackey-theory-and-cliffords-theorem", "result": "Theorem 2.1", "reader": "mackey-theory-and-cliffords-theorem.html#theorem-2-1", "source": "src/RT-FIN-07.md", "source_sha256": "203586BD2F2D3FA5E42605B27C9A9F11FC62555235061E3223B3CC2004B2F1E1", "statement_line": 105, "argument_context_lines": [ 105, 125 ], "reader_sha256": "C953634762407E148CD9C81152A341BE73167E276C945E4A0AFF0DC1189CB064" }, { "lesson": "RT-FIN-07", "unit": "mackey-theory-and-cliffords-theorem", "result": "Corollary 2.2", "reader": "mackey-theory-and-cliffords-theorem.html#corollary-2-2", "source": "src/RT-FIN-07.md", "source_sha256": "203586BD2F2D3FA5E42605B27C9A9F11FC62555235061E3223B3CC2004B2F1E1", "statement_line": 126, "argument_context_lines": [ 126, 154 ], "reader_sha256": "C953634762407E148CD9C81152A341BE73167E276C945E4A0AFF0DC1189CB064" }, { "lesson": "RT-FIN-07", "unit": "mackey-theory-and-cliffords-theorem", "result": "Theorem 3.1", "reader": "mackey-theory-and-cliffords-theorem.html#theorem-3-1", "source": "src/RT-FIN-07.md", "source_sha256": "203586BD2F2D3FA5E42605B27C9A9F11FC62555235061E3223B3CC2004B2F1E1", "statement_line": 155, "argument_context_lines": [ 155, 191 ], "reader_sha256": "C953634762407E148CD9C81152A341BE73167E276C945E4A0AFF0DC1189CB064" }, { "lesson": "RT-FIN-07", "unit": "mackey-theory-and-cliffords-theorem", "result": "Theorem 4.1", "reader": "mackey-theory-and-cliffords-theorem.html#theorem-4-1", "source": "src/RT-FIN-07.md", "source_sha256": "203586BD2F2D3FA5E42605B27C9A9F11FC62555235061E3223B3CC2004B2F1E1", "statement_line": 192, "argument_context_lines": [ 192, 248 ], "reader_sha256": "C953634762407E148CD9C81152A341BE73167E276C945E4A0AFF0DC1189CB064" }, { "lesson": "RT-FIN-07", "unit": "mackey-theory-and-cliffords-theorem", "result": "Theorem 5.1", "reader": "mackey-theory-and-cliffords-theorem.html#theorem-5-1", "source": "src/RT-FIN-07.md", "source_sha256": "203586BD2F2D3FA5E42605B27C9A9F11FC62555235061E3223B3CC2004B2F1E1", "statement_line": 249, "argument_context_lines": [ 249, 443 ], "reader_sha256": "C953634762407E148CD9C81152A341BE73167E276C945E4A0AFF0DC1189CB064" }, { "lesson": "RT-FIN-08", "unit": "groups-with-an-abelian-normal-subgroup-the-little-group-method", "result": "Lemma 1.1", "reader": "groups-with-an-abelian-normal-subgroup-the-little-group-method.html#lemma-1-1", "source": "src/RT-FIN-08.md", "source_sha256": "6165D86B5579B2DEBD22F9D69F9EFD4EA91839B20DE56B6004C46A659B27CCA6", "statement_line": 50, "argument_context_lines": [ 50, 80 ], "reader_sha256": "7F20C1A9ED3A5A1E5BC20C2A255D157E16808EAF26490D08D325B4845E7A603F" }, { "lesson": "RT-FIN-08", "unit": "groups-with-an-abelian-normal-subgroup-the-little-group-method", "result": "Lemma 1.2", "reader": "groups-with-an-abelian-normal-subgroup-the-little-group-method.html#lemma-1-2", "source": "src/RT-FIN-08.md", "source_sha256": "6165D86B5579B2DEBD22F9D69F9EFD4EA91839B20DE56B6004C46A659B27CCA6", "statement_line": 81, "argument_context_lines": [ 81, 95 ], "reader_sha256": "7F20C1A9ED3A5A1E5BC20C2A255D157E16808EAF26490D08D325B4845E7A603F" }, { "lesson": "RT-FIN-08", "unit": "groups-with-an-abelian-normal-subgroup-the-little-group-method", "result": "Theorem 2.1", "reader": "groups-with-an-abelian-normal-subgroup-the-little-group-method.html#theorem-2-1", "source": "src/RT-FIN-08.md", "source_sha256": "6165D86B5579B2DEBD22F9D69F9EFD4EA91839B20DE56B6004C46A659B27CCA6", "statement_line": 96, "argument_context_lines": [ 96, 218 ], "reader_sha256": "7F20C1A9ED3A5A1E5BC20C2A255D157E16808EAF26490D08D325B4845E7A603F" }, { "lesson": "RT-FIN-08", "unit": "groups-with-an-abelian-normal-subgroup-the-little-group-method", "result": "Proposition 4.1", "reader": "groups-with-an-abelian-normal-subgroup-the-little-group-method.html#proposition-4-1", "source": "src/RT-FIN-08.md", "source_sha256": "6165D86B5579B2DEBD22F9D69F9EFD4EA91839B20DE56B6004C46A659B27CCA6", "statement_line": 219, "argument_context_lines": [ 219, 380 ], "reader_sha256": "7F20C1A9ED3A5A1E5BC20C2A255D157E16808EAF26490D08D325B4845E7A603F" }, { "lesson": "RT-FIN-08", "unit": "groups-with-an-abelian-normal-subgroup-the-little-group-method", "result": "Theorem 6.1", "reader": "groups-with-an-abelian-normal-subgroup-the-little-group-method.html#theorem-6-1", "source": "src/RT-FIN-08.md", "source_sha256": "6165D86B5579B2DEBD22F9D69F9EFD4EA91839B20DE56B6004C46A659B27CCA6", "statement_line": 381, "argument_context_lines": [ 381, 459 ], "reader_sha256": "7F20C1A9ED3A5A1E5BC20C2A255D157E16808EAF26490D08D325B4845E7A603F" }, { "lesson": "RT-FIN-09", "unit": "frobenius-groups-and-frobeniuss-theorem", "result": "Lemma 2.1", "reader": "frobenius-groups-and-frobeniuss-theorem.html#lemma-2-1", "source": "src/RT-FIN-09.md", "source_sha256": "B05C42ED25B9688AC68E2E66077ABFFF174389436F7395705971992C1028CEF6", "statement_line": 74, "argument_context_lines": [ 74, 111 ], "reader_sha256": "72B5B9FDD966161AF5B3A6566DCED4965090292905EFDC8107977F233A0699BD" }, { "lesson": "RT-FIN-09", "unit": "frobenius-groups-and-frobeniuss-theorem", "result": "Proposition 3.1", "reader": "frobenius-groups-and-frobeniuss-theorem.html#proposition-3-1", "source": "src/RT-FIN-09.md", "source_sha256": "B05C42ED25B9688AC68E2E66077ABFFF174389436F7395705971992C1028CEF6", "statement_line": 112, "argument_context_lines": [ 112, 154 ], "reader_sha256": "72B5B9FDD966161AF5B3A6566DCED4965090292905EFDC8107977F233A0699BD" }, { "lesson": "RT-FIN-09", "unit": "frobenius-groups-and-frobeniuss-theorem", "result": "Theorem 3.2", "reader": "frobenius-groups-and-frobeniuss-theorem.html#theorem-3-2", "source": "src/RT-FIN-09.md", "source_sha256": "B05C42ED25B9688AC68E2E66077ABFFF174389436F7395705971992C1028CEF6", "statement_line": 155, "argument_context_lines": [ 155, 189 ], "reader_sha256": "72B5B9FDD966161AF5B3A6566DCED4965090292905EFDC8107977F233A0699BD" }, { "lesson": "RT-FIN-09", "unit": "frobenius-groups-and-frobeniuss-theorem", "result": "Proposition 4.1", "reader": "frobenius-groups-and-frobeniuss-theorem.html#proposition-4-1", "source": "src/RT-FIN-09.md", "source_sha256": "B05C42ED25B9688AC68E2E66077ABFFF174389436F7395705971992C1028CEF6", "statement_line": 190, "argument_context_lines": [ 190, 213 ], "reader_sha256": "72B5B9FDD966161AF5B3A6566DCED4965090292905EFDC8107977F233A0699BD" }, { "lesson": "RT-FIN-09", "unit": "frobenius-groups-and-frobeniuss-theorem", "result": "Lemma 4.2", "reader": "frobenius-groups-and-frobeniuss-theorem.html#lemma-4-2", "source": "src/RT-FIN-09.md", "source_sha256": "B05C42ED25B9688AC68E2E66077ABFFF174389436F7395705971992C1028CEF6", "statement_line": 214, "argument_context_lines": [ 214, 220 ], "reader_sha256": "72B5B9FDD966161AF5B3A6566DCED4965090292905EFDC8107977F233A0699BD" }, { "lesson": "RT-FIN-09", "unit": "frobenius-groups-and-frobeniuss-theorem", "result": "Theorem 4.3", "reader": "frobenius-groups-and-frobeniuss-theorem.html#theorem-4-3", "source": "src/RT-FIN-09.md", "source_sha256": "B05C42ED25B9688AC68E2E66077ABFFF174389436F7395705971992C1028CEF6", "statement_line": 221, "argument_context_lines": [ 221, 308 ], "reader_sha256": "72B5B9FDD966161AF5B3A6566DCED4965090292905EFDC8107977F233A0699BD" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Lemma 1.1", "reader": "artins-induction-theorem-and-rationality.html#lemma-1-1", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 23, "argument_context_lines": [ 23, 74 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Theorem 1.2", "reader": "artins-induction-theorem-and-rationality.html#theorem-1-2", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 75, "argument_context_lines": [ 75, 97 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Corollary 1.3", "reader": "artins-induction-theorem-and-rationality.html#corollary-1-3", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 98, "argument_context_lines": [ 98, 109 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Lemma 2.1", "reader": "artins-induction-theorem-and-rationality.html#lemma-2-1", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 110, "argument_context_lines": [ 110, 160 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Theorem 2.2", "reader": "artins-induction-theorem-and-rationality.html#theorem-2-2", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 161, "argument_context_lines": [ 161, 180 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Corollary 2.3", "reader": "artins-induction-theorem-and-rationality.html#corollary-2-3", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 181, "argument_context_lines": [ 181, 209 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Lemma 3.1", "reader": "artins-induction-theorem-and-rationality.html#lemma-3-1", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 210, "argument_context_lines": [ 210, 237 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Lemma 3.2", "reader": "artins-induction-theorem-and-rationality.html#lemma-3-2", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 238, "argument_context_lines": [ 238, 259 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Theorem 4.1", "reader": "artins-induction-theorem-and-rationality.html#theorem-4-1", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 260, "argument_context_lines": [ 260, 298 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" }, { "lesson": "RT-FIN-10", "unit": "artins-induction-theorem-and-rationality", "result": "Proposition 5.1", "reader": "artins-induction-theorem-and-rationality.html#proposition-5-1", "source": "src/RT-FIN-10.md", "source_sha256": "4F4F4F861251BB48DCF3273F9FF8A51627F7CEF1A85E96509D53CF64D4F36EC3", "statement_line": 299, "argument_context_lines": [ 299, 490 ], "reader_sha256": "0AC365B66E752700B3983920E0F21AC82DEDA38C38271B2FBF7E853F38EF1008" }, { "lesson": "RT-FIN-11", "unit": "brauers-induction-theorem", "result": "Lemma 1.1", "reader": "brauers-induction-theorem.html#lemma-1-1", "source": "src/RT-FIN-11.md", "source_sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF", "statement_line": 31, "argument_context_lines": [ 31, 34 ], "reader_sha256": "0A2C9D35AF369E46FE1C701399807B32AE8CA993A48F09B1D496B30E89D03086" }, { "lesson": "RT-FIN-11", "unit": "brauers-induction-theorem", "result": "Theorem 1.2", "reader": "brauers-induction-theorem.html#theorem-1-2", "source": "src/RT-FIN-11.md", "source_sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF", "statement_line": 35, "argument_context_lines": [ 35, 84 ], "reader_sha256": "0A2C9D35AF369E46FE1C701399807B32AE8CA993A48F09B1D496B30E89D03086" }, { "lesson": "RT-FIN-11", "unit": "brauers-induction-theorem", "result": "Lemma 2.1", "reader": "brauers-induction-theorem.html#lemma-2-1", "source": "src/RT-FIN-11.md", "source_sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF", "statement_line": 85, "argument_context_lines": [ 85, 99 ], "reader_sha256": "0A2C9D35AF369E46FE1C701399807B32AE8CA993A48F09B1D496B30E89D03086" }, { "lesson": "RT-FIN-11", "unit": "brauers-induction-theorem", "result": "Theorem 2.2", "reader": "brauers-induction-theorem.html#theorem-2-2", "source": "src/RT-FIN-11.md", "source_sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF", "statement_line": 100, "argument_context_lines": [ 100, 137 ], "proof_route": { "reader_sections": [ "3-character-values-modulo-one-prime", "4-an-elementary-subgroup-detects-every-evaluation" ], "source_lines": [ 109, 228 ], "uses": [ "Lemma 2.1", "Lemma 3.1", "Lemma 3.2" ] }, "reader_sha256": "0A2C9D35AF369E46FE1C701399807B32AE8CA993A48F09B1D496B30E89D03086" }, { "lesson": "RT-FIN-11", "unit": "brauers-induction-theorem", "result": "Lemma 3.1", "reader": "brauers-induction-theorem.html#lemma-3-1", "source": "src/RT-FIN-11.md", "source_sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF", "statement_line": 138, "argument_context_lines": [ 138, 153 ], "reader_sha256": "0A2C9D35AF369E46FE1C701399807B32AE8CA993A48F09B1D496B30E89D03086" }, { "lesson": "RT-FIN-11", "unit": "brauers-induction-theorem", "result": "Lemma 3.2", "reader": "brauers-induction-theorem.html#lemma-3-2", "source": "src/RT-FIN-11.md", "source_sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF", "statement_line": 154, "argument_context_lines": [ 154, 230 ], "reader_sha256": "0A2C9D35AF369E46FE1C701399807B32AE8CA993A48F09B1D496B30E89D03086" }, { "lesson": "RT-FIN-11", "unit": "brauers-induction-theorem", "result": "Theorem 5.1", "reader": "brauers-induction-theorem.html#theorem-5-1", "source": "src/RT-FIN-11.md", "source_sha256": "2D724B0D19A38E732781DA61DBC37ABB2D2344330DCBDF3610483CFCB125E7BF", "statement_line": 231, "argument_context_lines": [ 231, 378 ], "reader_sha256": "0A2C9D35AF369E46FE1C701399807B32AE8CA993A48F09B1D496B30E89D03086" }, { "lesson": "RT-FIN-12", "unit": "character-criteria-and-splitting-fields", "result": "Lemma 1.1", "reader": "character-criteria-and-splitting-fields.html#lemma-1-1", "source": "src/RT-FIN-12.md", "source_sha256": "FFF32B7D8370F4278C7FEE91888D973363F5BC02DDBCD15B5DEB9C41E5B12FC3", "statement_line": 37, "argument_context_lines": [ 37, 52 ], "reader_sha256": "24CFDC85FDFCF720D704DC54381D4BA6B91D0A430DD82EEDBE055F492B1EC86E" }, { "lesson": "RT-FIN-12", "unit": "character-criteria-and-splitting-fields", "result": "Theorem 1.2", "reader": "character-criteria-and-splitting-fields.html#theorem-1-2", "source": "src/RT-FIN-12.md", "source_sha256": "FFF32B7D8370F4278C7FEE91888D973363F5BC02DDBCD15B5DEB9C41E5B12FC3", "statement_line": 53, "argument_context_lines": [ 53, 69 ], "reader_sha256": "24CFDC85FDFCF720D704DC54381D4BA6B91D0A430DD82EEDBE055F492B1EC86E" }, { "lesson": "RT-FIN-12", "unit": "character-criteria-and-splitting-fields", "result": "Corollary 1.3", "reader": "character-criteria-and-splitting-fields.html#corollary-1-3", "source": "src/RT-FIN-12.md", "source_sha256": "FFF32B7D8370F4278C7FEE91888D973363F5BC02DDBCD15B5DEB9C41E5B12FC3", "statement_line": 70, "argument_context_lines": [ 70, 97 ], "reader_sha256": "24CFDC85FDFCF720D704DC54381D4BA6B91D0A430DD82EEDBE055F492B1EC86E" }, { "lesson": "RT-FIN-12", "unit": "character-criteria-and-splitting-fields", "result": "Lemma 2.1", "reader": "character-criteria-and-splitting-fields.html#lemma-2-1", "source": "src/RT-FIN-12.md", "source_sha256": "FFF32B7D8370F4278C7FEE91888D973363F5BC02DDBCD15B5DEB9C41E5B12FC3", "statement_line": 98, "argument_context_lines": [ 98, 126 ], "reader_sha256": "24CFDC85FDFCF720D704DC54381D4BA6B91D0A430DD82EEDBE055F492B1EC86E" }, { "lesson": "RT-FIN-12", "unit": "character-criteria-and-splitting-fields", "result": "Lemma 2.2", "reader": "character-criteria-and-splitting-fields.html#lemma-2-2", "source": "src/RT-FIN-12.md", "source_sha256": "FFF32B7D8370F4278C7FEE91888D973363F5BC02DDBCD15B5DEB9C41E5B12FC3", "statement_line": 127, "argument_context_lines": [ 127, 181 ], "reader_sha256": "24CFDC85FDFCF720D704DC54381D4BA6B91D0A430DD82EEDBE055F492B1EC86E" }, { "lesson": "RT-FIN-12", "unit": "character-criteria-and-splitting-fields", "result": "Lemma 3.1", "reader": "character-criteria-and-splitting-fields.html#lemma-3-1", "source": "src/RT-FIN-12.md", "source_sha256": "FFF32B7D8370F4278C7FEE91888D973363F5BC02DDBCD15B5DEB9C41E5B12FC3", "statement_line": 182, "argument_context_lines": [ 182, 194 ], "reader_sha256": "24CFDC85FDFCF720D704DC54381D4BA6B91D0A430DD82EEDBE055F492B1EC86E" }, { "lesson": "RT-FIN-12", "unit": "character-criteria-and-splitting-fields", "result": "Theorem 3.2", "reader": "character-criteria-and-splitting-fields.html#theorem-3-2", "source": "src/RT-FIN-12.md", "source_sha256": "FFF32B7D8370F4278C7FEE91888D973363F5BC02DDBCD15B5DEB9C41E5B12FC3", "statement_line": 195, "argument_context_lines": [ 195, 220 ], "reader_sha256": "24CFDC85FDFCF720D704DC54381D4BA6B91D0A430DD82EEDBE055F492B1EC86E" }, { "lesson": "RT-FIN-12", "unit": "character-criteria-and-splitting-fields", "result": "Corollary 3.3", "reader": "character-criteria-and-splitting-fields.html#corollary-3-3", "source": "src/RT-FIN-12.md", "source_sha256": "FFF32B7D8370F4278C7FEE91888D973363F5BC02DDBCD15B5DEB9C41E5B12FC3", "statement_line": 221, "argument_context_lines": [ 221, 466 ], "reader_sha256": "24CFDC85FDFCF720D704DC54381D4BA6B91D0A430DD82EEDBE055F492B1EC86E" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Lemma 2.1", "reader": "young-tableaux-and-young-symmetrizers.html#lemma-2-1", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 107, "argument_context_lines": [ 107, 134 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Lemma 2.2", "reader": "young-tableaux-and-young-symmetrizers.html#lemma-2-2", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 135, "argument_context_lines": [ 135, 159 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Lemma 2.3", "reader": "young-tableaux-and-young-symmetrizers.html#lemma-2-3", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 160, "argument_context_lines": [ 160, 194 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Theorem 3.1", "reader": "young-tableaux-and-young-symmetrizers.html#theorem-3-1", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 195, "argument_context_lines": [ 195, 231 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Lemma 3.2", "reader": "young-tableaux-and-young-symmetrizers.html#lemma-3-2", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 232, "argument_context_lines": [ 232, 247 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Proposition 4.1", "reader": "young-tableaux-and-young-symmetrizers.html#proposition-4-1", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 248, "argument_context_lines": [ 248, 256 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Proposition 4.2", "reader": "young-tableaux-and-young-symmetrizers.html#proposition-4-2", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 257, "argument_context_lines": [ 257, 271 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Theorem 4.3", "reader": "young-tableaux-and-young-symmetrizers.html#theorem-4-3", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 272, "argument_context_lines": [ 272, 275 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Corollary 4.4", "reader": "young-tableaux-and-young-symmetrizers.html#corollary-4-4", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 276, "argument_context_lines": [ 276, 294 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Corollary 4.5", "reader": "young-tableaux-and-young-symmetrizers.html#corollary-4-5", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 295, "argument_context_lines": [ 295, 314 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Lemma 5.1", "reader": "young-tableaux-and-young-symmetrizers.html#lemma-5-1", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 315, "argument_context_lines": [ 315, 333 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Proposition 5.2", "reader": "young-tableaux-and-young-symmetrizers.html#proposition-5-2", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 334, "argument_context_lines": [ 334, 366 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-13", "unit": "young-tableaux-and-young-symmetrizers", "result": "Proposition 5.3", "reader": "young-tableaux-and-young-symmetrizers.html#proposition-5-3", "source": "src/RT-FIN-13.md", "source_sha256": "E3B8E00BF071CB77C1AAA0DCCCAA9FED6608560B84C99800B68A699B3E1CB5F0", "statement_line": 367, "argument_context_lines": [ 367, 560 ], "reader_sha256": "0358D8127C2D3CC56D82F42B9348E01C75FD6740BFF0D80E649CFA6716E94C5B" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Lemma 1.1", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#lemma-1-1", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 32, "argument_context_lines": [ 32, 90 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Lemma 2.1", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#lemma-2-1", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 91, "argument_context_lines": [ 91, 115 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Theorem 2.2", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#theorem-2-2", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 116, "argument_context_lines": [ 116, 182 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Proposition 3.1", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#proposition-3-1", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 183, "argument_context_lines": [ 183, 213 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Theorem 3.2", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#theorem-3-2", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 214, "argument_context_lines": [ 214, 234 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Lemma 4.1", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#lemma-4-1", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 235, "argument_context_lines": [ 235, 253 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Theorem 4.2", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#theorem-4-2", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 254, "argument_context_lines": [ 254, 268 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Corollary 4.3", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#corollary-4-3", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 269, "argument_context_lines": [ 269, 287 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Theorem 5.1", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#theorem-5-1", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 288, "argument_context_lines": [ 288, 343 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Theorem 5.2", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#theorem-5-2", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 344, "argument_context_lines": [ 344, 401 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Lemma 6.1", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#lemma-6-1", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 402, "argument_context_lines": [ 402, 428 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Lemma 6.2", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#lemma-6-2", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 429, "argument_context_lines": [ 429, 451 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-14", "unit": "branching-jucys-murphy-elements-and-youngs-seminormal-form", "result": "Theorem 6.3", "reader": "branching-jucys-murphy-elements-and-youngs-seminormal-form.html#theorem-6-3", "source": "src/RT-FIN-14.md", "source_sha256": "F921D67A9A1D8608CD65716E7FC83925FE36AA2F58EBC236A55CB265C8AAE8BE", "statement_line": 452, "argument_context_lines": [ 452, 620 ], "reader_sha256": "B1B62222783092855907FFDF5249A882B838F7AE2521098FC0E48187AD856B42" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Proposition 1.1", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#proposition-1-1", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 35, "argument_context_lines": [ 35, 83 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Lemma 1.2", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#lemma-1-2", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 84, "argument_context_lines": [ 84, 136 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Theorem 2.1", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#theorem-2-1", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 137, "argument_context_lines": [ 137, 195 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Lemma 2.2", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#lemma-2-2", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 196, "argument_context_lines": [ 196, 223 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Theorem 2.3", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#theorem-2-3", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 224, "argument_context_lines": [ 224, 287 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Theorem 3.1", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#theorem-3-1", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 288, "argument_context_lines": [ 288, 349 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Theorem 3.2", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#theorem-3-2", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 350, "argument_context_lines": [ 350, 362 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Corollary 4.1", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#corollary-4-1", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 363, "argument_context_lines": [ 363, 384 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Lemma 4.2", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#lemma-4-2", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 385, "argument_context_lines": [ 385, 412 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Theorem 4.3", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#theorem-4-3", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 413, "argument_context_lines": [ 413, 538 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Lemma 6.1", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#lemma-6-1", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 539, "argument_context_lines": [ 539, 550 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Proposition 6.2", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#proposition-6-2", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 551, "argument_context_lines": [ 551, 564 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-15", "unit": "characters-of-symmetric-groups-and-symmetric-functions", "result": "Theorem 6.3", "reader": "characters-of-symmetric-groups-and-symmetric-functions.html#theorem-6-3", "source": "src/RT-FIN-15.md", "source_sha256": "95BE93B2C7E34482295674499725ACB667CFA78DADC2DC93D5B06FC4289BFA34", "statement_line": 565, "argument_context_lines": [ 565, 686 ], "reader_sha256": "1A5713E1D2C32A5139E68BFA4A9B891DA9BC4C0E33A08196F4E8639F037AE541" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Lemma 1.1", "reader": "schur-weyl-duality.html#lemma-1-1", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 29, "argument_context_lines": [ 29, 51 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Lemma 1.2", "reader": "schur-weyl-duality.html#lemma-1-2", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 52, "argument_context_lines": [ 52, 67 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Proposition 1.3", "reader": "schur-weyl-duality.html#proposition-1-3", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 68, "argument_context_lines": [ 68, 104 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Lemma 2.1", "reader": "schur-weyl-duality.html#lemma-2-1", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 105, "argument_context_lines": [ 105, 114 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Lemma 2.2", "reader": "schur-weyl-duality.html#lemma-2-2", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 115, "argument_context_lines": [ 115, 137 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Theorem 2.3", "reader": "schur-weyl-duality.html#theorem-2-3", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 138, "argument_context_lines": [ 138, 201 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Theorem 3.1", "reader": "schur-weyl-duality.html#theorem-3-1", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 202, "argument_context_lines": [ 202, 266 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Theorem 4.1", "reader": "schur-weyl-duality.html#theorem-4-1", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 267, "argument_context_lines": [ 267, 307 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Proposition 4.2", "reader": "schur-weyl-duality.html#proposition-4-2", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 308, "argument_context_lines": [ 308, 342 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Theorem 5.1", "reader": "schur-weyl-duality.html#theorem-5-1", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 343, "argument_context_lines": [ 343, 385 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-16", "unit": "schur-weyl-duality", "result": "Corollary 5.2", "reader": "schur-weyl-duality.html#corollary-5-2", "source": "src/RT-FIN-16.md", "source_sha256": "3541DE497607FDEFA02FEBB64B8FFF3FCF3FBDBB4A51C9114E20673F7AA03B17", "statement_line": 386, "argument_context_lines": [ 386, 649 ], "reader_sha256": "17AEC418C5152ECD997BDEAD7C8207C91A37C64D4C5331742C19D1356139DE91" }, { "lesson": "RT-FIN-17", "unit": "representations-of-gl2-over-finite-fields", "result": "Lemma 1.1", "reader": "representations-of-gl2-over-finite-fields.html#lemma-1-1", "source": "src/RT-FIN-17.md", "source_sha256": "33BF909F74E0A1B545CE2768BAB11DE47A9DD57AEDD37F4542C7F259E8AA8BDD", "statement_line": 24, "argument_context_lines": [ 24, 42 ], "reader_sha256": "3EEF6CE1DB8687061F89FF9429D0EF35EE17CE7151CFDC7B3E6E0DBD70E722CB" }, { "lesson": "RT-FIN-17", "unit": "representations-of-gl2-over-finite-fields", "result": "Proposition 1.2", "reader": "representations-of-gl2-over-finite-fields.html#proposition-1-2", "source": "src/RT-FIN-17.md", "source_sha256": "33BF909F74E0A1B545CE2768BAB11DE47A9DD57AEDD37F4542C7F259E8AA8BDD", "statement_line": 43, "argument_context_lines": [ 43, 101 ], "reader_sha256": "3EEF6CE1DB8687061F89FF9429D0EF35EE17CE7151CFDC7B3E6E0DBD70E722CB" }, { "lesson": "RT-FIN-17", "unit": "representations-of-gl2-over-finite-fields", "result": "Theorem 2.1", "reader": "representations-of-gl2-over-finite-fields.html#theorem-2-1", "source": "src/RT-FIN-17.md", "source_sha256": "33BF909F74E0A1B545CE2768BAB11DE47A9DD57AEDD37F4542C7F259E8AA8BDD", "statement_line": 102, "argument_context_lines": [ 102, 165 ], "reader_sha256": "3EEF6CE1DB8687061F89FF9429D0EF35EE17CE7151CFDC7B3E6E0DBD70E722CB" }, { "lesson": "RT-FIN-17", "unit": "representations-of-gl2-over-finite-fields", "result": "Lemma 3.1", "reader": "representations-of-gl2-over-finite-fields.html#lemma-3-1", "source": "src/RT-FIN-17.md", "source_sha256": "33BF909F74E0A1B545CE2768BAB11DE47A9DD57AEDD37F4542C7F259E8AA8BDD", "statement_line": 166, "argument_context_lines": [ 166, 217 ], "reader_sha256": "3EEF6CE1DB8687061F89FF9429D0EF35EE17CE7151CFDC7B3E6E0DBD70E722CB" }, { "lesson": "RT-FIN-17", "unit": "representations-of-gl2-over-finite-fields", "result": "Theorem 4.1", "reader": "representations-of-gl2-over-finite-fields.html#theorem-4-1", "source": "src/RT-FIN-17.md", "source_sha256": "33BF909F74E0A1B545CE2768BAB11DE47A9DD57AEDD37F4542C7F259E8AA8BDD", "statement_line": 218, "argument_context_lines": [ 218, 268 ], "reader_sha256": "3EEF6CE1DB8687061F89FF9429D0EF35EE17CE7151CFDC7B3E6E0DBD70E722CB" }, { "lesson": "RT-FIN-17", "unit": "representations-of-gl2-over-finite-fields", "result": "Theorem 5.1", "reader": "representations-of-gl2-over-finite-fields.html#theorem-5-1", "source": "src/RT-FIN-17.md", "source_sha256": "33BF909F74E0A1B545CE2768BAB11DE47A9DD57AEDD37F4542C7F259E8AA8BDD", "statement_line": 269, "argument_context_lines": [ 269, 457 ], "reader_sha256": "3EEF6CE1DB8687061F89FF9429D0EF35EE17CE7151CFDC7B3E6E0DBD70E722CB" }, { "lesson": "RT-FIN-17", "unit": "representations-of-gl2-over-finite-fields", "result": "Proposition 7.1", "reader": "representations-of-gl2-over-finite-fields.html#proposition-7-1", "source": "src/RT-FIN-17.md", "source_sha256": "33BF909F74E0A1B545CE2768BAB11DE47A9DD57AEDD37F4542C7F259E8AA8BDD", "statement_line": 458, "argument_context_lines": [ 458, 582 ], "reader_sha256": "3EEF6CE1DB8687061F89FF9429D0EF35EE17CE7151CFDC7B3E6E0DBD70E722CB" } ], "current_dependency_corrections_20261007": [ { "lesson": "RT-FIN-02", "result": "Proposition 2.3", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "reader": "characters-and-the-orthogonality-relations.html#proposition-2-3", "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A", "proof_lines": [ 194, 217 ], "conditions": "Finite group; finite-dimensional complex left representations; inner product linear in the first variable.", "claim": "The character inner product, linear in its first variable, equals dim Hom_G(W,V).", "consumer": "RT-FIN-07 section 8", "consumer_source_sha256": "203586bd2f2d3fa5e42605b27c9a9f11fc62555235061e3223b3cc2004b2f1e1" }, { "lesson": "RT-FIN-02", "result": "Theorem 3.1", "source": "src/RT-FIN-02.md", "source_sha256": "1078B88109DD46DBA17949F19A228C5825FBD3DB21F463426BFD43B25E602EA0", "reader": "characters-and-the-orthogonality-relations.html#theorem-3-1", "reader_sha256": "B74516DFC32E232169BBA5AB8DF450EBAB0003179025DBDF66E592F9F394297A", "proof_lines": [ 221, 238 ], "conditions": "Finite group; finite-dimensional complex left representations; inner product linear in the first variable.", "claim": "Multiplicity extraction and determination of a representation by its character.", "consumer": "RT-FIN-07 section 8", "consumer_source_sha256": "203586bd2f2d3fa5e42605b27c9a9f11fc62555235061e3223b3cc2004b2f1e1" } ] }