Showing 1–6 of 6 results for author: Yengui, I

Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings

Authors: Stefan Neuwirth, Henri Lombardi, Ihsen Yengui

Abstract: Let M be a finitely generated submodule of a free module over a multivariate polynomial ring with coefficients in a discrete coherent ring. We prove that its module MLT(M ) of leading terms is countably generated and provide an algorithm for computing explicitly a generating set. This result is also useful when MLT(M ) is not finitely generated. Suppose that the base ring is strongly discrete cohe… ▽ More Let M be a finitely generated submodule of a free module over a multivariate polynomial ring with coefficients in a discrete coherent ring. We prove that its module MLT(M ) of leading terms is countably generated and provide an algorithm for computing explicitly a generating set. This result is also useful when MLT(M ) is not finitely generated. Suppose that the base ring is strongly discrete coherent. We provide a Buchberger-like algorithm and prove that it converges if, and only if, the module of leading terms is finitely generated. We also provide a constructive version of Hilbert's syzygy theorem by following Schreyer's method. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Comments: arXiv admin note: text overlap with arXiv:1905.08117

Valuative dimension, constructive points of view

Authors: Stefan Neuwirth, Henri Lombardi, Ihsen Yengui

Abstract: There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent to the classical notion within classical mathematics, and they can be used for the usual examples of commutative rings. To the contrary of the classical versions, the constructive versions have a clear computational cont… ▽ More There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent to the classical notion within classical mathematics, and they can be used for the usual examples of commutative rings. To the contrary of the classical versions, the constructive versions have a clear computational content. This paper investigates the computational relationship between three possible constructive definitions of the valuative dimension of a commutative ring. In doing so, it proves these constructive versions to be equivalent within constructive mathematics. △ Less

Submitted 27 March, 2025; v1 submitted 9 November, 2023; originally announced November 2023.

Journal ref: Journal of Algebra, 2024, 647, pp.206-229.

An algorithm for computing syzygies on $V[X]$ when $V$ is a valuation domain

Authors: Henri Lombardi, Claude Quitté, Ihsen Yengui

Abstract: We give an algorithm for computing the V-saturation of any finitely-generated submodule of a power of V[X], where V is a valuation domain. Our algorithm is based on a notion of "echelon form" which ensures its correctness. This allows us to compute a finite system of generators for the syzygy module of any finitely generated submodule of a power of V[X]. We give an algorithm for computing the V-saturation of any finitely-generated submodule of a power of V[X], where V is a valuation domain. Our algorithm is based on a notion of "echelon form" which ensures its correctness. This allows us to compute a finite system of generators for the syzygy module of any finitely generated submodule of a power of V[X]. △ Less

Submitted 1 April, 2023; originally announced April 2023.

Comments: 4 figures

MSC Class: 13CXX; 13PXX

Journal ref: Communications in Algebra, 42, 3768-3781, 2014

The multivariate Serre conjecture ring

Authors: Luc Guyot, Ihsen Yengui

Abstract: It is well-known that for any commutative unitary ring $\mathbf{R}$, the Serre conjecture ring $\mathbf{R}\langle X \rangle$, i.e., the localization of the univariate polynomial ring $\mathbf{R}[X]$ at monic polynomials, is a Bézout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$. Consequently, defining by induction… ▽ More It is well-known that for any commutative unitary ring $\mathbf{R}$, the Serre conjecture ring $\mathbf{R}\langle X \rangle$, i.e., the localization of the univariate polynomial ring $\mathbf{R}[X]$ at monic polynomials, is a Bézout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$. Consequently, defining by induction $\mathbf{R}\langle X_1,\ldots,X_n \rangle:=(\mathbf{R}\langle X_1,\ldots,X_{n-1}\rangle)\langle X_n\rangle$, the ring $\mathbf{R}\langle X_1,\ldots,X_n \rangle$ is a Bézout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$. The fact that $\mathbf{R}\langle X_1,\ldots,X_n \rangle$ is a Bézout domain when $\mathbf{R}$ is a valuation domain of Krull dimension $\leq 1$ was the cornerstone of Brewer and Costa's theorem stating that if $\mathbf{R}$ is a one-dimensional arithmetical ring then finitely generated projective $\mathbf{R}[X_1,\dots,X_n]$-modules are extended. It is also the key of the proof of the Gröbner Ring Conjecture in the lexicographic order case, namely the fact that for any valuation domain $\mathbf{R}$ of Krull dimension $\leq 1$, any $n \in \mathbb{N}_{>0}$, and any finitely generated ideal $I$ of $\mathbf{R}[X_1, \dots, X_n]$, the ideal $\operatorname{LT}(I)$ generated by the leading terms of the elements of $I$ with respect to the lexicographic monomial order is finitely generated. Since the ring $\mathbf{R}\langle X_1,\ldots,X_n\rangle$ can also be defined directly as the localization of the multivariate polynomial ring $\mathbf{R}[X_1,\dots,X_n]$ at polynomials whose leading coefficients according to the lexicographic monomial order with $X_1<X_2<\cdots<X_n$ is $1$, we propose to generalize the fact that $\mathbf{R}\langle X_1,\ldots,X_n\rangle$ is a Bézout domain of Krull dimension $\leq 1$ if so is $\mathbf{R}$ to any rational monomial order, bolstering the evidence for the Gröbner Ring Conjecture in the rational case. △ Less

Submitted 3 July, 2022; originally announced July 2022.

Comments: 12 pages, no figure

MSC Class: 13B25 (Primary) 13B30; 13F05 (Secondary)

Valuative dimension and monomial orders

Authors: Gregor Kemper, Ihsen Yengui

Abstract: The main result from this note provides a constructive characterization of the valuative dimension, which bears a strong analogy to Lombardi's constructive characterization of the Krull dimension. While Lombardi's characterization uses the lexicographic monomial order, ours uses the graded (reverse) lexicographic order or, in fact, any graded rational monomial order. Apart from this, the paper con… ▽ More The main result from this note provides a constructive characterization of the valuative dimension, which bears a strong analogy to Lombardi's constructive characterization of the Krull dimension. While Lombardi's characterization uses the lexicographic monomial order, ours uses the graded (reverse) lexicographic order or, in fact, any graded rational monomial order. Apart from this, the paper contains some related results and some examples which readers may find illuminating. △ Less

Submitted 28 June, 2019; originally announced June 2019.

Comments: 7 pages

MSC Class: 13P10; 13F30; 16P60

The syzygy theorem for Bézout rings

Authors: Maroua Gamanda, Henri Lombardi, Stefan Neuwirth, Ihsen Yengui

Abstract: We provide constructive versions of Hilbert's syzygy theorem for Z and Z/nZ following Schreyer's method. Moreover, we extend these results to arbitrary coherent strict Bézout rings with a divisibility test for the case of finitely generated modules whose module of leading terms is finitely generated. We provide constructive versions of Hilbert's syzygy theorem for Z and Z/nZ following Schreyer's method. Moreover, we extend these results to arbitrary coherent strict Bézout rings with a divisibility test for the case of finitely generated modules whose module of leading terms is finitely generated. △ Less

Submitted 30 January, 2024; v1 submitted 20 May, 2019; originally announced May 2019.

Comments: This version differs from the published version for the statement and proof of Theorem 5.5, the statement of Theorems 5.8 and 6.2, as well as the free resolution at the end of Example 6.7. The changes have been typeset in green

MSC Class: 13D02; 13P10; 13C10; 13P20; 14Q20

Journal ref: Mathematics of Computation 89 (2020) 941-964