Embedding of \(\mathfrak{sl}_2(\mathbb{C})\)-modules into four-dimensional power-associative zero-algebra modules (Q2115190)

Motivated by the goal of obtaining information on the finite-dimensional irreducible modules over commutative power-associative algebras, the main result of this paper,Theorem 1, establishes that there exists an embedding (depending of certain parameter \(\Omega\)) \({\mathcal F}_{\Omega}\colon {\mathfrak M}od _{\mathfrak{sl}_2}\to {\mathfrak M}od _4\), where \({\mathfrak M}od _{\mathfrak{sl}_2}\) denotes the category of finite-dimensional \(\mathfrak{sl}_2({\mathbb C})\)-modules and \({\mathfrak M}od _4\) the category of finite-dimensional modules over \({\mathcal A}_4\) (the zero-algebra of dimension \(4\) over a field \(k\) algebraically closed of characteristic other than two, three and five). So, this paper uses the infinitely many non isomorphic finite-dimensional irreducible (Lie) modules over \(\mathfrak{sl}_2({\mathbb C})\) to construct an infinite collection of non isomorphic finite-dimensional irreducible \({\mathcal A}_4\)-modules. As a consequence of the existence of an infinite number of irreducible modules for \({\mathcal A}_4\) and from Lemma 6 of \textit{J. C. Gutierrez Fernandez} et al.[``On power-associative modules'', J. Algebra Appl. (to appear)], the author obtains that if \(\mathcal A\) is a commutative power-associative algebra over \(k\) such that \(\mathrm{codim}\,{\mathcal A}^2 \ge 4\), then \(\mathcal A\) has an infinite number of non isomorphic irreducible modules. In addition to other corollaries of Theorem 1, the author shows (in Section 4) that for any positive integer \(n\ge 2\) there exist two non isomorphic families of irreducible \({\mathcal A}_4\)-modules of dimension \(3n\) which are \(n\) and \(n+1\)-parametrized.