Group Homomorphism is a functional mapping that preserves the operations between two groups. In the video, two such groups, namely group of Complex Number Under Multiplication, and Rotational Group of Isosceles Triangle are to convey the idea of the existence of Homomorphism between two groups.