K^n/Erzeugendensystem/Definition/Begriff