This lecture introduces the first isomorphism theorem in group theory, which states that for a group homomorphism G to H, an isomorphism is induced between G/ker and Im. The proof involves corestriction of the homomorphism and showing injectivity by observing the kernel. Various examples and applications are discussed.