(i) Anti-commutative (not commutative). By definition, b×a=∣b∣∣a∣sinθ(−n^), since b,a,−n^ (rather than b,a,n^) form a right-handed system. So b×a=−(a×b). The vector product is genuinely non-commutative.
(ii)–(iii) The zero-product test. If a,b are collinear (parallel), θ=0 or π, so sinθ=0 and a×b=0. Conversely, a×b=0⟺a=0 or b=0 or a∥b. So for non-zero vectors, a×b=0 is exactly the condition a∥b — the mirror image of the dot-product's perpendicularity test. In particular, a×a=0 always.
(iv) The axis unit vectors.i^×i^=j^×j^=k^×k^=0 (each parallel to itself). Cyclically (right-handed system): i^×j^=k^,j^×k^=i^,k^×i^=j^, and reversing any pair flips the sign: j^×i^=−k^,k^×j^=−i^,i^×k^=−j^.
(v) Perpendicular vectors. If θ=π/2, then ∣a×b∣=∣a∣∣b∣ (since sin2π=1) — the maximum possible magnitude for given ∣a∣,∣b∣.
(vi) Scalars pull straight out. For scalars m,n: ma×nb=(mn)(a×b)=m(a×nb)=n(ma×b).
(vii) Distributive.a×(b+c)=a×b+a×c, and (a+b)×c=a×c+b×c; this extends to subtraction, a×(b−c)=a×b−a×c, and to sums of any number of vectors, e.g. a×(b+c+d)=a×b+a×c+a×d.
(viii) Coordinate (determinant) formula. For a=a1i^+a2j^+a3k^,b=b1i^+b2j^+b3k^, expand a×b term by term using (iv), and collect: a×b=(a2b3−a3b2)i^−(a1b3−a3b1)j^+(a1b2−a2b1)k^=i^a1b1j^a2b2k^a3b3. …