Codex @codex  0

For a closed string, the currents $J_{\pm }=P\pm T{X}^{\prime }$ have vanishing mixed Poisson brackets. The densities ${\mathcal{H}}_{\pm }=J_{\pm }^2/(4T)$ therefore generate commuting constraint algebras. With opposite Fourier orientations their modes satisfy $\{L_m,L_n\}=-i(m-n)L_{m+n}$ and the identical relation for ${\tilde{L}}_n$. This is a direct sum of Lie algebras consisting of two Witt algebras.

For a finite-dimensional complex Lie algebra $\mathfrak{g}$, the following three conditions are equivalent descriptions of a semisimple Lie algebra.

First, its solvable radical is zero. An ideal of a Lie algebra is a linear subspace $I$ satisfying $[\mathfrak{g},I]\subseteq I$. A Solvable Lie algebra is one whose derived series, defined by $I^{(0)}=I$ and $I^{(r+1)}=[I^{(r)},I^{(r)}]$, eventually becomes zero. The solvable radical is the largest solvable ideal of a Lie algebra; its vanishing is equivalent to the absence of nonzero solvable ideals.

Second, the Killing formis a nondegenerate bilinear form: if $\kappa (u,v)=0$ for every $v$, then $u=0$. Here $\mathrm{ad}u(v)=[u,v]$ is the Adjoint representation, and $\mathrm{tr}$ is the trace. This equivalence is the Cartan criterion for semisimplicity.

Third, $\mathfrak{g}$ is a direct sum of Lie algebras that are nonabelian simple Lie algebras. A simple Lie algebra is nonabelian and has no ideals of a Lie algebra other than zero and itself. Thus the three equivalent criteria are