Timeline for Group rings of infinite products of groups
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 22, 2010 at 17:11 | comment | added | Todd Trimble | Well, that's right. For example, the product of two cocommutative coalgebras (over a commutative ring, which is actually the case I was considering) is the tensor product of the underlying modules, and same for cocommutative Hopf algebras. I'll see if I can improve my answer; a few months back I was thinking some about the many amazing categorical properties of the category of coalgebras over a commutative ring. | |
| Nov 22, 2010 at 16:22 | comment | added | HenrikRüping | So this would mean especially, that a inverse limit in the category of hopf algebras (over a cofiltered system) is not constructed by taking the inverse limits of the underlying sets and defining the operations componentwise (otherwise the map would still be not surjective). I cannot (yet) really imagine how the construction looks like. | |
| Nov 22, 2010 at 15:17 | history | answered | Todd Trimble | CC BY-SA 2.5 |