Show that the additive inverse condition can be replaced by $0v = v$ for all $v \in V$

Call the first condition C1 and the second condition C2. Then we have to prove two things:

  • The axioms of a vector space (with C1) imply C2
  • The axioms of a vector space (without C1) together with C2 imply C1

This means that, within the other vector space axioms, C1 and C2 are equivalent. This is already an important first step.

Now let's prove both directions.

  • Suppose that every $v\in V$ has an inverse. Using the axioms of a vector space, we see that: $$0\cdot v = (0+0)\cdot v = 0\cdot v+0\cdot v$$ Now, because we assumed that C1 holds, we know that $0\cdot v$, which is a vector, has an inverse $w\in V$. Now add this inverse to both sides to get that $$ 0\cdot v +w = 0\cdot v+0\cdot v+w \Leftrightarrow 0 = 0\cdot v+0 = 0\cdot v$$ So C2 is proven.
  • Suppose that C2 holds, so $0\cdot v = 0$ for every vector $v\in V$. Again using only vector space axioms (but not using C1!!) we find that $$0 = 0\cdot v = (1+(-1))\cdot v = 1\cdot v+(-1)\cdot v = v+(-1)\cdot v $$ So $(-1)\cdot v$ is an inverse of $v$ for every $v\in V$. So C1 is proven.

You want to prove that if $0v=0$ for all $v$ then every element has an inverse.

Consider that you can multiply vectors by any scalars. That every field has an element $-1$ such that $-1+1=0$ and that scalar multiplication is distributive in both directions so $av+bv=(a+b)v$.

See if using these hints you can get the proof.


I believe the question is asking you to show that the statements

  1. For all $v$, there exists a $w$ such that $v + w = 0$, and
  2. For all $v$, we have $0v = 0$

are equivalent, given the other axioms: If you have all the other axioms of a vector space, then it doesn't matter which of these two conditions you choose; they'll both deem exactly the same objects to be (or not to be) vector spaces.

You're definitely heading in the right direction, as you've shown one direction: That 1. $\implies$ 2., given the other axioms. This is because, given the existence of such a $w$, you know

$$0 = w + v = 0v, \text{ hence } 0 = 0v \text{ for all $v$, as desired.}$$

Now all that's left is showing 2. $\implies$ 1., given the other axioms. So, you'll need to show that, if $0v = 0$ for all $v$, then for all $v$, there exists some $w$ such that $w + v = 0$.