Showing 1–12 of 12 results for author: Quitté, C

Algebraic identities to prove that a neat finite free algebra is tracically étale

Authors: Claude Quitté, Henri Lombardi

Abstract: The central objective of this article is to provide an elementary proof of the following theorem, of which we are unaware of any trace in the existing literature. If $B$ is a net finite free algebra over a commutative ring $A$, then it is tracically étale (its trace form is nondegenerate) and a fortiori étale over A. As indicated in the title, our proof is based on algebraic identities. This confi… ▽ More The central objective of this article is to provide an elementary proof of the following theorem, of which we are unaware of any trace in the existing literature. If $B$ is a net finite free algebra over a commutative ring $A$, then it is tracically étale (its trace form is nondegenerate) and a fortiori étale over A. As indicated in the title, our proof is based on algebraic identities. This confirms the implicit adage that much of the most abstract commutative algebra is concentrated in algebraic identities concerning matrices of polynomials over an arbitrary commutative ring. -- -- -- L'objectif central de cet article est de donner une démonstration élémentaire du théorème suivant, dont nous ne connaissons pas de trace dans la littérature existante. Si $B$ est une algèbre libre finie nette sur $A$, alors elle est traciquement étale (sa forme trace est non dégénérée) et à fortiori étale sur $A$. Comme indiqué dans le titre, notre démonstration est basée sur des identités algébriques. Cela confirme l'adage implicite selon lequel une grande partie de l'algèbre commutative la plus abstraite se concentre dans des identités algébriques concernant les matrices de polynômes sur un anneau commutatif arbitraire. △ Less

Submitted 4 June, 2025; originally announced June 2025.

Comments: in French language. Keywords: Commutative Algebra, Étale algebra, Unramified algebra, Tracically étale algebra, Elementary methods, Algebraic identities, Constructive mathematics

MSC Class: 13C10 (13C15; 13C11; 14B25; 03F65)

Cyclotomic polynomials without using the zeros of $Y^n-1$

Authors: Gema M. Diaz-Toca, Henri Lombardi, Claude Quitté

Abstract: This note aims to construct an ``intrinsic'' splitting field for the polynomial $Y^n-1$ over the rational field $\bf Q$, in a way that Gauss, Kummer, Kronecker and Bishop would have liked. Contrary to the usual presentations, our construction does not use any splitting field of $Y^n-1$ which would be given before demonstrating the irreducibility of the cyclotomic polynomial. This note aims to construct an ``intrinsic'' splitting field for the polynomial $Y^n-1$ over the rational field $\bf Q$, in a way that Gauss, Kummer, Kronecker and Bishop would have liked. Contrary to the usual presentations, our construction does not use any splitting field of $Y^n-1$ which would be given before demonstrating the irreducibility of the cyclotomic polynomial. △ Less

Submitted 22 March, 2025; originally announced March 2025.

Heitman dimension of distributive lattices and commutative rings

Authors: Thierry Coquand, Henri Lombardi, Claude Quitté

Abstract: This paper is the English translation of the first 4 sections of the article "Thierry Coquand, Henri Lombardi, and Claude Quitté. Dimension de Heitmann des treillis distributifs et des anneaux commutatifs. Publications Mathématiques de l'Université de Franche-Comté, Besançon. Algèbre et théorie des nombres. (2006)", after some corrections. Sections 5-7 of the original article are treated a bit m… ▽ More This paper is the English translation of the first 4 sections of the article "Thierry Coquand, Henri Lombardi, and Claude Quitté. Dimension de Heitmann des treillis distributifs et des anneaux commutatifs. Publications Mathématiques de l'Université de Franche-Comté, Besançon. Algèbre et théorie des nombres. (2006)", after some corrections. Sections 5-7 of the original article are treated a bit more simply in the book "Henri Lombardi and Claude Quitté. Commutative algebra: constructive methods. Finite projective modules. Algebra and applications, 20, Springer, Dordrecht, 2015." We study the notion of dimension introduced by Heitmann in his remarkable article "Raymond Heitmann. Generating non-Noetherian modules efficiently, Mich. Math. J., 31, (1084)" as well as a related notion, only implicit in his proofs. We first develop this within the general framework of the theory of distributive lattices and spectral spaces. Keywords: Constructive mathematics, distributive lattice, Heyting algebra, spectral space, Zariski lattice, Zariski spectrum, Krull dimension, maximal spectrum, Heitmann lattice, Heitmann spectrum, Heitmann dimensions. MSC: 13C15, 03F65, 13A15, 13E05 △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: A French translation follows the English version. arXiv admin note: substantial text overlap with arXiv:1712.01958

Seminormal Rings (following Thierry Coquand)

Authors: Henri Lombardi, Claude Quitté

Abstract: The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural morphism from Pic(A) to Pic(A[X]) is an isomorphism. We give here all the details needed to understand the elementary constructive proof for this result given by Thierry Coquand in the paper: On seminormality. J. Algebra 305, no. 1-3, 577-584, (2006). The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural morphism from Pic(A) to Pic(A[X]) is an isomorphism. We give here all the details needed to understand the elementary constructive proof for this result given by Thierry Coquand in the paper: On seminormality. J. Algebra 305, no. 1-3, 577-584, (2006). △ Less

Submitted 15 October, 2023; originally announced October 2023.

MSC Class: 03F65; 13F45; 13B40; 14Qxx

Journal ref: Theoretical Computer Science, 392, no 1-3, p. 113-127, (2008)

Une approche combinatoire pour le résultant multivarié. Le résultant multivarié pour les enfants motivés

Authors: Claude Quitté, Claire Tête

Abstract: We provide, in a 474 pages study, a comprehensive and self-contained treatment of Resultant Theory for a homogeneous system of polynomials with several variables (as many variables as of polynomials). In a non classical way, we use the multiplicative structure of finite free resolutions, by applying it to the complex homogeneous components of the Koszul complex of the system, and this in any deg… ▽ More We provide, in a 474 pages study, a comprehensive and self-contained treatment of Resultant Theory for a homogeneous system of polynomials with several variables (as many variables as of polynomials). In a non classical way, we use the multiplicative structure of finite free resolutions, by applying it to the complex homogeneous components of the Koszul complex of the system, and this in any degree. Moreover, these complexes have Macaulay decompositions. These three pillars, multiplicative structure, Koszul complex, Macaulay decomposition, allow to establish, surprisingly to us, remarkable binomial relations between 3 families of scalars resulting from the differentials of that complexes. These binomial relations generate several notable results, like a determinantal expression of a certain denominator, depending only on the first differential, and provide in particular formulas expressing the resultant. We have explored more deeply the case of the critical degree delta. This degree produces a fundamental linear form on the homogeneous polynomial component of degree delta, including the resultant. And this fundamental linear form has allowed us to highlight a certain number of remarkable properties. Key words: Elimination theory, homogeneous polynomial system, resultant, determinant of complexes, Cayley determinant, computational algebra, finitefree resolution, Koszul complex, Euler characteristic, Grade, Multiplicative structure, Macaulay decomposition, Fitting invariants, MacRae invariant, regular sequence. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Comments: 474 pages, in French language

MSC Class: 2020: 13C05; 13C15; 13D02; 13D40; 13P15

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

Résolutions libres finies. Méthodes constructives

Authors: Thierry Coquand, Henri Lombardi, Claude Quitté, Claire Tête

Abstract: In this memoir, we give a completely constructive version of the celebrate book 'Finite Free Resolutions' by Northcott, and of some other results related to the depth à la Hochster, the Cayley complexes and their determinants, and the finite projective resolutions. In this memoir, we give a completely constructive version of the celebrate book 'Finite Free Resolutions' by Northcott, and of some other results related to the depth à la Hochster, the Cayley complexes and their determinants, and the finite projective resolutions. △ Less

Submitted 5 November, 2018; originally announced November 2018.

Comments: in French

MSC Class: 14-00 13N10 13P15 03F65

Modules projectifs de type fini, applications linéaires croisées et inverses généralisés

Authors: Gema M. Díaz--Toca, Laureano Gonzalez-Vega, Henri Lombardi, Claude Quitté

Abstract: We give a general theory of generalised inverses and we explain the link with the theory of finitely generated projective modules. All the paper is written in constrctive mathematics in Bishop style. So all results do have a clear algorithmic content. We give also a complexity analysis of the algorihms corresponding to the main theorems. Here is a more detailed abstract in french: D'une part, no… ▽ More We give a general theory of generalised inverses and we explain the link with the theory of finitely generated projective modules. All the paper is written in constrctive mathematics in Bishop style. So all results do have a clear algorithmic content. We give also a complexity analysis of the algorihms corresponding to the main theorems. Here is a more detailed abstract in french: D'une part, nous développons la théorie générale des inverses généralisés de matrices en la mettant en rapport avec la théorie constructive des modules projectifs de type fini. D'autre part nous précisons certains aspects de cette théorie liés au calcul formel et à l'analyse numérique matricielle. Nous démontrons en particulier qu'on peut tester si un $\bf A$-module de présentation finie est projectif et calculer une matrice de projection correspondante "en temps polynomial". Plus précisément pour une matrice $A\in {\bf A}^{m \times n}$ on peut décider s'il existe un inverse généralisé $B$ pour $A$ (i.e. une matrice $B$ vérifiant $ABA=A$ et $BAB=B$) et, en cas de réponse positive, calculer un tel inverse généralisé par un algorithme qui utilise $O(p^6\,q^{2})$ opérations arithmétiques (avec $p=\inf(m,n)$, $q=\sup(m,n)$) et un nombre polynomial de tests d'appartenance d'un élément à un idéal engendré par "un petit nombre d'éléments". △ Less

Submitted 24 September, 2018; originally announced September 2018.

Comments: in French. version plus détaillée de l'article paru au Journal of Algebra {\bf 303} (2006) 450--475

MSC Class: 13C10; 13P05; 14Q20

Journal ref: Journal of Algebra {\bf 303} (2006) 450--475

Dimension de Heitmann des treillis distributifs et des anneaux commutatifs

Authors: Thierry Coquand, Henri Lombardi, Claude Quitté

Abstract: We study a notion of dimension which was introduced by R. Heitmann in his remarkable paper in 1984, and also a related notion, implicit in the proofs in his paper. We develop these notions in the general framework of distributive lattices and spectral spaces. We obtain in this way constructive versions of important theorems in commutative algebra, with simpler proofs than the classical ones, and s… ▽ More We study a notion of dimension which was introduced by R. Heitmann in his remarkable paper in 1984, and also a related notion, implicit in the proofs in his paper. We develop these notions in the general framework of distributive lattices and spectral spaces. We obtain in this way constructive versions of important theorems in commutative algebra, with simpler proofs than the classical ones, and some new results. △ Less

Submitted 17 January, 2022; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: in French, Version corrigée: Janvier 2022. Article original: Publications mathématiques de Besançon. Algèbre et Théorie des Nombres.(2006), pages 57--100

MSC Class: 13C15; 03F65; 13A15; 13E05

Journal ref: Publications mathématiques de Besançon. Algèbre et Théorie des Nombres. (2006), pages 57--100

Algèbre commutative Méthodes constructives

Authors: Henri Lombardi, Claude Quitté

Abstract: This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic content. In particular, when a theorem affirms the existence of an object… ▽ More This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic content. In particular, when a theorem affirms the existence of an object -- the solution of a problem -- a construction algorithm of the object can always be extracted from the given proof. We revisit with a new and often simplifying eye several abstract classical theories. In particular, we review theories which did not have any algorithmic content in their general natural framework, such as Galois theory, the Dedekind rings, the finitely generated projective modules or the Krull dimension. Constructive algebra is actually an old discipline, developed among others by Gauss and Kronecker. We are in line with the modern "bible" on the subject, which is the book by Ray Mines, Fred Richman and Wim Ruitenburg, A Course in Constructive Algebra, published in 1988. △ Less

Submitted 7 May, 2019; v1 submitted 8 November, 2016; originally announced November 2016.

Comments: in French, Revised and augmented version of the book with the same title, published by Calvage & Mounet, Paris, 2011. isbn 978-2-91-635221-3. An English version appeared in 2015, published by Springer. isbn 978-94-017-9943-0. See arXiv:1605.04832 for an updated version

MSC Class: 13-01; 13C10; 13C11; 13F05; 13C15; 13P99

Commutative algebra: Constructive methods. Finite projective modules

Authors: Henri Lombardi, Claude Quitté

Abstract: This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic content content. In particular, when a theorem affirms the existence of an object -- the solution of a problem -- a construction algorithm of the object can alw… ▽ More This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic content content. In particular, when a theorem affirms the existence of an object -- the solution of a problem -- a construction algorithm of the object can always be extracted from the given proof. We revisit with a new and often simplifying eye several abstract classical theories. In particular, we review theories which did not have any algorithmic content in their general natural framework, such as Galois theory, the Dedekind domains, the finitely generated projective modules or the Krull dimension. △ Less

Submitted 18 September, 2024; v1 submitted 16 May, 2016; originally announced May 2016.

MSC Class: 13-02 (13C10)

Journal ref: Series Algebra and Applications, Vol. 20 Translated from the French (Calvage \& Mounet, 2011, revised and extended by the authors) by Tania K. Roblot, Springer, 2015

Théorème de de Smit et Lenstra, démonstration élémentaire

Authors: Henri Lombardi, Claude Quitté

Abstract: We give an elementary and constructive proof for a theorem of de Smit et Lenstra. Note: In version 1, was missing the proof that "completely secant" implies "1-secant" We give an elementary and constructive proof for a theorem of de Smit et Lenstra. Note: In version 1, was missing the proof that "completely secant" implies "1-secant" △ Less

Submitted 13 April, 2025; v1 submitted 23 August, 2015; originally announced August 2015.

Comments: in French

MSC Class: 13C10 (13C15; 13C11; 14B25; 03F65)