ルート系
ルート系の一般論のまとめです．参照のために作りました．
2023-08-29: 公開
2025-06-04: Lie代数への応用の際に必要になる結果を追記しました．ルート系の分類には用いられない結果は，付録に「補足」としてまとめました．
2025-08-07: 構成を見直して，付録の内容を本文に組み込みました．二つのルートの関係について，より詳しく説明しました．