Commutant

Commutant

En algèbre, le commutant[1] d'un sous-ensemble X d'un magma A (par exemple une algèbre sur un anneau, pour la multiplication) est le sous-ensemble X' des éléments de A qui commutent avec tout élément de X. Autrement dit,

X'=\{a\in A~|~\forall x\in X, xa=ax\}.

En théorie des groupes, le commutant est appelé centralisateur.

Propriétés

Les deux premières propriétés expriment, de deux façons équivalentes, que l'application {\mathcal P}(A)\to{\mathcal P}(A), X\mapsto X' permet de définir une correspondance de Galois antitone. La troisième[2] en est une conséquence[3].

  • X\subset Y'\Leftrightarrow Y\subset X'
  • (X\subset Y\Rightarrow Y'\subset X') et X\subset X''
  • X'''=X'~
  • Si A est un demi-groupe (par exemple un groupe, ou bien un pseudo-anneau, pour la multiplication) alors[2] le commutant d'une partie quelconque de A forme une partie stable de A.

Notes et références

  1. Bourbaki, Éléments de mathématique, Algèbre, Chapitres 1 à 3, Springer, 2007 (ISBN 978-3-540-33849-9) p. A I.7
  2. a et b Bourbaki, op. cit., p. A I.8
  3. Voir Propriétés des correspondances de Galois

Articles connexes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Commutant de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Commutant — In algebra, the commutant of a subset S of a semigroup (such as an algebra or a group) A is the subset S′ of elements of A commuting with every element of S. In other words, S′ forms a subsemigroup. This generalizes the concept of centralizer in… …   Wikipedia

  • Commutant lifting theorem — In operator theory, the commutant lifting theorem, due to Sz. Nagy and Foias, states that if T is a contraction on a Hilbert space H, U is its minimal unitary dilation acting on some Hilbert space K (which can be shown to exist by Sz. Nagy s… …   Wikipedia

  • Commutant-associative algebra — In abstract algebra, a commutant associative algebra is a nonassociative algebra over a field whose multiplication satisfies the following axiom: ([A1,A2],[A3,A4],[A5,A6]) = 0, where [A, B] = AB − BA is the commutator of… …   Wikipedia

  • commutant — noun The subset of all elements of a semigroup that commute with the elements of a given subset …   Wiktionary

  • Paire de matrices commutantes — En mathématiques, une paire de matrices commutantes est un couple (A,B) de matrices carrées à coefficients dans un corps commutatif qui commutent, c est à dire que AB = BA. L étude des paires de matrices commutantes a des aspects tout à fait… …   Wikipédia en Français

  • Paires de matrices commutantes — Paire de matrices commutantes En mathématiques, une paire de matrices commutantes est un couple (A,B) de matrices carrées à coefficients dans un corps qui commutent, c est à dire que AB = BA. L étude des paires de matrices commutantes a des… …   Wikipédia en Français

  • Bicommutant — In algebra, the bicommutant of a subset S of a semigroup (such as an algebra or a group) is the commutant of the commutant of that subset. It is also known as the double commutant or second commutant and is written S^{prime prime}.The bicommutant …   Wikipedia

  • Von Neumann algebra — In mathematics, a von Neumann algebra or W* algebra is a * algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. They were originally introduced by John von Neumann,… …   Wikipedia

  • Zonal spherical function — In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K (often a maximal compact subgroup) that arises as the matrix coefficient of a K invariant vector in an… …   Wikipedia

  • Bicommutant — 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 X’, son… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”