/sci/ - Science & Math

>>8515730
What's going on in Theorem 2.5? Is the purpose of [math]\theta_I[/math] essentially just to check if the ordering of the input vectors matches a certain ordering prescribed by [math]I[/math]? Does it basically check whether or not [math]I = J[/math]? He calls the [math]\theta_I[/math]s elementary k-tensors. What's so significant about them?