On the minimal number of generators of the Lie algebra \({\mathfrak g}(A)\) (Q1076122)

Let \(A=(a_{ij})\) be a complex \(n\times n\) matrix of rank \(\ell\). Let (\({\mathfrak f},\Pi,\Pi^ v)\) be a realization of A, i.e., \({\mathfrak f}\) is a complex vector space, dim \({\mathfrak f}=2n-\ell\), \(\Pi =\{\alpha_ 1,...,\alpha_ n\}\subset {\mathfrak f}^*\), \(\Pi^ v=\{\alpha^ v_ 1,...,\alpha^ v_ n\}\subset {\mathfrak f}\) are linearly independent, \(<\alpha_ i^ v,\alpha_ j>=a_{ij}\). There exists a Lie algebra \(\tilde{\mathfrak g}(A)\) over \({\mathbb{C}}\) with the generators \(e_ i,f_ i\) \(i=1,...,n\) and \({\mathfrak f}\) and the following defining relations: \([e_ i,f_ j]=\delta_{ij} \alpha^ v_ i\), \([h,h']=0\), h,h'\(\in {\mathfrak f}\), \([h,e_ i]=<h,\alpha_ i>e_ i\), \([h,f_ i]=-<h,\alpha_ i>f_ i\), \(h\in {\mathfrak f}\). Let \({\mathfrak R}\) be the maximal ideal of \(\tilde{\mathfrak g}(A)\) which intersects \({\mathfrak f}\) trivially. Then \({\mathfrak g}(A)=\tilde {\mathfrak g}(A)/{\mathfrak R}.\) Theorem. A necessary and sufficient condition for \({\mathfrak g}(A)\) to be generated by two elements is \(\ell \geq n-2\). If \(\ell \leq n-2\), then \({\mathfrak g}(A)\) can be generated by n-\(\ell\) elements but cannot be generated by less than n-\(\ell\) elements.