fully characteristic subgroup