ExteriorModules: a package for computing monomial modules over an exterior algebra (Q2121683): Difference between revisions

Let \(K\) be a field and \(E=K\langle e_1,\ldots ,e_n\rangle\) the exterior algebra of a \(K\)-vector space \(V\) with the basis \(\{e_1,\ldots,e_n\}\). The product of two elements \(f,g\in E\) is defined to be \(f\cdot g=f\wedge g\) and an element of the form \(e_{i_1} \wedge \cdots \wedge e_{i_d}\) in \(E\) is identified as a monomial in terms of the \(e_i\)'s of degree \(d\). Based on this representation, we are able to apply some computer algebra techniques to find interesting information about the submodules of finitely generated graded free \(E\)-modules. Let \(F\) be a finitely generated graded free \(E\)-module and \(M\) be a graded submodule of \(F\). This paper introduces a Macaulay2 package to compute stable, strongly stable and lexicograhic \(E\)-submodules of \(F\). Furthermore, the package includes some routines to check whether a sequence of nonnegative integers forms the Hilbert function of \(F/M\). Finally, given a Hilbert function, some algorithms are presented to compute the unique lexicograhic submodule whose Hilbert function is equal to the given function.