Isomorphisme

[ Definition ]
Étant donnés \(X\) et \(X'\) deux \(G\)-ensembles, on appelle \(G\)-homomophisme de \(X\) vers \(X'\) une application \(\phi\) de \(X\) dans \(X'\) telle que \(\phi(g.x)=g.\phi(x)\) pour tous \(x\in X\) et \(g\in G\). On note \(Hom(X,X')\) l’ensemble des homomorphismes de \(X\) sur \(X'\). Comme d’habitude, un isomorphisme est un homomorphisme bijectif.
En savoir plus