Ceci semble correct :
Citation :
On a pour tout x' et y' de f(E), existent x et y de E tels que : f(x)=x' et f(y)=y'
Suivi de :
Citation :f(a)

x'=f(a)

y'

f(a)

f(x)=f(a)

f(y)

f(aTx)=f(aTy)

aTx=aTy

x=y

f(x)=f(y)

x'=y'
Donc f(a) régulier dans (f(E);

).
Mais il faut justifier les étapes.
Où utilises-tu a régulier ? f injective ?
Ces

multiples rendent le raisonnement peu visible.
Préfère des "donc" avec des "car" pour justifier.
Je ne vois pas l'intérêt de la 1ère partie que tu proposes, surtout ce
Citation :
on suppose donc f(a) est l'élement régulier dans (f(E);
Si tu supposes la conclusion, autant s'arrêter tout de suite...
Je répète qu'il est incorrect d'écrire "
l'élément régulier ". Il faut écrire "
un élément régulier ".
L'énoncé devrait être :
Montrer que que si

a

est
un élément régulier dans (E;T) alors

f(a)

est
un élément régulier dans (f(E);

)