Bicommutant
Un article de Wikipédia, l'encyclopédie libre.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
En algèbre, le bicommutant d'un sous-ensemble S d'un semigroupe 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 par une lettre primée, le bicommutant est noté par une lettre doublement primée : S’’.
Le bicommutant de S contient toujours S. De plus, comme S’’’ = (S’’)’ = (S’)’’, il s'ensuit que le commutant du bicommutant de S est égal au commutant de S. On a ainsi, par récurrence, les relations suivantes :