Cette séance de cours explore l'isomorphisme entre Hom(A, B) et Hom(A, B) pour n'importe quel groupe abelien B, basé sur la proposition que pour un ensemble donné X et {Ax) x X} dans Ab, il existe une relation claire. La preuve consiste à montrer l'isomorphisme entre Hom(A, B) et Hom(A, B) au moyen d'une cartographie spécifique. La séance de cours s'inscrit également dans les ensembles sous-jacents des groupes abeliens et l'importance de démontrer des relations spécifiques au sein d'eux, conduisant à une compréhension plus profonde du lien entre les sommes directes et Hom functors.