Ado's theorem and its generalization holds for a "finite dimensional" Lie algebra only, i.e. , as a vector space, must be finite dimensional.
Hello! I've written a paper for a class and if anyone had the time to glance it over and had any suggestions or notices any glaring errors, it would be great to hear any feedback!
I pondering putting this in "Pre-prints and other original work" section of the forum but I thought this might be a better place, given that it's all just basic stuff about Lie algebras, nothing too tough or "original" work. Hopefully this is OK!
Thanks for the reads, anyone who has a chance.
Except for the one mentioned by NonCommAlg at least all the theorem statements look to be correct. Also, as a notational convention I would tend to, in accordance with the usual notation, use lower case mathfrak letters to denote algebras (i.e. instead of ). This isn't a huge deal but it would be nice so that someone never seeing lie algebras before (since this introduction) wouldn't (even though you told them) not confuse say the space of tracless complex matrices with the special linear group.