Notes for AKT-090929/0:09:24: Difference between revisions
From Drorbn
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
'''Theorem (Milnor-Moore)''': A graded, connected, co-commutative bialgebra is the universal enveloping algebra of its space of primitives: |
|||
Milnor-Moore theorem, definition of a permitive |
|||
: <math>\mathcal{A}=U(\mathcal{P}(\mathcal{A}))</math> |
|||
(A proof is given [http://math.uchicago.edu/~mitya/bloch-hopf/hopf3.pdf here].) |
|||
Latest revision as of 22:48, 18 October 2011
Theorem (Milnor-Moore): A graded, connected, co-commutative bialgebra is the universal enveloping algebra of its space of primitives:
(A proof is given here.)
