FC16 — Humphreys, Linear Algebraic Groups
This book contains 129 definitions, 84 theorems, 68 propositions, 43 lemmas, 55 corollaries, 9 examples, 28 constructions, 2 conventions and 50 other statements.
468 statements, none of them checked against Lean yet.
| Chapter | Definitions | Theorems, propositions | Lemmas, corollaries | Everything else | Formalized | Not formalized |
|---|---|---|---|---|---|---|
| Chapter I. Algebraic Geometry | 36 | 38 | 9 | 12 | not checked | |
| Chapter II. Affine Algebraic Groups | 12 | 8 | 5 | 5 | not checked | |
| Chapter III. Lie Algebras | 5 | 8 | 8 | 3 | not checked | |
| Chapter IV. Homogeneous Spaces | 2 | 4 | 2 | 6 | not checked | |
| Chapter V. Characteristic 0 Theory | 3 | 8 | 3 | 8 | not checked | |
| Chapter VI. Semisimple and Unipotent Elements | 9 | 8 | 8 | 3 | not checked | |
| Chapter VII. Solvable Groups | 9 | 16 | 14 | 3 | not checked | |
| Chapter VIII. Borel Subgroups | 3 | 8 | 17 | 4 | not checked | |
| Chapter IX. Centralizers of Tori | 8 | 10 | 11 | 5 | not checked | |
| Chapter X. Structure of Reductive Groups | 11 | 18 | 14 | 6 | not checked | |
| Chapter XI. Representations and Classification of Semisimple Groups | 7 | 15 | 5 | 15 | not checked | |
| Chapter XII. Survey of Rationality Properties and Appendix | 24 | 11 | 2 | 19 | not checked |
What the book contains
| Kind of statement | Count |
|---|---|
| Definitions | 129 |
| Theorems | 84 |
| Propositions | 68 |
| Lemmas | 43 |
| Corollaries | 55 |
| Examples | 9 |
| Constructions | 28 |
| Conventions | 2 |
| Other statements | 50 |
| Total | 468 |
How this book was read
Canonical Sweep-I catalogue for J. E. Humphreys, Linear Algebraic Groups (Springer GTM 21). The source extraction is OCR-derived from the pinned image-only 276-page PDF. Exercises, bibliography-only prose, bibliography and indexes are excluded; substantive recorded survey results are retained. No Lean mapping is part of this record.