Simple normal subgroup

Symbol-free definition
A subgroup of a group is termed a simple normal subgroup if it is simple as a group and normal as a subgroup.

Weaker properties

 * Minimal normal subgroup
 * Transitively normal subgroup
 * Simple subnormal subgroup
 * Component