Milnor–Moores sats

Inom matematiken är Milnor–Moores sats, introducerad av (Milnor–Moore 1965), ett resultat som säger att givet en sammanhängande graderad kokommutativ Hopfalgebra A över en kropp av karakteristik noll med $\dim A_{n}<\infty$ är den naturliga Hopfalgebrahomomorfin

$U(P(A))\to A$

från den universella envelopperande algebran av den "graderade" Liealgebran $P(A)$ av primitiva elementen av A till A är en isomorfi.

Källor

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Milnor–Moore theorem, 4 mars 2015.

• Lecture 3 of Hopf algebras by Spencer Bloch
• J. May, "Some remarks on the structure of Hopf algebras"
• J.W. Milnor, J.C. Moore, "On the structure of Hopf algebras" Ann. of Math. (2), 81 : 2 (1965) pp. 211–264

Externa länkar

• Formal Lie theory in characteristic zero, a blog post by Akhil Mathew