没错，你可以从群结构反推
【 在 gloop 的大作中提到: 】
: 伽利略变换就是一个群，假定了群结构就是假定了群？
:
--
FROM 117.136.57.*