Meaning of Slot-Naming Index Notation (tensor conversion) I'm studying the component representation of tensor algebra alone.
There is a exercise question but I cannot solve it and cannot deduce answer from the text. The text is concise, I think it assumes a bit of familiarity with the knowledge.

(a) Convert the following expressions and equations into geometric, index-free notation:
  $A^αB_{γβ} ;\;
A_αB_γ^{\;β} ;\;
S_α^{\;βγ}=S^{γβ}_{\quadα} ;\;
A^αB_\alpha=A_αB^βg^α_{\;β}$

In this problem, I can't see any difference between first two expressions except for the index position, and my only solution for the expression of index position is using metric tensor $g$, which I think is included in slot-naming notation. Is "index-free" notation able to express the difference?
Other expressions are similarly confusing for me.

(b) Convert $\mathbf T(\_,\mathbf S(\mathbf R(\vec C,\_),\_),\_)$ into slot-naming index notation.

I think this notation would be not so universal notation. These problem are from http://www.pmaweb.caltech.edu/Courses/ph136/yr2012/1202.1.K.pdf (Ex 2.7, pg 19) and the help of anyone who is familiar with the notation would be appreciated.
 A: There are several reasons why we have indices on tensors:


*

*to indicate their rank 

*to indicate the variance of a component, either covariant (lower index), or contravariant (upper index). 

*to indicate contractions 


Now, so long as a tensor $T^{ij}_{klm}$ is understood as being of a particular rank and variance you can simply write $T$. 
However, there is no simple notation that covers all the kinds of contractions that are possible on general tensors. For particular classes of tensors there are index free notations. One that you should be familiar with is matrices, vectors and covectors. These are tensors of type (1,1), (1,0) & (0,1). And contraction here is just multiplication of matrices, or matrices acting on vectors, or matrices being acted on by covectors and we also have convectors acting on vectors. Quite a list, and here we have only three types of tensors! 
Hence, the modern way of viewing tensors with their indices is to view them as geometric objects with the indices indicating possible contractions. This appears to be what they are calling ‘slot-naming index notation’ in your question, it’s also been called ‘abstract index notation’. 
A: a) I think that the writers want us to use notation without indices to express the tensor or the equation, like the first one
$A^{\alpha}B_{\gamma\beta}=A^{\alpha}B(\vec e_{\gamma},\vec e_{\beta})=A(\underline{})\cdot \vec e_{\alpha} B(\vec e_{\gamma},\vec e_{\beta})$
I guess
b) I think that R should be a two-rank tensor but as for S, whether it is a 2-rank tensor or a 3-rank tensor, I'm not sure.
I guess. 
A: For b) I agree with Michael Siefert that R and S should be rank 2. If I ask for an expression with indices for 4 slots, the only way I've been able to see to do that is $$T_{\alpha\zeta\beta}S^\zeta_{\,\gamma} R^\epsilon_{\,\delta} C_\epsilon$$
The examples they give in the text are irritatingly overly simplified and so ambiguous and because it isn't a widely used notation it's hard to find guidance.
