Definition talk:P-Group/Definition 2