Principal congruence on finte communitative groups and Hamilton groups were discussed.Equivalent characterization for principal congruence on them were obtained by constructing principal congruence formula on them and analyzing definition of congruence.