Submitted:
05 November 2021
Posted:
08 November 2021
You are already at the latest version
Abstract
Let $a, b$ and \(n > 1\) be three positive integers such that \(a\) and \(\sum_{j=0}^{n-1} b^j\) are relatively prime. In this paper, we prove that the toric ideal \(I\) associated to the submonoid of \(\mathbb{N}\) generated by \(\{\sum_{j=0}^{n-1} b^j\} \cup \{\sum_{j=0}^{n-1} b^j + a\, \sum_{j=0}^{i-2} b^j \mid i = 2, \ldots, n\}\) is determinantal. Moreover, we prove that for \(n > 3\), the ideal \(I\) has a unique minimal system of generators if and only if \(a < b-1\).
Keywords:
Binomial ideal
; semigroup ideal
; minimal systems of generators
; determinantal ideal
; Gröbner basis
; Indispensability
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.