Esto es, "P" es un "p"-grupo y el mcd (|"G" : "P"|, "p") = 1.