On Natural Groups
A group (G,*) is natural if its group operation is uniquely determined by a metric structure (G,d) on G in the following sense: every group structure (G,.) for which all right translations are isometries of (G,d) must be isomorphic to (G,*). Examples included all connected Lie groups or all groups generated by involuti...