Cocommutativité

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, la cocommutativité est une notion duale de la notion de commutativité.

[modifier] Définition

Soit (A,Δ) une bialgèbre. Pour tout x appertenant à A, on note  \Delta(x)= \sum_k x_k^{(1)} \otimes x_k^{(2)}. La bialgèbre A est dite cocommutative si :

\forall x \in A,\ \sum_k x_k^{(1)} \otimes x_k^{(2)}=\sum_k x_k^{(2)} \otimes x_k^{(1)}