scientific article; zbMATH DE number 1505787
Let \(R=k[x_1,\dots,x_m]\) be a polynomial ring, where \(k\) is a field of characteristic zero, and let \(Q\) be the field of fractions of \(R\). For every \(R\)-module \(V\), denote by \(\dim_R V\) the dimension of the \(Q\)-module \(V\otimes_R Q\). A Lie algebra \(L\) over \(R\) is referred to as completely solvable if \(L\) admits some normal series \(L=L_1\supset L_2\supset\dots\supset L_n=0\) such that \(\dim_R (L_i/L_{i+1})=1\), \(i=1,\dots,n-1\). A module \(V\) over the Lie algebra \(L_R\) is called triangulable if \(V\) is a free \(R\)-module with a free basis \(\{v_1,\dots,v_p \}\) such that \(V_i=\{v_i,\dots,v_p \}_R\) is an \(L\)-submodule. The main result is as follows. Theorem: Let \(R=k[x_1,\dots,x_m]\), \(L\) be a completely solvable Lie algebra over \(R\), and let \(L\) be free as an \(R\)-module. Then \(L\) has a faithful triangulable module. The author observes an application of this result to the theory of analytic diassociative loops, in particular an application to the problem of existence of a global analytic diassociative loop for a given binary Lie algebra. Recall that an algebra is called binary Lie if any two of its elements generate a Lie subalgebra.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4504355)
