◀ ▲ ▶Branches / Algebra / Proof

Proof

(related to Corollary: Abelian Group of Vectors Under Addition)

• By definition, the set of (column) vectors $F^n$ is identical with the set of all single-column matrices $M_{m\times n}(F)$ over a field $F$.
• Therefore, the proof follows immediately from the proof of the corresponding proposition for matrices.
  ∎

Thank you to the contributors under CC BY-SA 4.0!

Github: