Half–Exact Coherent Functors over PIDs and Dedekind Domains

Abstract: The focus of this thesis is to characterize half–exact coherent functors over principal ideal domains (PIDs) and Dedekind domains. Ever since they where discovered, coherent functors have been useful in the study of some mathematical objects. We aim to explore a little more about them in this thesis.We first give here a review of the general categorical notions relevant to the characterization. We also review the functors Ext(M,−) and Tor(M,−)  on the category on A–modules, where A is a commutative ring and M is an A–module.With the assumption that A is a commutative noetherian ring, we introduce coherent functors defined on the category of finitely generated A–modules. It is then shown in the paper that any half–exact coherent functor over a PID, and more generally over a Dedekind domain, arises from a complex of projective modules.