Dans un groupe G, un sous-groupe H est dit caractéristique lorsqu'il est stable par tout automorphisme de G : ∀ σ ∈ A u t, σ ⊂ H ; {\displaystyle \forall \sigma \in Aut,\sigma \subset H~;} strictement caractéristique lorsqu'il est même stable par tout endomorphisme surjectif de G ; pleinement caractéristique, ou encore pleinement invariant, lorsqu'il est même stable par tout endomorphisme de G : ∀ σ ∈ E n d, σ ⊂ H. Wikipedia