For the third property, shouldn't it be |a v| = |a||v|? Because it should hold for all scalars a.

I agree, because the norm cannot be negative. So if a is negative, it would mean |av| is negative, which cannot happen.

Correct—this is simply a typo. Thanks!