横槍すみません
対称的な変換全体が群になるのは分かりますが、その逆で任意の群を対称的な変換全体と見なせるとは言えないのでは？