Showing math.ACShow all
2 papers · 1 filter
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…