Use of the quotient law for tensors by contraction I'm having a hard time seeing how the quotient law for tensors is used it the following example of Riley, Hobson and Bence (3rd).
Preceding the example, it reads

Use of the quotient law to test whether a given set of quantities is a tensor is generally much more convenient than making a direct substitution. A particular way in which it is applied is by contracting the given set of quantities, having N subscripts, with an arbitrary $N$th order tensor (i.e. having independently variable components) and determining whether the result is a scalar.

If one contracts a given set of quantities, having $N$ subscripts, with an arbitrary $N$th order tensor, isn't the result then by definition not always a scalar? How is the quotient law used in this statement?

Use the quotient law to show that the elements of
$T= \begin{pmatrix} x_2^2 & -x_1x_2 \\ -x_1x_2 & x_1^2\end{pmatrix}$ are the components of a second-order tensor.


The outer product $x_ix_j$ is a second-order tensor. Contracting this with $T_{ij}$ we obtain
$$
T_{ij}x_ix_j = x_2^2x_1^2-x_1x_2x_1x_2-x_1x_2x_2x_1+x_1^2x_2^2
$$
which is clearly invariant (a zeroth-order tensor). Hence, by the quotient theorem $T_{ij}$ must also be a tensor.

The quotient law, as mentioned, is introduced as follows. If we know that $\mathbf B$ and $\mathbf C$ are tensors and also
$$
A_{pq\ldots k\ldots m} B_{ij \ldots k \ldots n} = C_{pq \ldots mij \ldots n},
$$
does this imply that the $A_{pq\ldots k\ldots m}$ also form the components of a tensor? The quotient law says this is true if the relation holds in all rotated coordinate frames. It then proves it for $N=M=2$. The subscript $k$ that has been contracted may be any of the subscripts in $\mathbf A$ and $\mathbf B$ independently.
Never does the text mention anything about contracting in using the quotient law.
How is the quotient law used in the example?
 A: The problem with the textbook is that they summed over both $i$ and $j$ in one go, but the Quotient Law's statement only involves summing over one index at a time, in this case, $k$.
Here's a worked solution to the problem you quoted. We need to test $T_{ij}$ for Tensor character. The textbook tells us to use $x_mx_n$, which we'll write as $$A_{mn}=\begin{pmatrix} x_1^2 & x_1x_2 \\ x_1x_2 & x_2^2\end{pmatrix}\ .$$ So, we need to calculate the following 4 entities and see if they are tensors:
$$
\begin{array}{rcccl}
C_{in}&=&T_{ik}A_{kn}&=&T_{i1}A_{1n}+T_{i2}A_{2n}\\
C_{im}&=&T_{ik}A_{mk}&=&T_{i1}A_{m1}+T_{i2}A_{m2}\\
C_{jn}&=&T_{kj}A_{kn}&=&T_{1j}A_{1n}+T_{2j}A_{2n}\\
C_{jm}&=&T_{kj}A_{mk}&=&T_{1j}A_{m1}+T_{2j}A_{m2}\\
\end{array}
$$
If all 4 are tensors, then we may conclude that $T_{ij}$ is also a tensor.
As an example, we find $C_{jn}$:
$
C_{jn}=T_{kj}A_{kn}=T_{1j}A_{1n}+T_{2j}A_{2n}= \begin{pmatrix} x_1^2x_2^2 & x_1x_2^3 \\ -x_1^3x_2 & -x_1^2x_2^2\end{pmatrix}+ \begin{pmatrix} -x_1^2x_2^2 & -x_1x_2^3 \\ x_1^3x_2 & x_1^2x_2^2\end{pmatrix}=\begin{pmatrix}0&0\\0&0\end{pmatrix}\ ,$
which is clearly a tensor.
Similarly, all the other $C$'s are also second-order $0$ tensors (easily seen as $A$ and $T$ are symmetric). Now, by the Quotient Law, we may conclude that $T$ is a second-order tensor.
I don't know how the textbook justifies their application of the Quotient Law as they are not using it in the way it is stated. Maybe I'm missing something.
A: A comment (but not answer) to this question: I believe the proof follows if the following theorem is true.
If the contraction of some quantity is tensorial in nature, then that original quantity is tensorial in nature.
If this is true, then one application of the quotient rule followed by this theorem gives the answer. I'm not able to frame this theorem as a special case of the quotient rule though and cannot think how to prove it.
A: I agree with EE18: The book only shows that the trace of the product of $\mathbf T$ and $\mathbf x\otimes \mathbf x$ is a tensor. So there are several problems:

*

*It is not true that the trace of a second-order quantity is a tensor if and only if the quantitiy is a tensor, so I don't think that we can deduce that the product is a tensor.


*Even if the above was true, we could not apply the quotient rule: The tensor $\mathbf x\otimes \mathbf x$ is not invertible, but I think that the tensor $\mathbf B$ in the proof of the quotient rule is assumed to be invertible (see below).
Addendum
Let $\mathbf A$ and $\mathbf B$ be two second-order quantities. Furthermore, let $\mathbf C$ be two product of $\mathbf A$ and $\mathbf B$. We want to show that if $\mathbf B$ and $\mathbf C$ are tensors, then $\mathbf A$ is a tensor as well. Let $A$ and $A'$ be the representations of the quantity $\mathbf A$ w.r.t. the two orthonormal bases $\mathbf e$ and $\mathbf{e}'$ (in particular, $A$ and $A'$ are 2 times 2 matrices), then the proof in the book can be summarized as follows:
$$A'B'=C'=LCL{}^{-1}=LABL{}^{-1}=LAL{}^{-1}LBL{}^{-1}=LAL{}^{-1}B'$$
But we clearly need $\mathbf B$ to be invertible$^1$ to deduce that $LAL{}^{-1}=A'$.

$^1$ Since $\mathbf B$ is a tensor, $B$ is invertible if and only if $B'$ is invertible and in this case we say that $\mathbf B$ is invertible).
