Abstract Algebra Struggles: Navigating Levi and Malcev Theorems

[littleHilbert]

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 \beta_1(s) isomorphic to s.
3. why dim(ker\alpha_2)=dim(n_1)

and why is there beta with tilde present. Is it a typo?

 

[morphism]

What I don't understand is:
1. why the formula for the dimensions holds.

By the first isomorphism theorem,
\dim \ker \alpha_1 = \dim \mathfrak{g}/\mathfrak{n}_1 - \dim \mathfrak{s} = \dim \mathfrak{g}/\mathfrak{n}_1 - \dim \mathfrak{g}/\mathfrak{n} = \dim \mathfrak{n} - \dim \mathfrak{n}_1.
The last equality follows from the fact that dim(v/w)=dimv-dimw.

2. why \beta_1(s) isomorphic to s.

\beta_1 has a left inverse, and hence is injective.

3. why dim(ker\alpha_2)=dim(n_1)

By definition, \ker\alpha_2 = \{x : x + \mathfrak{n}_1 = \mathfrak{n}_1\} = \mathfrak{n}_1.

and why is there beta with tilde present. Is it a typo?

The tilde is there probably because the domain \beta_2 is being adjusted to all of \mathfrak{g}/\mathfrak{n}_1. But don't worry about it - it's mostly irrelevant.