Mathématiques, informatique, politique et poésie
Soit \((G, \bullet)\) et \((G', \star)\) deux groupes.
\(f : G \to G'\) est un morphisme quand \(\forall (x,y) \in G^2, f(x\bullet y)=f(x)\star f(y)\).
