Timeline for Shuffle Hopf algebra: how to prove its properties in a slick way?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 4, 2011 at 16:32 | comment | added | darij grinberg | This is more or less my argument (you are using topological duals where I am using graded duals), except I didn't notice that part 2 too follows by duality from its analogue in the tensor algebra. +1 for this nice observation, but the proof is still not of the simplicity I strived for... -- So the algebraic group corresponding to the shuffle Hopf algebra is the multiplicative group of diagonal power series in $X$. If the characteristic of $k$ is zero, this should be isomorphic to the additive group of primitive power series in $X$. Interesting. | |
| May 4, 2011 at 16:25 | history | answered | AFK | CC BY-SA 3.0 |