Jabarkan Subgrup dengan karakteristik penuh dari Subgrup karakteristik

Untuk kendala yang lebih kuat, sebuah  subgrup karakteristik penuh  (juga,  subgrup invarian penuh ; cf. subkelompok invarian), , dari grup , adalah grup yang tersisa  invariant di bawah setiap endomorphism dari ; itu adalah,