FC15 — Humphreys, Reflection Groups and Coxeter Groups
This book contains 84 definitions, 58 theorems, 53 propositions, 18 lemmas, 18 corollaries, 17 examples, 32 constructions, 4 remarks, 2 conventions, 1 notation, 1 criterion and 16 other statements.
304 statements, none of them checked against Lean yet.
| Chapter | Definitions | Theorems, propositions | Lemmas, corollaries | Everything else | Formalized | Not formalized |
|---|---|---|---|---|---|---|
| Chapter 1. Finite reflection groups | 19 | 17 | 7 | 8 | not checked | |
| Chapter 2. Classification of finite reflection groups | 13 | 11 | 2 | 8 | not checked | |
| Chapter 3. Polynomial invariants of finite reflection groups | 9 | 20 | 9 | 7 | not checked | |
| Chapter 4. Affine reflection groups | 11 | 12 | 3 | 4 | not checked | |
| Chapter 5. Coxeter groups | 11 | 13 | 6 | 8 | not checked | |
| Chapter 6. Special cases | 5 | 8 | 3 | 6 | not checked | |
| Chapter 7. Hecke algebras and Kazhdan–Lusztig polynomials | 9 | 13 | 4 | 18 | not checked | |
| Chapter 8. Complements | 7 | 17 | 2 | 14 | not checked |
What the book contains
| Kind of statement | Count |
|---|---|
| Definitions | 84 |
| Theorems | 58 |
| Propositions | 53 |
| Lemmas | 18 |
| Corollaries | 18 |
| Examples | 17 |
| Constructions | 32 |
| Remarks | 4 |
| Conventions | 2 |
| Notations | 1 |
| Criteria | 1 |
| Other statements | 16 |
| Total | 304 |
How this book was read
Pinned source: J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge Studies in Advanced Mathematics 29; pinned PDF is the Cambridge paperback with corrections represented by the project manifest.
Extraction: Humphreys - Reflection Groups and Coxeter Groups.md (216 PDF pages; page-marked).
Coverage rule: complete mathematical main text; interleaved exercises, bibliographic-only Notes, references, and index are excluded as source units. The index is used as a completeness audit.