Let K {\displaystyle {}K} be a field, and let V {\displaystyle {}V} be a K {\displaystyle {}K} -vector space with a finite generating system.