un subgrupo cerrado (no necesariamente normal).