ひと息。

G_a が群であることが分かり有限群論の
豊富なツールを使う道筋が開けました。

しかしもし群による統制が強すぎるならば
有限群論で全て説明がついてしまい群論からの
新たな進展はないことになるでしょう。

△に群論を超える何かは含まれるのか？

その答えは有限群論のツールをどんどん適用していけば
明らかになるでしょう。

＃といってもまだ見通しは立っていません
＃カキコみながら考えています