\(sl(n,K)\) ist der Kern der linearen Abbildung Spur:Mat(n,K)\(\to\)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\in\) Mat(n,K).
Daher ist Spur([A,B])=Spur(AB-BA)=Spur(AB)-Spur(BA)=0, also
insbesondere \(A,B\in sl(n,K)\Rightarrow [A,B]\in 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,\cdots,0)\in sl(n,K)\) aber
\(A\cdot A=diag(1,1,0,\cdots,0)\notin sl(n,K)\).