最小正规子群

minimal normal subgroup