éléments symétrisables vs réguliers
éléments symétrisables vs réguliers
Bonjour, et d'avance merci pour votre aide.
Dans un monoïde (E, *) , on sait que tout élément symétrisable à gauche est régulier à gauche. Idem à droite.
On dit que les réciproques sont fausses en général, sauf si l'ensemble E est fini. Je me suis un peu penché sur la démonstration, et en fait je trouve un résultat plus fort qui est le suivant :
Si E est fini, tout élément de E régulier à gauche ou à droite est symétrisable (à gauche et à droite).
C'est bon ?
Pierre
Dans un monoïde (E, *) , on sait que tout élément symétrisable à gauche est régulier à gauche. Idem à droite.
On dit que les réciproques sont fausses en général, sauf si l'ensemble E est fini. Je me suis un peu penché sur la démonstration, et en fait je trouve un résultat plus fort qui est le suivant :
Si E est fini, tout élément de E régulier à gauche ou à droite est symétrisable (à gauche et à droite).
C'est bon ?
Pierre
Re: éléments symétrisables vs réguliers
Bonjour,
Oui, si $ a $ a un symétrique à droite $ b $, la multiplication à gauche par $ a $ est surjective et la multiplication à droite par $ a $ est injective.
Oui, si $ a $ a un symétrique à droite $ b $, la multiplication à gauche par $ a $ est surjective et la multiplication à droite par $ a $ est injective.
Re: éléments symétrisables vs réguliers
Oui c'est vrai, même si E est infini d'ailleurs.
L'application y = a * x est en effet surjective puisque tout élément y_0 a un antécédent au moins. Par exemple x_0 = b * y_0 convient.
L'application y = x * a est en effet injective puisque si x_1 * a = x_2 * a alors x_1 = x_2 (il suffit de multiplier chaque membre à droite par b).
Mais cela n'a pas vraiment de lien avec ma question ?
L'application y = a * x est en effet surjective puisque tout élément y_0 a un antécédent au moins. Par exemple x_0 = b * y_0 convient.
L'application y = x * a est en effet injective puisque si x_1 * a = x_2 * a alors x_1 = x_2 (il suffit de multiplier chaque membre à droite par b).
Mais cela n'a pas vraiment de lien avec ma question ?
Re: éléments symétrisables vs réguliers
Bien sûr que si, ça a un lien !
Ne sais-tu pas que pour une application d'un ensemble fini dans lui-même, injective équivaut à surjective équivaut à bijective ?
Ne sais-tu pas que pour une application d'un ensemble fini dans lui-même, injective équivaut à surjective équivaut à bijective ?
Re: éléments symétrisables vs réguliers
Ah oui c'est vrai, je n'y pensais pas.
Et sachant que la bijection y = x * a est la réciproque de y = a * x, au bout du compte il y a équivalence entre "a est symétrisable" et "a est inversible".
Ma démonstration n'est pas présentée de cette manière.
Merci
Et sachant que la bijection y = x * a est la réciproque de y = a * x, au bout du compte il y a équivalence entre "a est symétrisable" et "a est inversible".
Ma démonstration n'est pas présentée de cette manière.
Merci