Let be a symmetrizable generalized Cartan matrix with corresponding Kac–Moody algebra over . Let be an integrable highest weight -module and let be a -form of . Let be an associated minimal representation-theoretic Kac–Moody group and let be its integral subgroup. Let be the Chevalley subgroup of , that is, the subgroup that stabilizes the lattice in . For a subgroup of , we say that is integral if and that is strongly integral if there exists such that, for all , implies . We prove strong integrality of inversion subgroups of where, for , is the the group generated by positive real root groups that are flipped to negative roots by . We use this to prove strong integrality of subgroups of the unipotent subgroup of generated by commuting real root groups. When has rank 2, this gives strong integrality of subgroups and where and each is generated by `half’ the positive real roots.

生成讲解博客的中文版本

生成AI智能校验的中文版本