3 papers
math.AC2025
Heitmann dimension of distributive lattices and commutative rings
Thierry Coquand, Henri Lombardi, Claude Quitté
This paper is the English translation of the first 4 sections of the article ``Dimension de Heitmann des treillis distributifs et des anneaux commutatifs. Publications Mathématiqu…
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…