In particular, a finite solvable group is characteristically simple if and only if it is an elementary abelian group.
W szczególności skończona grupa rozwiązalna jest charakterystycznie prosta wtedy i tylko wtedy, gdy jest elementarną grupą abelową.