Milnor–Moores sats

Inom matematiken är Milnor–Moores sats, introducerad av Mall:Harv, ett resultat som säger att givet en sammanhängande graderad kokommutativ Hopfalgebra A över en kropp av karakteristik noll med $\dim A_n<\mathrm{\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

• Mall:Enwp
• 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