>>445
S^6にはSO(7)が作用するんだよ
有限群と両立しないことよりも、リー群(SO(7)の部分群)の作用と両立しない
ことを示す方がずっと有益だと思うけど