Toric ideals generated by circuits (Q2859253)

The authors consider normal toric rings defined by an ideal \(I\). A binomial in the polynomial ring \(K[T]\) is called balanced if the maximum of the exponents in each term are equal. It is called a connector if it has a square free term. A circuit in \(I\) is an irreducible binomial in \(I\), whose support is minimal with respect to inclusion. The main theorem is:NEWLINENEWLINEWith the above conditions, the following are equivalent:NEWLINENEWLINE(a) \(I\) is generated by a finite set of circuits.NEWLINENEWLINE(b) \(I\) is generated by a finite set of circuits with a square free term.NEWLINENEWLINE(c) Every unbalanced circuit of \(I\) has a connector which is a linear combination (with coefficients in \(K[T]\)) of circuits of \(I\) with a square free term.