Die Elemente von T1 sehen (wegen 5x1 = x2 ) alle so aus
( x1 ; 5x1 ; x3 ) = x1* ( 1 ; 5 ; 0 ) + x3*( 0 ; 0 ; 1 )
Also bilden ( 1 ; 5 ; 0 ) und ( 0 ; 0 ; 1 ) jedenfalls ein
Erz.syst. für T1
Diese beiden lassen sich aber durch die gegebenen Vektoren
erzeugen; denn
( 1 ; 5 ; 0 ) = -i * ( i ; 5i ; -4 ) + ( 4i / 3 ) * ( 0 ; 0 ; 3 )
und
( 0 ; 0 ; 1 ) = 0 * ( i ; 5i ; -4 ) + ( 1 / 3 ) * ( 0 ; 0 ; 3 ).
Also bildet B auch ein Erz.syt. für T1.