Large characteristic subgroups in which normality is a transitive relation