Every group G is a subgroup of Isometry group of its Cayley graph.

What is essential property of being an Isometry group? Lie group?

  • $\begingroup$ What do you mean by asking what is an essential property of being a Lie group? Every group is a Lie group (just as every set is a zero-dimensional manifold). $\endgroup$ May 11, 2010 at 16:22
  • 1
    $\begingroup$ See also: mathoverflow.net/questions/993/… $\endgroup$ May 11, 2010 at 20:21

1 Answer 1


Every group is the full group of isometries of a connected, locally connected, complete metric space:

de Groot, J. "Groups represented by homeomorphism groups." Math. Ann. 138 (1959) 80–102. MR119193 doi:10.1007/BF01369667

Being a group of symmetries is the same thing as being a group.

You may also be interested to know that every group is the full automorphism group of a graph, not just a subgroup. References for this and various refinements are given at the wikipedia page for Frucht's theorem.

  • 2
    $\begingroup$ +1. I'd been wondering if Frucht's theorem had a name for about 10 years. $\endgroup$
    – S. Carnahan
    May 11, 2010 at 16:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.