面白い問題おしえて～な 26問目

面白い問題おしえて～な 26問目 at MATH

950:１３２人目の素数さん
18/07/21 09:21:56.27 FMy4cnA/.net
>>868
とりあえずグラフがAn、Dn、E6、E7、E8の場合有限回で終わることはわかった。
―-
グラフGが上記のいずれかとする。
点vに対して>>868の操作をする変換をgvとする。
隣接する２点v、wについて(gw・gv)^3 = e、gv^2 = eからこれらの操作のなす群はワイル群の商群。
とくに各頂点に現れうる実数は有限個しかない。
端点に対する変換の回数が有限回しかなければ点数に対する帰納法の仮定に矛盾。
端点に対する変換の回数が無限回であるなら総和は無限に増大するが、各頂点に現れうる実数は有限個しかない事に矛盾。
―
あとは上記でないグラフでないもののうちの極小であるものそれぞれで無限回操作が続きうる事示せばいいはずだけどどんなグラフだったか忘れたorz。

次ページ

続きを表示

1を表示