Some properties of the \(c\)-nilpotent multiplier of a pair of Lie algebras (Q2195658): Difference between revisions

The notion of the Schur multiplier of a group originated from works of \textit{I. Schur} [J. Reine Angew. Math. 127, 20--50 (1904; JFM 35.0155.01)]. Since then, it has appeared in many investigations related to group theory, Lie (super)algebras and Leibniz algebras. Nearly a century after Schur, \textit{G. Ellis} [Appl. Categ. Struct. 6, 355--371 (1998; Zbl 0948.20026)] extended the Schur multiplier to a pair of groups. This study relies on the concept of relative central extension discussed by L. Loday in 1978. The Schur multiplier of a Lie algebra \(L\), denoted by \(\mathcal{M}(L)\), which has been introduced by \textit{P. Batten} et al. [Commun. Algebra 24, 4319--4330 (1996; Zbl 0893.17008)], is defined to be the factor Lie algebra \[\mathcal{M}(L)=\frac{R\cap F^2}{[R,F]}\] on a free presentation \(0\rightarrow R\rightarrow F\rightarrow L\rightarrow 0\) of \(L\), where \(F^2\) is the derived subalgebra of \(F\). \textit{F. Saeedi} et al. [J. Lie Theory 21, 491--498 (2011; Zbl 1216.17010)] generalized it to the Schur multiplier of a pair \((N,L)\) of Lie algebras as \(\mathcal{M}(N,L)=(R\cap [S,F])/[R,F]\), where \(N\cong S/R\) such that \(N\) and \(S\) are ideals in \(L\) and \(F\), respectively. Another generalization of this notion is due to \textit{A. R. Salemkar} et al. [J. Algebra 322, 1575--1585 (2009; Zbl 1229.17010)], which is the \(c\)-nilpotent multiplier \(\mathcal{M}^{(c)}(L)=(R\cap F^{c+1})/[R,_cF]\) of a Lie algebra \(L\), where \(F^{c+1}\) is the \((c+1)\)st term of the lower central series of \(F\) and \([R,_cF]=[R,F,\ldots,F]\) consisting \(c\) copies of \(F\). Finally in [the reviewer and the author, Commun. Algebra 45, 4429--4434 (2017; Zbl 1427.17021)], the \(c\)-nilpotent multiplier of a pair \((N,L)\) of Lie algebras is similarly defined as \[\mathcal{M}^{(c)}(N,L)=\frac{R\cap [S,_cF]}{[R,_cF]}.\] In the paper under review, it is given some inequalities on the dimension of the \(c\)-nilpotent multiplier of a pair of Lie algebras and their quotients by an ideal. It is also provided a necessary and sufficient condition under which \(\mathcal{M}^{(c)}(N,L)\) can be embedded into \(\mathcal{M}^{(c)}(N/K,L/K)\).