Cette séance de cours explore le troisième théorème de l'isomorphisme en théorie de groupe, en se concentrant sur les groupes quotients et une perspective catégorique. Le théorème indique que pour un groupe G et un sous-groupe N, si K est un sous-groupe de G contenant N, alors G/K est isomorphe à (G/N)/(K/N). La preuve consiste à montrer que certains ensembles sont égaux et à considérer la surjectivité de l'homomorphisme. Les notations et les calculs sont utilisés pour illustrer l'application du théorème.