Variable-mass system events. The following derivation is for a body that is gaining mass (accretion). A body of time-varying mass "m" moves at a velocity v at an initial time "t". In the same instant, a particle of mass dm moves with velocity u. The initial momentum can be written as Now at a time "t" + d"t", let both the main body and the particle accrete into a body of velocity v + dv. Thus the new momentum of the system can be written as Since d"m"dv is the product of two small values, it can be ignored, meaning during d"t"
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