ルート系の同型の定義が前回ありました。実は、2つのルート系が同型であるためには、それぞれのルート系の底同士についてだけ一定の条件を満たせば良いです。ルート系の底から定義されるカルタン行列が、ルート系の同型を与えます。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。