Hello! I've got big problems with understanding abstract algebra, the way we deal with it in the seminar on Lie algebras. In just four weeks we progressed up to Levi and Malcev theorems, which are actually the culmination, the say, of classical Lie algebras theory. I didn't think, that the material would become so dense and abstract in so small amount of time. So it's my fault in the end. But I need help, because I have to make a presentation of these two theorems. I'd like to note that I've got absolutely no background in Lie group theory. They said that some knowledge of linear algebra would suffice... I attached a pdf with the statement of Levi's theorem and the treatment of the first case when kernel is not a minimal ideal. What I don't understand is: 1. why the formula for the dimensions holds. 2. why [itex]\beta_1(s)[/itex] isomorphic to s. 3. why [itex]dim(ker\alpha_2)=dim(n_1)[/itex] and why is there beta with tilde present. Is it a typo?