3 papers
math.AC2025
Algebraic identities to prove that a neat finite free algebra is tracically étale
Claude Quitté, Henri Lombardi
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 is a net f…
math.NT2025
Cyclotomic polynomials without using the zeros of
Gema M. Diaz-Toca, Henri Lombardi, Claude Quitté
This note aims to construct an ``intrinsic'' splitting field for the polynomial over the rational field , in a way that Gauss, Kummer, Kronecker and Bishop would hav…
math.AC2018
Résolutions libres finies. Méthodes constructives
Thierry Coquand, Henri Lombardi, Claude Quitté +1
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…