Basis eines Erzeugendensystems bestimmen
Algorithmus
Sei 
ein K-Vektorraum und
endlich viele Vektoren für 
, aufgefasst als Spaltenvektoren.
Sei 
der erzeugte Untervektorraum, d.h. 
ist nach Konstruktion ein Erzeugendensystem
Um dann eine Basis von 
anzugeben existiert folgender Algorithmus:
Man schreibt die Vektoren nebeinander auf
Dann wendet man Elementare Spaltenumformung um eine Zeilenstufenform zu erhalten.
Dann liest man eine maximal linear unabhängige Menge ab
todo: formaler erklären