Notes for AKT-090929/0:09:24
From Drorbn
Jump to navigationJump to search
Theorem (Milnor-Moore): A graded, connected, co-commutative bialgebra is the universal enveloping algebra of its space of primitives:
- [math]\displaystyle{ \mathcal{A}=U(\mathcal{P}(\mathcal{A})) }[/math]
(A proof is given here.)
