The product rules are much more difficult. We have two ways of making a scalar product - and . We can make two vector products as well - and (note that we will not worry about the ``pseudo'' character of the cross product unless it matters to the point we are trying to make). There are as it turns out six different product rules!
The first is obvious and simple, the second is difficult to prove but important to prove as we use this identity a fair bit. Note well that:
We have two divergence rules:
The first is again fairly obvious. The second one can easily be proven by distributing the divergence against the cross product and looking for terms that share an undifferentiated component, then collecting those terms to form the two cross products. It can almost be interpreted as an ordinary product rule if you note that when you pull ``through'' you are effectively changing the order of the cross product and hence need a minus sign. The product has to be antisymmetric in the interchange of and , so there has to be a sign difference between the otherwise symmetric terms from distributing the derivatives.
Finally, we have two curl rules:
The first is again rememberable as the usual product rule but with a minus sign when we pull to the other side of . The second one is nasty to prove because there are so very many terms in the fully expanded curl of the cross-product that must be collected and rearranged, but is very useful. Note that in electrodynamics we will often be manipulating or solving vector partial differential equations in contexts where e.g. or , so several of these terms might be zero.