Class Field Theory
《Class Field Theory》 · 第 379 页 · Section 13.4「The Fundamental Groups of K and T」，Definition 13.16（实根系语境）
Definition 13.16. The coroot lattice, denoted $I$, is the set of all integer linear combinations of real coroots $H_\alpha$, $\alpha\in R$.