Buchumschlag

Formalization in Lean of faithfully flat descent of projectivity

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Shaul, Liran
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Commutative Algebra Rings and Algebras Primary: 13C10, 16D40, 68V20
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Mittag-Leffler condition descents via pure monomorphisms
von: Herbera, Dolors
Veröffentlicht: (2022)

Categorical properties of reduction functors over non-positive DG-rings
von: Shaul, Liran
Veröffentlicht: (2022)

Finitistic dimensions over commutative DG-rings
von: Bird, Isaac, et al.
Veröffentlicht: (2022)

Hilbert polynomial of length functions
von: Fornasiero, Antongiulio
Veröffentlicht: (2021)

On the faithful flatness of some modules arising in analysis
von: Sasane, Amol
Veröffentlicht: (2024)

Openness with respect to levels in triangulated categories
von: Dey, Souvik, et al.
Veröffentlicht: (2025)

Sequence-regular commutative DG-rings
von: Shaul, Liran
Veröffentlicht: (2021)

Centers of Endomorphism Rings and Reflexivity
von: Dey, Souvik, et al.
Veröffentlicht: (2025)

Structure and Symmetry of Sally Type Semigroup Rings
von: Singh, Srishti, et al.
Veröffentlicht: (2025)

On Gorensteinness of associated graded rings of filtrations
von: Bhat, Meghana, et al.
Veröffentlicht: (2024)

Initial ideals of generic ideals and variations of Moreno-Socías conjecture
von: Tani, Koichiro
Veröffentlicht: (2025)

Halidon Rings and their Applications
von: Telveenus, Antony
Veröffentlicht: (2021)

Characterization and examples of commutative isoartinian rings
von: Daneshvar, Asghar, et al.
Veröffentlicht: (2024)

Cohomological support varieties under local homomorphisms
von: Watson, Ryan
Veröffentlicht: (2025)

A comparison of Hochschild homology in algebraic and smooth settings
von: Kazhdan, David, et al.
Veröffentlicht: (2022)

Preserving Lefschetz properties after extension of variables
von: Kling, Filip Jonsson
Veröffentlicht: (2025)

The embedded deformation problem for monomial ideals
von: Briggs, Benjamin, et al.
Veröffentlicht: (2025)

Polynomial growth of Betti sequences over local rings
von: Avramov, Luchezar L., et al.
Veröffentlicht: (2022)

Torsion-free Modules over Commutative Domains of Krull Dimension One
von: Álvarez, Román, et al.
Veröffentlicht: (2024)

Some New Classes of Rings Which Have the McCoy Condition
von: Danchev, Peter, et al.
Veröffentlicht: (2025)

A Study of Good and Bad Artinian Gorenstein local Rings
von: Gupta, Anjan, et al.
Veröffentlicht: (2017)

Change-of-Rings Theorems for the Small Finitistic Dimension
von: Xiong, Tao, et al.
Veröffentlicht: (2026)

A characterization of monoid graded semihereditary rings
von: Sahandi, Parviz, et al.
Veröffentlicht: (2026)

Relatively big projective modules and their applications to direct sum decompositions
von: Álvarez, Román, et al.
Veröffentlicht: (2025)

Obstructions to curvature of modules over Cohen-Macaulay rings
von: Puthenpurakal, Tony J.
Veröffentlicht: (2025)

The Profinite Rigidity of Torsion-Free Lamplighter Groups
von: Nikolov, Nikolay, et al.
Veröffentlicht: (2025)

On strongly Koszul algebras and tidy Gröbner bases
von: D'Alì, Alessio
Veröffentlicht: (2025)

Quasi-Gorenstein morphisms of commutative local dg-algebras
von: Nason, Zachary, et al.
Veröffentlicht: (2026)

Applications of reduced and coreduced modules II: Radicality of the functor $\text{Hom}_R(R/I, -)$
von: Ssevviiri, David
Veröffentlicht: (2023)

(projectively coresolved) Gorenstein flat modules over tensor rings
von: Tang, Guoliang, et al.
Veröffentlicht: (2025)

On the weak Lefschetz property for ideals generated by powers of general linear forms
von: Booth, Matthew D., et al.
Veröffentlicht: (2024)

Products and powers of principal symmetric ideals
von: Dannetun, Eric, et al.
Veröffentlicht: (2024)

Efficient Algorithms for Finite $\mathbb{Z}$-Algebras
von: Kreuzer, Martin, et al.
Veröffentlicht: (2023)

On Regular Fusible Modules
von: Naji, Osama A., et al.
Veröffentlicht: (2024)

Geometric approach to the modular isomorphism problem: groups of order 64
von: Margolis, Leo, et al.
Veröffentlicht: (2026)

Regularity of Koszul modules
von: Puthenpurakal, Tony J.
Veröffentlicht: (2024)

Monomial Almost Complete Intersections and the Strong Lefschetz Property
von: Chase, Bek, et al.
Veröffentlicht: (2025)

Nil modules and the envelope of a submodule
von: Ssevviiri, David, et al.
Veröffentlicht: (2024)

Relations between Poincaré series for quasi-complete intersection homomorphisms
von: Pollitz, Josh, et al.
Veröffentlicht: (2024)

Computing the unit group of a commutative finite $\mathbb{Z}$-algebra
von: Kreuzer, Martin, et al.
Veröffentlicht: (2024)