设〈G，∘〉是一个群.若存在从〈G，∘〉到〈H，*〉的满同态，则〈H，*〉也构成群。