Confused about indices of the Ricci tensor

In an intro to GR book the Ricci tensor is given as:

$$R_{\mu\nu}=\partial_{\lambda}\Gamma_{\mu \nu}^{\lambda}-\Gamma_{\lambda \sigma}^{\lambda}\Gamma_{\mu \nu}^{\sigma}-[\partial_{\nu}\Gamma_{\mu \lambda}^{\lambda}+\Gamma_{\nu \sigma}^{\lambda}\Gamma_{\mu \lambda}^{\sigma}]$$

I have gotten to the point where I can work out a given Christoffel symbol, but I am still having trouble working out the above tensor as a whole (just algebraically speaking). If I'm not mistaken, $R_{\mu\nu}$ should end up a $\mu$x$\nu$ (i.e. 4x4) matrix just like the energy-momentum tensor on the other side of the field equations. In the above rendering $\sigma$ is clearly a dummy index to be summed over, and I can see how $\lambda$ is also a dummy index in the first term. But the $\lambda$s in the other terms seem to be free indices, which would then introduce incompatible dimensions in the matrix operations. I appreciate it if someone can point out the error of my ways.

-
Why did you think that the $\lambda$s are free? – Ron Maimon Jul 24 '12 at 2:17
Because I thought dummy indices had to be repeated in separate symbols. Now it's clear. – ben Jul 24 '12 at 4:18

Every term contains one $\lambda$ in the superscript and one in the subscript, so you sum over those. The only indices which don't appear in both superscript and subscript in the same term are $\mu$ and $\nu$.
$$\Gamma_{\lambda\sigma}^\lambda\Gamma_{\mu\nu}^\sigma = \Gamma_{00}^0\Gamma_{\mu\nu}^0 + \Gamma_{01}^0\Gamma_{\mu\nu}^1 + \cdots + \Gamma_{10}^1\Gamma_{\mu\nu}^0 + \cdots$$
Note, all contraviariant/covariant indices should be written using LaTeX '\phantom' keyword $\Gamma^{\xi}_{\phantom{\lambda}\lambda\sigma}$; they should not be directly over eachother strictly speaking. Although it is a pain to write in this context... :] – Killercam Jul 24 '12 at 17:42
@Killercam It's worth noting that plenty of authors do not offset the indices in the Christoffel symbols, as they are not actually tensors but rather just collections of coefficients. Any ambiguity in the lowered forms can be easily defined away, e.g. $\Gamma_{\lambda\mu\nu} = g_{\lambda\sigma} \Gamma^\sigma_{\mu\nu}$. In any event, the much more convenient way to TeX offset indices is to attach the offset ones to blank structures, as in \Gamma^\lambda{}_{\mu\nu}. Typesetting GR became significantly easier once I stopped using \phantom. ;) – Chris White Jul 31 '12 at 10:20