Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Exercise 13 from Roman's book "Advanced Linear Algebra" (page 107).

The author gives us a vector space $V$ with $$V=S_{1}\oplus T_{1}=S_{2}\oplus T_{2}$$ and asks us to prove that if $S_{1}$ and $S_{2}$ have finite codimension in $V$, then so does $\dim V/ (S_{1}\cap S_{2})$ and $$\dim V/ (S_{1}\cap S_{2})\leq \dim T_{1}+\dim T_{2}.$$

I did a lot of work but I didn't get anywhere. Thanks for your help.

share|cite|improve this question
up vote 4 down vote accepted

Let $p_1\colon V \to T_1$ and $p_2\colon V \to T_2$ be the projections coming with the direct sums. What are the kernels of these maps? If you define a map \[ V \to T_1 \times T_2 \] by sending $x$ to $(p_1(x), p_2(x))$, then what is the kernel of this?

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.