Proper characteristic subgroup