A type of p-group which arises in the Sylow theorems