Normal subgroup of least prime order

Definition
A subgroup of a finite group is termed a normal subgroup of least prime order if it is normal and its order is the smallest prime number dividing the order of the group.

Any such subgroup must necessarily be a central subgroup.

Weaker properties

 * Central subgroup: