Un diagramme commutatif magique : idempotents de K[u] et exponentielle de matrices

Dans ce développement, on va caractériser les idempotents de K[u] avec une jolie méthode : il existe un carré commutatif de morphismes naturels qui montre essentiellement que le Lemme Chinois et le Lemme des Noyaux, c'est la même chose ! Application à l'exponentielle de matrices (avec une petite utilisation de formules de Taylor... ).