The converse of a theorem by Bayer and Stillman (Q308975): Difference between revisions

From the author's abstract: ``We show that the reverse lexicographical order is the unique monomial order \(\tau\) satisfying \(\mathrm{reg}(I)=\mathrm{reg}(\mathrm{gin}_\tau(I))\) for all ideals \(I\). We also show that if \(\mathrm{gin}_{\tau_1}(I)=\mathrm{gin}_{\tau_2}(I)\) for all \(I\), then \(\tau_1=\tau_2\).''