In a vector space over a field, $cv=0$ implies $c=0$ or $v=0$. If $c\ne0$, multiply by $c^{-1}$ to obtain $v=0$. This implication can fail for modules over rings with zero divisors, which is why the scalar structure matters.
Parents
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.