salam
un peu de précision et de rigueur
..................................................
(E^E , o) : l'ensemble des applications de E -----> E , muni de la loi o
Ce n'est pas un groupe , c'est un semi groupe ( o loi interne , associative , admet un élément neutre, mais le symétrique n'existe pas toujours)
............................................................
Imf = f(E) .
........................................................