La última afirmación tiene un correlato en el caso de grupos que no son finitos: si "G" es un grupo nilpotente, entonces todo subgrupo de Sylow "G" de "G" es normal y la suma directa de estos subgrupos de Sylow es el subgrupo de todos los elementos de orden finito en "G" (ver subgrupo de torsión).