oui bien sur
je voulais dire que si on a f un homomorphisme definie de (F,*) vers (E,T)on a evidement l'implication que j'ai deja marquée
c'est que : (E,T) est un groupe alors (f(E),*) est un groupe
ms est ce qu'on peut considérer l'autre implication c'est que si (f(E),*) est un groupe alors (E,T) est un groupe sachant que f un homomorphisme definie de (F,*) vers (E,T)