El grupo fundamental de un "toro a la n" es un grupo abeliano libre de rango "n".