A very powerful theorem, called the First Isomorphism Theorem, lets us in many cases identify factor groups (up to isomorphism) in a very slick way. Kernels will play an extremely important role in th...A very powerful theorem, called the First Isomorphism Theorem, lets us in many cases identify factor groups (up to isomorphism) in a very slick way. Kernels will play an extremely important role in this. We therefore first provide some theorems relating to kernels.