structures algébriques

on considère que f est un homomorphisme definie de (F,*) vers (E,T)
(E,T) est un groupe alors (f(E),*) est un groupe
est ce qu'on peut considérer que l'autre application est correcte aussi.
merci bien

fatima ezzahra a écrit:

on considère que f est un homomorphisme definie de (F,*) vers (E,T)
(E,T) est un groupe alors (f(E),*) est un groupe
est ce qu'on peut considérer que l'autre application est correcte aussi.
merci bien

J'ai pas bien compris pouvez vous m'eclaircir ?

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)

nn pas dans tt les cas .vous pouvez considrez l'autre application si et seulement si la fonction f est est une bijection