6
votes
1answer
150 views

Problem with Eisenbud's Lemma “Symmetry of Diagonalization”?

This question was first asked on MathSE but nobody answered. In his proof of Lemma A2.5 in his book Commutative Algebra with a View towards Algebraic Geometry, Prof. Eisenbud writes something like ...
12
votes
3answers
680 views

Classification of Hopf algebras (state of the art)

I assume that the classification of (certain families of) Hopf algebras is still an open problem, am I right? My question is the following: What is the current state of the art? What is known about ...
3
votes
6answers
249 views

Do stunted exponential series give projections of a cocommutative bialgebra on its coradical filtration?

Let $k$ be a field of characteristic $0$. Let $H$ be a cocommutative connected filtered bialgebra over $k$. ("Connected" means that the counit, restricted to the $0$-th part of the filtration, is an ...
16
votes
7answers
2k views

Shuffle Hopf algebra: how to prove its properties in a slick way?

Let $k$ be a commutative ring with $1$, and let $V$ be a $k$-module. Let $TV$ be the $k$-module $\bigoplus\limits_{n\in\mathbb N}V^{\otimes n}$, where all tensor products are over $k$. We define a ...