28 citations · 194 across the 25 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.AC2026
K-injective complexes in commutative algebra
Liran Shaul
It is an unfortunate fact that even over commutative noetherian rings, localization of K-injective complexes need not be K-injective. However, not all is lost. Given a complex of i…
math.AC2026
Formalization in Lean of faithfully flat descent of projectivity
Liran Shaul
We formalize in Lean the following foundational result in commutative algebra: Let be a faithfully flat map of (not necessarily noetherian) commutative rings, and let …