 Every subgroup of a finite "p"-group is subnormal, and those finite groups in which subnormality and permutability coincide are called PT-groups.In other words, a finite "p"-group is an Iwasawa group if and only if it is a PT-group.Both finite and infinite M-groups are presented in textbook form in .