N=P-group

Symbol-free definition
A group is said to be a N=P-group if the normal subgroups are the same as the permutable subgroups, or equivalently, if every permutable subgroup of it is normal.

Stronger properties

 * Strictly simple group (simple group when the group is finite)
 * T-group (when the group is finite)