locally finitely presented $\mathcal{O}_X$-modules are quasi-coherent
61926
Why are Grothendieck's and Hartshorne's definitions of quasi-coherence equivalent?
143138
All models of $\mathsf{ZFC}$ between $V$ and $V[G]$ are generic extensions of $V$
99707
free module implies surjective map of affine schemes
127044
Prove that a finitely-generated free module has a finite basis
26368
Finitely generated graded modules over $K[x]$
4790
Generators of a finitely generated free module over a commutative ring
59289
Nested Sequence of Topological Space and the Coherent Topology; Munkres Topology 35.9
140314
A module as an external direct product of the kernel and image of an idempotent function
37479
Proper submodules of Noetherian modules are intersections of indecomposable modules
139582
Converse of "localization at a prime is local"
74974
When $\operatorname{Hom}_{R}(M,N)$ is finitely generated as $\mathbb Z$-module or $R$-module?
47630
Endomorphisms of modules satisfying chain conditions and counterexamples.
79591
Exact Sequences of Modules and Rank
37570
$M + N$ and $M \cap N$ are finitely generated $A$-modules implies $M$ and $N$ finitely generated using exact sequences
122012
The ideal $(x,y)$ is not a free $K[x,y]$-module
129025
Quotient ring local if Ring is local
110110
Mitchell's Embedding Theorem for not-necessarily-small categories