A Lie algebra 𝔤 𝔤 \mathfrak{g} fraktur_g is called decomposable if it can be written
where 𝔰 𝔰 \mathfrak{s} fraktur_s is a Levi subalgebra, 𝔫 𝔫 \mathfrak{n} fraktur_n the nilradical and 𝔱 𝔱 \mathfrak{t} fraktur_t an abelian subalgebra whose elements are a d 𝑎 𝑑 ad italic_a italic_d -semisimple and which satisfies [ 𝔰 , 𝔱 ] = 0 . 𝔰 𝔱 0 \left[\mathfrak{s},\mathfrak{t}\right]=0. [ fraktur_s , fraktur_t ] = 0 .
Let 𝒦 𝒦 {\mathcal{K}} caligraphic_K be a real Hilbert space. The algebra 𝒜 ( 𝒦 ) 𝒜 𝒦 \mathcal{A}({\mathcal{K}}) caligraphic_A ( caligraphic_K ) is the free unital * {}^{*} start_FLOATSUPERSCRIPT * end_FLOATSUPERSCRIPT -algebra with generators ω ( h ) 𝜔 ℎ \omega(h) italic_ω ( italic_h ) for all h ∈ 𝒦 ℎ 𝒦 h\in{\mathcal{K}} italic_h ∈ caligraphic_K , divided by the relations:
for all f , g ∈ 𝒦 𝑓 𝑔 𝒦 f,g\in{\mathcal{K}} italic_f , italic_g ∈ caligraphic_K and a , b ∈ ℝ 𝑎 𝑏 ℝ a,b\in\mathbb{R} italic_a , italic_b ∈ blackboard_R .
Let ℋ ℋ \mathcal{H} caligraphic_H be a complex Hilbert space. The algebra 𝒞 ( ℋ ) 𝒞 ℋ \mathcal{C}(\mathcal{H}) caligraphic_C ( caligraphic_H ) is the free unital * {}^{*} start_FLOATSUPERSCRIPT * end_FLOATSUPERSCRIPT -algebra with generators a ( h ) 𝑎 ℎ a(h) italic_a ( italic_h ) and a * ( h ) superscript 𝑎 ℎ a^{*}(h) italic_a start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( italic_h ) for all h ∈ ℋ ℎ ℋ h\in\mathcal{H} italic_h ∈ caligraphic_H , divided by the relations:
for all f , g ∈ ℋ 𝑓 𝑔 ℋ f,g\in\mathcal{H} italic_f , italic_g ∈ caligraphic_H and λ , μ ∈ ℂ 𝜆 𝜇 ℂ \lambda,\mu\in\mathbb{C} italic_λ , italic_μ ∈ blackboard_C .