Proof index
Every link opens the labelled statement and its course argument. The priority providers are character orthogonality, both Frobenius adjunctions and the full integer Brauer theorem. Brauer’s local induction theorem has its proof in sections 3–4 of Lesson 11; Sylow existence and the cyclotomic fixed-field argument are proved in Lesson 5.
Exact result, anchor, dependency and SHA-256 crosswalk · Course source and reader identities
| Lesson | Result | Editable proof source |
|---|
| RT-FIN-01 | Lemma 0.1 | Markdown, line 23 |
| RT-FIN-01 | Lemma 0.2 | Markdown, line 31 |
| RT-FIN-01 | Lemma 0.3 | Markdown, line 39 |
| RT-FIN-01 | Proposition 2.1 | Markdown, line 152 |
| RT-FIN-01 | Lemma 2.2 | Markdown, line 181 |
| RT-FIN-01 | Theorem 2.3 | Markdown, line 193 |
| RT-FIN-01 | Lemma 2.4 | Markdown, line 217 |
| RT-FIN-01 | Theorem 3.1 | Markdown, line 243 |
| RT-FIN-01 | Corollary 3.2 | Markdown, line 259 |
| RT-FIN-01 | Corollary 4.1 | Markdown, line 297 |
| RT-FIN-01 | Proposition 4.2 | Markdown, line 333 |
| RT-FIN-02 | Lemma 0.1 | Markdown, line 15 |
| RT-FIN-02 | Lemma 0.2 | Markdown, line 28 |
| RT-FIN-02 | Corollary 0.3 | Markdown, line 46 |
| RT-FIN-02 | Lemma 0.4 | Markdown, line 61 |
| RT-FIN-02 | Proposition 1.1 | Markdown, line 85 |
| RT-FIN-02 | Theorem 2.1 | Markdown, line 140 |
| RT-FIN-02 | Corollary 2.2 | Markdown, line 183 |
| RT-FIN-02 | Proposition 2.3 | Markdown, line 194 |
| RT-FIN-02 | Theorem 3.1 | Markdown, line 221 |
| RT-FIN-02 | Theorem 3.2 | Markdown, line 242 |
| RT-FIN-02 | Proposition 3.3 | Markdown, line 262 |
| RT-FIN-02 | Theorem 4.1 | Markdown, line 287 |
| RT-FIN-02 | Corollary 4.2 | Markdown, line 327 |
| RT-FIN-02 | Proposition 6.1 | Markdown, line 544 |
| RT-FIN-02 | Theorem 6.2 | Markdown, line 555 |
| RT-FIN-02 | Theorem 6.3 | Markdown, line 561 |
| RT-FIN-03 | Theorem 1.1 | Markdown, line 26 |
| RT-FIN-03 | Proposition 1.2 | Markdown, line 67 |
| RT-FIN-03 | Proposition 1.3 | Markdown, line 99 |
| RT-FIN-03 | Theorem 3.1 | Markdown, line 171 |
| RT-FIN-03 | Proposition 3.2 | Markdown, line 199 |
| RT-FIN-03 | Theorem 4.1 | Markdown, line 229 |
| RT-FIN-03 | Theorem 4.2 | Markdown, line 252 |
| RT-FIN-03 | Lemma 6.1 | Markdown, line 408 |
| RT-FIN-03 | Lemma 6.2 | Markdown, line 416 |
| RT-FIN-04 | Proposition 1.1 | Markdown, line 27 |
| RT-FIN-04 | Theorem 2.1 | Markdown, line 77 |
| RT-FIN-04 | Theorem 3.1 | Markdown, line 108 |
| RT-FIN-04 | Proposition 3.2 | Markdown, line 162 |
| RT-FIN-04 | Theorem 4.1 | Markdown, line 204 |
| RT-FIN-04 | Theorem 5.1 | Markdown, line 239 |
| RT-FIN-05 | Lemma 1.1 | Markdown, line 13 |
| RT-FIN-05 | Lemma 1.2 | Markdown, line 35 |
| RT-FIN-05 | Proposition 2.1 | Markdown, line 63 |
| RT-FIN-05 | Theorem 2.2 | Markdown, line 80 |
| RT-FIN-05 | Lemma 3.1 | Markdown, line 143 |
| RT-FIN-05 | Lemma 3.2 | Markdown, line 170 |
| RT-FIN-05 | Theorem 4.1 | Markdown, line 195 |
| RT-FIN-05 | Lemma 4.2 | Markdown, line 224 |
| RT-FIN-05 | Lemma 5.1 | Markdown, line 244 |
| RT-FIN-05 | Theorem 5.2 | Markdown, line 256 |
| RT-FIN-06 | Proposition 2.1 | Markdown, line 73 |
| RT-FIN-06 | Theorem 3.1 | Markdown, line 119 |
| RT-FIN-06 | Proposition 4.1 | Markdown, line 207 |
| RT-FIN-06 | Corollary 5.1 | Markdown, line 271 |
| RT-FIN-07 | Theorem 1.1 | Markdown, line 33 |
| RT-FIN-07 | Corollary 1.2 | Markdown, line 82 |
| RT-FIN-07 | Theorem 2.1 | Markdown, line 105 |
| RT-FIN-07 | Corollary 2.2 | Markdown, line 126 |
| RT-FIN-07 | Theorem 3.1 | Markdown, line 155 |
| RT-FIN-07 | Theorem 4.1 | Markdown, line 192 |
| RT-FIN-07 | Theorem 5.1 | Markdown, line 249 |
| RT-FIN-08 | Lemma 1.1 | Markdown, line 50 |
| RT-FIN-08 | Lemma 1.2 | Markdown, line 81 |
| RT-FIN-08 | Theorem 2.1 | Markdown, line 96 |
| RT-FIN-08 | Proposition 4.1 | Markdown, line 219 |
| RT-FIN-08 | Theorem 6.1 | Markdown, line 381 |
| RT-FIN-09 | Lemma 2.1 | Markdown, line 74 |
| RT-FIN-09 | Proposition 3.1 | Markdown, line 112 |
| RT-FIN-09 | Theorem 3.2 | Markdown, line 155 |
| RT-FIN-09 | Proposition 4.1 | Markdown, line 190 |
| RT-FIN-09 | Lemma 4.2 | Markdown, line 214 |
| RT-FIN-09 | Theorem 4.3 | Markdown, line 221 |
| RT-FIN-10 | Lemma 1.1 | Markdown, line 23 |
| RT-FIN-10 | Theorem 1.2 | Markdown, line 75 |
| RT-FIN-10 | Corollary 1.3 | Markdown, line 98 |
| RT-FIN-10 | Lemma 2.1 | Markdown, line 110 |
| RT-FIN-10 | Theorem 2.2 | Markdown, line 161 |
| RT-FIN-10 | Corollary 2.3 | Markdown, line 181 |
| RT-FIN-10 | Lemma 3.1 | Markdown, line 210 |
| RT-FIN-10 | Lemma 3.2 | Markdown, line 238 |
| RT-FIN-10 | Theorem 4.1 | Markdown, line 260 |
| RT-FIN-10 | Proposition 5.1 | Markdown, line 299 |
| RT-FIN-11 | Lemma 1.1 | Markdown, line 31 |
| RT-FIN-11 | Theorem 1.2 | Markdown, line 35 |
| RT-FIN-11 | Lemma 2.1 | Markdown, line 85 |
| RT-FIN-11 | Theorem 2.2 | Markdown, line 100 |
| RT-FIN-11 | Lemma 3.1 | Markdown, line 138 |
| RT-FIN-11 | Lemma 3.2 | Markdown, line 154 |
| RT-FIN-11 | Theorem 5.1 | Markdown, line 231 |
| RT-FIN-12 | Lemma 1.1 | Markdown, line 37 |
| RT-FIN-12 | Theorem 1.2 | Markdown, line 53 |
| RT-FIN-12 | Corollary 1.3 | Markdown, line 70 |
| RT-FIN-12 | Lemma 2.1 | Markdown, line 98 |
| RT-FIN-12 | Lemma 2.2 | Markdown, line 127 |
| RT-FIN-12 | Lemma 3.1 | Markdown, line 182 |
| RT-FIN-12 | Theorem 3.2 | Markdown, line 195 |
| RT-FIN-12 | Corollary 3.3 | Markdown, line 221 |
| RT-FIN-13 | Lemma 2.1 | Markdown, line 107 |
| RT-FIN-13 | Lemma 2.2 | Markdown, line 135 |
| RT-FIN-13 | Lemma 2.3 | Markdown, line 160 |
| RT-FIN-13 | Theorem 3.1 | Markdown, line 195 |
| RT-FIN-13 | Lemma 3.2 | Markdown, line 232 |
| RT-FIN-13 | Proposition 4.1 | Markdown, line 248 |
| RT-FIN-13 | Proposition 4.2 | Markdown, line 257 |
| RT-FIN-13 | Theorem 4.3 | Markdown, line 272 |
| RT-FIN-13 | Corollary 4.4 | Markdown, line 276 |
| RT-FIN-13 | Corollary 4.5 | Markdown, line 295 |
| RT-FIN-13 | Lemma 5.1 | Markdown, line 315 |
| RT-FIN-13 | Proposition 5.2 | Markdown, line 334 |
| RT-FIN-13 | Proposition 5.3 | Markdown, line 367 |
| RT-FIN-14 | Lemma 1.1 | Markdown, line 32 |
| RT-FIN-14 | Lemma 2.1 | Markdown, line 91 |
| RT-FIN-14 | Theorem 2.2 | Markdown, line 116 |
| RT-FIN-14 | Proposition 3.1 | Markdown, line 183 |
| RT-FIN-14 | Theorem 3.2 | Markdown, line 214 |
| RT-FIN-14 | Lemma 4.1 | Markdown, line 235 |
| RT-FIN-14 | Theorem 4.2 | Markdown, line 254 |
| RT-FIN-14 | Corollary 4.3 | Markdown, line 269 |
| RT-FIN-14 | Theorem 5.1 | Markdown, line 288 |
| RT-FIN-14 | Theorem 5.2 | Markdown, line 344 |
| RT-FIN-14 | Lemma 6.1 | Markdown, line 402 |
| RT-FIN-14 | Lemma 6.2 | Markdown, line 429 |
| RT-FIN-14 | Theorem 6.3 | Markdown, line 452 |
| RT-FIN-15 | Proposition 1.1 | Markdown, line 35 |
| RT-FIN-15 | Lemma 1.2 | Markdown, line 84 |
| RT-FIN-15 | Theorem 2.1 | Markdown, line 131 |
| RT-FIN-15 | Lemma 2.2 | Markdown, line 190 |
| RT-FIN-15 | Theorem 2.3 | Markdown, line 218 |
| RT-FIN-15 | Theorem 3.1 | Markdown, line 282 |
| RT-FIN-15 | Theorem 3.2 | Markdown, line 344 |
| RT-FIN-15 | Corollary 4.1 | Markdown, line 357 |
| RT-FIN-15 | Lemma 4.2 | Markdown, line 379 |
| RT-FIN-15 | Theorem 4.3 | Markdown, line 407 |
| RT-FIN-15 | Lemma 6.1 | Markdown, line 533 |
| RT-FIN-15 | Proposition 6.2 | Markdown, line 545 |
| RT-FIN-15 | Theorem 6.3 | Markdown, line 559 |
| RT-FIN-16 | Lemma 1.1 | Markdown, line 29 |
| RT-FIN-16 | Lemma 1.2 | Markdown, line 52 |
| RT-FIN-16 | Proposition 1.3 | Markdown, line 68 |
| RT-FIN-16 | Lemma 2.1 | Markdown, line 105 |
| RT-FIN-16 | Lemma 2.2 | Markdown, line 115 |
| RT-FIN-16 | Theorem 2.3 | Markdown, line 138 |
| RT-FIN-16 | Theorem 3.1 | Markdown, line 202 |
| RT-FIN-16 | Theorem 4.1 | Markdown, line 267 |
| RT-FIN-16 | Proposition 4.2 | Markdown, line 308 |
| RT-FIN-16 | Theorem 5.1 | Markdown, line 343 |
| RT-FIN-16 | Corollary 5.2 | Markdown, line 386 |
| RT-FIN-17 | Lemma 1.1 | Markdown, line 24 |
| RT-FIN-17 | Proposition 1.2 | Markdown, line 43 |
| RT-FIN-17 | Theorem 2.1 | Markdown, line 102 |
| RT-FIN-17 | Lemma 3.1 | Markdown, line 166 |
| RT-FIN-17 | Theorem 4.1 | Markdown, line 218 |
| RT-FIN-17 | Theorem 5.1 | Markdown, line 269 |
| RT-FIN-17 | Proposition 7.1 | Markdown, line 458 |