Bicommutant
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/53/Evariste_galois.jpg/27px-Evariste_galois.jpg)
Cet article est une ébauche concernant l’algèbre.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En algèbre, le bicommutant[1] d'un sous-ensemble d'un magma est le commutant du commutant de ce sous-ensemble. Il est aussi appelé double commutant ou second commutant. De même qu'on note le commutant de X par une lettre primée , son bicommutant est noté par une lettre doublement primée : .
Propriétés
Les propriétés galoisiennes du commutant entraînent que :
- le bicommutant est un opérateur de clôture, i.e.
- , cette dernière égalité (qui entraîne la précédente) venant de
- et de .
On a ainsi, par récurrence, les relations suivantes :
pour tout entier n ≥ 1.
Note et référence
- ↑ N. Bourbaki, Éléments de mathématique, Algèbre, Chapitres 1 à 3, Springer, 2007 (ISBN 978-3-540-33849-9) p. A I.8.
Voir aussi
- Théorème du bicommutant de von Neumann
- Centralisateur
Portail de l’algèbre