Torque the vector cross product, p is the particle's linear momentum, and r is the displacement vector from the origin (the origin is assumed to be a fixed location anywhere in space). The time-derivative of this is: This result can easily be proven by splitting the vectors into components and applying the product rule. Now using the definition of force formula_17 (whether or not mass is constant) and the definition of velocity formula_18 The cross product of momentum formula_20 with its associated velocity formula_21 is zero because velocity and momentum are parallel, so the second term vanishes. By definition, torque τ
Tensor product of modules in its right argument: In the general case, each element of the tensor product of modules gives rise to a left "R"-linear map, to a right "R"-linear map, and to an "R"-bilinear form. Unlike the commutative case, in the general case the tensor product is not an "R"-module, and thus does not support scalar multiplication. Both cases hold for general modules, and become isomorphisms if the modules "E" and "F" are restricted to being finitely generated projective modules (in particular free modules of finite ranks). Thus, an element of a tensor product of modules over a ring "R" maps canonically