On the primary decomposition of some determinantal hyperedge ideal (Q2211185)

The aim of this paper is to give the primary decomposition of a special ideal that comes from Algebraic Statistics, where primary decomposition has an interesting interpretation. The ideal \(I\subset K[x_1,\dots,x_{12},y_1,\dots,y_{12},z_1,\dots,z_{12}]\) is generated by some of the \(3\times 3\) determinants of the matrix \[M=\begin{pmatrix} x_1 & x_2 & x_3&\dots&x_{12}\\ y_1 & y_2 & y_3&\dots&y_{12}\\ z_1 & z_2 & z_3&\dots&z_{12}\\ \end{pmatrix}\] Since the definition of \(I\) is rather complex we don't give it explicitly. The problem is that computational algorithms fail to found the primary decomposition, so a special computational strategy is described in this paper. Finally after a lot of work and computations the authors can proved that \(I\) is the intersection of two prime components one of them is the ideal generated by all \(3\times 3\) determinants of the matrix \(M\). The description of the second prime component is more involved.