Primero, tenga en cuenta que esto no funcionará a menos que admitamos espacios topológicos bastante patológicos: cualquier cosa remotamente geométrica tendrá un grupo de automorfismo absolutamente enorme, como puede ver al considerar el grupo de automorfismo de un segmento de línea [0, 1] . Así que tendremos que usar espacios que no satisfagan los axiomas de separación básicos. * *
Para el caso de grupos finitamente generados, la respuesta es aparentemente “sí”; ver
- Thornton, MC Espacios con grupos dados de homemorfismo . Actas de la American Mathematical Society 33 (1), mayo de 1972.
http://www.ams.org/journals/proc…
- ¿Cuál sería el método más directo para probar el último teorema de Fermat? ¿Qué hace que la ecuación final sea tan difícil de resolver?
- Cómo explicar el argumento diagonal de Cantor a alguien en términos simples
- Tengo un viaje planeado con 12 golfistas jugando 5 rondas. ¿Cómo puedo trabajar parejas en 3 x cuatro bolas para que cada golfista juegue con cada una de las otras al menos una vez?
- ¿Por qué es cierto un teorema?
- Cómo estudiar como estudiante de matemáticas en la universidad con ADD
Para grupos más generales, no lo sé, aunque no conozco muchos grupos interesantes no generados finitamente que no tengan estructura adicional. Por ejemplo, el grupo aditivo de los números racionales no se genera de manera finita, pero viene con una topología que proviene del ordenamiento de los enteros.
* Si trabaja en una categoría donde este tipo de tonterías no sucede, puede salirse con la suya haciendo versiones geométricas de gráficos y usando los teoremas correspondientes allí, como el teorema de Frucht. Inicialmente di una respuesta incorrecta en este sentido; Gracias a Jake McNamara por señalar esto en los comentarios.