Definimos un "p"-subgrupo de Sylow en un grupo infinito como un "p"-subgrupo (es decir, un subgrupo donde el orden de todo elemento es una potencia de "p") maximal respecto a la inclusión entre el conjunto de todos los "p"-subgrupos.