Is it in the correct direction, and did anyone do that work? If I differentiate curved surfaces first to a small area and then use a Dihedral group to do reflection on those areas to achieve total symmetry for any curved surface in any dimension, can we classify the reachability of a total symmetric to all curved surfaces by the dihedral group Dn?