A nonidentity group is simple if and only if every homomorphism from it has either trivial kernel or total kernel. This characterizes simple groups through the structure of their kernels, equivalent to saying simple groups have no intermediate normal subgroups.