Injectivity Via the Kernel of a Homomorphism
This animation proves that a group homomorphism f:G→H is injective if and only if its kernel is trivial, {e_G}. Starting from the definitions of ker(f) and f(e_G)=e_H, it builds both implications: injectivity forces a trivial kernel, and a trivial kernel forces injectivity via the identity f(xy⁻¹)=f(x)f(y)⁻¹. Formulas appear progressively with the decisive element xy⁻¹ highlighted, alongside a schematic kernel diagram. Designed for CPGE MP students studying group theory rigorously, without assuming commutativity.
Narrated · 16:9 · Preview before teaching · automatic layout checks do not establish subject accuracy
The prompt that made it
Réalise une capsule animée en français, d’environ 2 minutes, pour des élèves de CPGE MP. Sujet unique : un morphisme de groupes f:G→H est injectif si et seulement si ker(f)={e_G}. Le PDF contient une fiche pédagogique en page 1 et le cours en page 2. Ne lis pas la fiche. Sur la page 2, traite uniquement la proposition 1.23, point 1, et sa démonstration. Ignore la surjectivité et les sous-groupes engendrés. Progression : 1. Rappeler brièvement que ker(f)={x∈G : f(x)=e_H} et que f(e_G)=e_H. 2. Sens direct : si f est injectif et x∈ker(f), alors f(x)=f(e_G), donc x=e_G. Comme e_G appartient au noyau, ker(f)={e_G}. 3. Réciproque : supposer ker(f)={e_G}. Si f(x)=f(y), alors f(xy⁻¹)=f(x)f(y)⁻¹=e_H. Ainsi xy⁻¹∈ker(f), donc xy⁻¹=e_G, puis x=y. 4. Conclure : le noyau permet de tester l’injectivité en étudiant seulement les éléments envoyés sur le neutre. Animations Manim : Faire apparaître les formules ligne par ligne, synchronisées avec la voix. Colorer xy⁻¹ puis son image e_H pour expliquer l’étape décisive. Garder les hypothèses visibles. Illustrer le noyau par des flèches vers e_H, en précisant que le dessin est schématique. Formules grandes, fond sobre, contraste élevé, voix posée, sans musique ni avatar. Ne jamais supposer les groupes commutatifs. Conserver les deux implications et toutes les justifications.
Make the next one in this series
- Montrer que l'image d'un morphisme de groupes est un sous-groupe de H
- Illustrer le premier théorème d'isomorphisme G/ker(f) ≅ Im(f)
- Étudier un exemple concret : le morphisme déterminant GLₙ(ℝ)→ℝ* et son noyau SLₙ(ℝ)
