Since it is a complementary subspace it has codimension one in L$L$, and so is maximal. It is an ideal of L$L$ because L^2$L^2$ is inside M$M$.
user 1
- 1.4k
- 1
- 13
- 24