There is a common invariant domain \(\mathcal {D} \subset \mathcal {H}\)  for all \(A(X)\) , on which they satisfy [1]}
\([A(X),A(Y)] = \mathrm {i}A([X,Y])\quad \text{for all $X,Y\in {\mathfrak {g}}$}.\) 
