{ "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 23, "argument_context_lines": [ 23, 30 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 31, "argument_context_lines": [ 31, 38 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 152, "argument_context_lines": [ 152, 180 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" } ] }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 23, "argument_context_lines": [ 23, 30 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 31, "argument_context_lines": [ 31, 38 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 152, "argument_context_lines": [ 152, 180 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" } ] }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 23, "argument_context_lines": [ 23, 30 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 31, "argument_context_lines": [ 31, 38 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 152, "argument_context_lines": [ 152, 180 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" } ] }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 23, "argument_context_lines": [ 23, 30 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 31, "argument_context_lines": [ 31, 38 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 152, "argument_context_lines": [ 152, 180 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" } ] }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 73, "argument_context_lines": [ 73, 118 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0", "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 119, "argument_context_lines": [ 119, 206 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0", "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 207, "argument_context_lines": [ 207, 270 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0", "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 119, "argument_context_lines": [ 119, 206 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0" }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 207, "argument_context_lines": [ 207, 270 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0" }, { "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": "a607c599123415dc1526fa26018922c8bdc19f06606ba1b80f213492dddc73ea", "statement_line": 192, "argument_context_lines": [ 192, 248 ], "reader_sha256": "afa3ca1fe53239c26bb8584952978758d27b70345488b7363bb9e2ed4396f529" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 119, "argument_context_lines": [ 119, 206 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0" }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 207, "argument_context_lines": [ 207, 270 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0" }, { "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": "a607c599123415dc1526fa26018922c8bdc19f06606ba1b80f213492dddc73ea", "statement_line": 192, "argument_context_lines": [ 192, 248 ], "reader_sha256": "afa3ca1fe53239c26bb8584952978758d27b70345488b7363bb9e2ed4396f529" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 23, "argument_context_lines": [ 23, 30 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 31, "argument_context_lines": [ 31, 38 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 39, "argument_context_lines": [ 39, 151 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 152, "argument_context_lines": [ 152, 180 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 181, "argument_context_lines": [ 181, 192 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 193, "argument_context_lines": [ 193, 216 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 217, "argument_context_lines": [ 217, 242 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 243, "argument_context_lines": [ 243, 258 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 259, "argument_context_lines": [ 259, 296 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 297, "argument_context_lines": [ 297, 332 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "E27AD6CC52BDA47B09D9DC9CAE4C4D072E701600FBC4B9B50817F72E1A152BFC", "statement_line": 333, "argument_context_lines": [ 333, 474 ], "reader_sha256": "97DB40523F7ADA46A45147DDDF0BF28D0D29DB6D13F662B32381D7E14FF4FF18" }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 73, "argument_context_lines": [ 73, 118 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0" }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 119, "argument_context_lines": [ 119, 206 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0" }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 207, "argument_context_lines": [ 207, 270 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0" }, { "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": "98475FE12E0C38592A1847D7FD308F0F60AE336F3A5C9F1B274BF360572B7EFD", "statement_line": 271, "argument_context_lines": [ 271, 467 ], "reader_sha256": "1C2C1D4F50383D60073A547D9FDACAC55BAA64E5F0CD17762726E6025447FCF0" }, { "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": "a607c599123415dc1526fa26018922c8bdc19f06606ba1b80f213492dddc73ea", "statement_line": 33, "argument_context_lines": [ 33, 81 ], "reader_sha256": "afa3ca1fe53239c26bb8584952978758d27b70345488b7363bb9e2ed4396f529" }, { "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": "a607c599123415dc1526fa26018922c8bdc19f06606ba1b80f213492dddc73ea", "statement_line": 82, "argument_context_lines": [ 82, 104 ], "reader_sha256": "afa3ca1fe53239c26bb8584952978758d27b70345488b7363bb9e2ed4396f529" }, { "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": "a607c599123415dc1526fa26018922c8bdc19f06606ba1b80f213492dddc73ea", "statement_line": 105, "argument_context_lines": [ 105, 125 ], "reader_sha256": "afa3ca1fe53239c26bb8584952978758d27b70345488b7363bb9e2ed4396f529" }, { "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": "a607c599123415dc1526fa26018922c8bdc19f06606ba1b80f213492dddc73ea", "statement_line": 126, "argument_context_lines": [ 126, 154 ], "reader_sha256": "afa3ca1fe53239c26bb8584952978758d27b70345488b7363bb9e2ed4396f529" }, { "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": "a607c599123415dc1526fa26018922c8bdc19f06606ba1b80f213492dddc73ea", "statement_line": 155, "argument_context_lines": [ 155, 191 ], "reader_sha256": "afa3ca1fe53239c26bb8584952978758d27b70345488b7363bb9e2ed4396f529" }, { "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": "a607c599123415dc1526fa26018922c8bdc19f06606ba1b80f213492dddc73ea", "statement_line": 192, "argument_context_lines": [ 192, 248 ], "reader_sha256": "afa3ca1fe53239c26bb8584952978758d27b70345488b7363bb9e2ed4396f529" }, { "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": "a607c599123415dc1526fa26018922c8bdc19f06606ba1b80f213492dddc73ea", "statement_line": 249, "argument_context_lines": [ 249, 443 ], "reader_sha256": "afa3ca1fe53239c26bb8584952978758d27b70345488b7363bb9e2ed4396f529" }, { "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": "54CB3881B34AE3243E82537BA7BFB7BE54A7D60068DF136AB011350B4F49272F", "statement_line": 37, "argument_context_lines": [ 37, 52 ], "reader_sha256": "FD1C816FEF405981E0EA281558607F42A1B5E95C9B60E12A2B5F672914DD6A4E" }, { "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": "54CB3881B34AE3243E82537BA7BFB7BE54A7D60068DF136AB011350B4F49272F", "statement_line": 53, "argument_context_lines": [ 53, 69 ], "reader_sha256": "FD1C816FEF405981E0EA281558607F42A1B5E95C9B60E12A2B5F672914DD6A4E" }, { "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": "54CB3881B34AE3243E82537BA7BFB7BE54A7D60068DF136AB011350B4F49272F", "statement_line": 70, "argument_context_lines": [ 70, 97 ], "reader_sha256": "FD1C816FEF405981E0EA281558607F42A1B5E95C9B60E12A2B5F672914DD6A4E" }, { "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": "54CB3881B34AE3243E82537BA7BFB7BE54A7D60068DF136AB011350B4F49272F", "statement_line": 98, "argument_context_lines": [ 98, 126 ], "reader_sha256": "FD1C816FEF405981E0EA281558607F42A1B5E95C9B60E12A2B5F672914DD6A4E" }, { "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": "54CB3881B34AE3243E82537BA7BFB7BE54A7D60068DF136AB011350B4F49272F", "statement_line": 127, "argument_context_lines": [ 127, 181 ], "reader_sha256": "FD1C816FEF405981E0EA281558607F42A1B5E95C9B60E12A2B5F672914DD6A4E" }, { "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": "54CB3881B34AE3243E82537BA7BFB7BE54A7D60068DF136AB011350B4F49272F", "statement_line": 182, "argument_context_lines": [ 182, 194 ], "reader_sha256": "FD1C816FEF405981E0EA281558607F42A1B5E95C9B60E12A2B5F672914DD6A4E" }, { "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": "54CB3881B34AE3243E82537BA7BFB7BE54A7D60068DF136AB011350B4F49272F", "statement_line": 195, "argument_context_lines": [ 195, 220 ], "reader_sha256": "FD1C816FEF405981E0EA281558607F42A1B5E95C9B60E12A2B5F672914DD6A4E" }, { "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": "54CB3881B34AE3243E82537BA7BFB7BE54A7D60068DF136AB011350B4F49272F", "statement_line": 221, "argument_context_lines": [ 221, 466 ], "reader_sha256": "FD1C816FEF405981E0EA281558607F42A1B5E95C9B60E12A2B5F672914DD6A4E" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 107, "argument_context_lines": [ 107, 134 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 135, "argument_context_lines": [ 135, 159 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 160, "argument_context_lines": [ 160, 194 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 195, "argument_context_lines": [ 195, 231 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 232, "argument_context_lines": [ 232, 247 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 248, "argument_context_lines": [ 248, 256 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 257, "argument_context_lines": [ 257, 271 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 272, "argument_context_lines": [ 272, 275 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 276, "argument_context_lines": [ 276, 294 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 295, "argument_context_lines": [ 295, 314 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 315, "argument_context_lines": [ 315, 333 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 334, "argument_context_lines": [ 334, 366 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "3BF691EFEE4CBE71BB600039BF9896366F954438A0DC0B295298483F1517EC2B", "statement_line": 367, "argument_context_lines": [ 367, 560 ], "reader_sha256": "BC4147B902A7587F4EE99DD5E3529B734D84F3C7E311664EF080FB932FC8AC8A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 35, "argument_context_lines": [ 35, 83 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 84, "argument_context_lines": [ 84, 130 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 131, "argument_context_lines": [ 131, 189 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 190, "argument_context_lines": [ 190, 217 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 218, "argument_context_lines": [ 218, 281 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 282, "argument_context_lines": [ 282, 343 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 344, "argument_context_lines": [ 344, 356 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 357, "argument_context_lines": [ 357, 378 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 379, "argument_context_lines": [ 379, 406 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 407, "argument_context_lines": [ 407, 532 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 533, "argument_context_lines": [ 533, 544 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 545, "argument_context_lines": [ 545, 558 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "4D3C0492505F7E25767AAB35DC59F7ADCAD4103F9C41418DB7820D39070E767E", "statement_line": 559, "argument_context_lines": [ 559, 680 ], "reader_sha256": "8BA6124BF045DD00670E29912EF4EC26D8348BF35A751E1EF2768A955C40CB6A" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 29, "argument_context_lines": [ 29, 51 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 52, "argument_context_lines": [ 52, 67 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 68, "argument_context_lines": [ 68, 104 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 105, "argument_context_lines": [ 105, 114 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 115, "argument_context_lines": [ 115, 137 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 138, "argument_context_lines": [ 138, 201 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 202, "argument_context_lines": [ 202, 266 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 267, "argument_context_lines": [ 267, 307 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 308, "argument_context_lines": [ 308, 342 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 343, "argument_context_lines": [ 343, 385 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "B272EC20CD6B5C236BCFC5C68EE9D078404940CA9E82A4AD87446E5A044B6713", "statement_line": 386, "argument_context_lines": [ 386, 649 ], "reader_sha256": "7BAAE2DDD8FD04CCABA856C2F9B86392B1D75336EF0455CDBE63E22D62B22A4D" }, { "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": "73d6b5f663131298076d9b9e6257247cdb975c98bc3430bcc2304e7c6db9ec7d", "statement_line": 24, "argument_context_lines": [ 24, 42 ], "reader_sha256": "6ce893e2cfa1ee7f71e441cc06cfea2560f4c6e907f53a8395915e7cb461f6c8" }, { "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": "73d6b5f663131298076d9b9e6257247cdb975c98bc3430bcc2304e7c6db9ec7d", "statement_line": 43, "argument_context_lines": [ 43, 101 ], "reader_sha256": "6ce893e2cfa1ee7f71e441cc06cfea2560f4c6e907f53a8395915e7cb461f6c8" }, { "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": "73d6b5f663131298076d9b9e6257247cdb975c98bc3430bcc2304e7c6db9ec7d", "statement_line": 102, "argument_context_lines": [ 102, 165 ], "reader_sha256": "6ce893e2cfa1ee7f71e441cc06cfea2560f4c6e907f53a8395915e7cb461f6c8" }, { "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": "73d6b5f663131298076d9b9e6257247cdb975c98bc3430bcc2304e7c6db9ec7d", "statement_line": 166, "argument_context_lines": [ 166, 217 ], "reader_sha256": "6ce893e2cfa1ee7f71e441cc06cfea2560f4c6e907f53a8395915e7cb461f6c8" }, { "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": "73d6b5f663131298076d9b9e6257247cdb975c98bc3430bcc2304e7c6db9ec7d", "statement_line": 218, "argument_context_lines": [ 218, 268 ], "reader_sha256": "6ce893e2cfa1ee7f71e441cc06cfea2560f4c6e907f53a8395915e7cb461f6c8" }, { "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": "73d6b5f663131298076d9b9e6257247cdb975c98bc3430bcc2304e7c6db9ec7d", "statement_line": 269, "argument_context_lines": [ 269, 457 ], "reader_sha256": "6ce893e2cfa1ee7f71e441cc06cfea2560f4c6e907f53a8395915e7cb461f6c8" }, { "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": "73d6b5f663131298076d9b9e6257247cdb975c98bc3430bcc2304e7c6db9ec7d", "statement_line": 458, "argument_context_lines": [ 458, 582 ], "reader_sha256": "6ce893e2cfa1ee7f71e441cc06cfea2560f4c6e907f53a8395915e7cb461f6c8" } ] }