Algèbre des descentes et cogroupes dans les algèbres sur une opérade
Descent algebra and cogroups in algebras over an operad
- Année : 1998
- Fascicule : 3
- Tome : 126
- Format : Électronique
- Langue de l'ouvrage :
Français - Class. Math. : 16~W~0, 18~C, 05~E~10
- Pages : 407-433
- DOI : 10.24033/bsmf.2331
On considère l'algèbre des descentes graduée complétée $\Sigma ^{\scriptscriptstyle \wedge }=\prod _n \Sigma _n$ associée aux groupes symétriques $S_n$. Les idempotents eulériens $e^n\in \Sigma ^{\scriptscriptstyle \wedge }$ forment une famille d'idempotents orthogonaux dans $\Sigma ^{\scriptscriptstyle \wedge }$. On fixe une opérade algébrique $\mathcal P$ et on travaille dans la catégorie des $\mathcal P$-algèbres graduées. Soit $R$ une $\mathcal P$-algèbre graduée connexe munie d'une structure de cogroupe. On montre que $\Sigma ^{\scriptscriptstyle \wedge }$ agit de façon naturelle sur $R$ ; par suite, on obtient une décomposition naturelle $R=\oplus _n e^nR$. On montre que la composante $e^1R$ engendre $R$ librement comme $\mathcal P$-algèbre. Dans le cas des algèbres commutatives $\mathcal {P}=\mathcal {C}om$, on retrouve un théorème de structure ique sur les algèbres de Hopf commutatives.
cogroupe, algèbre des descentes de Solomon, opérade