加载中…
Let be a real euclidean vector space of finite dimension and a root system in with a basis . Let and $M = M_{\Theta}Ga_\Theta = a_M / a_Gda_\Theta\Delta - \Theta\Sigma_{\Theta}$ the set of all non-trivial projections of roots in . We obtain conditions on such that contains a root system of rank .

生成讲解博客的中文版本

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