sl(n,K) ist der Kern der linearen Abbildung Spur:Mat(n,K)→K und damit
ein Untervektorraum von gl(n,K). Meiner Meinung nach
muss man nun nur noch nachweisen, dass sl(n,K) unter
[,] abgeschlossen ist. Es sollte bekannt sein, dass
Spur(AB)=Spur(BA) ist für beliebige Matrizen A,B∈ Mat(n,K).
Daher ist Spur([A,B])=Spur(AB-BA)=Spur(AB)-Spur(BA)=0, also
insbesondere A,B∈sl(n,K)⇒[A,B]∈sl(n,K)
sl(n,K) ist aber für n>1 unter der normalen Matrixmultiplikation
nicht abgeschlossen.
Z.B. A=diag(1,−1,0,⋯,0)∈sl(n,K) aber
A⋅A=diag(1,1,0,⋯,0)∈/sl(n,K).