Es posible verlos por tanto como grupos topológicos de manera natural: cada uno de los grupos finitos está dotado de la topología discreta, y como "G" es un subconjunto del producto de aquellos espacios discretos, hereda cierta topología que lo convierte en un grupo topológico.