Integral closure of bipartite graph ideals (Q783754)

Following \textit{I. Swanson} and \textit{C. Huneke} [Integral closure of ideals, rings, and modules. Cambridge: Cambridge University Press (2006; Zbl 1117.13001)], for an ideal \(I\) of a commutative ring \(R\), the integral closure \(\overline{I}\) of \(I\) consists of all elements \(r\) in \(R\) that are integral over \(I\), i.e., for such an element \(r\), there exist an integer \(n\) and elements \(a_i\in I^i\) (\(1\leq i\leq n\)) such that \(r^n+\sum_{i=1}^na_ir^{n-i}=0\) holds. Recall that \(\overline{I}\) is an ideal and, it is monomial if \(I\) is a monomial ideal of a polynomial ring \(\mathbb F[X]\). For a monomial ideal \(I\), \(\overline{I}\) is a monomial ideal generated by all monomials \(u\) for which there exists an integer \(k\) such that \(u^k\in I^k\). In the paper under review, the authors introduce a log set \(log(F)\) for any set \(F\) of monomials, and use it to describe the integral closure of an edge ideal of a complete bipartite graph. The authors also studied the related properties of generalized graph ideals of a strong complete quasi-bipartite graph \(G\), which has a loop in each vertex, in addition to the complete bipartite structure on \(G\).