Soit un ensemble E muni d'une loi associative notée multiplicativement
Soit a un élément de E, tel que l'application f de E dans E soit : f(x) = ax, et que f soit surjective.
Montrer que :
( b appartient à E et l'application g(x) = bax est injective ) <=> (b appartient à E et l'application h(x) = bx est injective)
Il y a un sens plus facile à démontrer que l'autre _.gif)