Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
In the case of finite groups, induction is both left and right adjoint to restriction. Is that true in general? In the book I am looking at, they only prove one of these two. In particular, I only get a natural map $iE\to E$ from that theorem. What is the natural map $E\to iE$?
Thanks! So this shows that any homomorphism $B/b\to A/a$ comes from a homomorphismm $B\to A$ which maps $(b)$ to $(a)$. Is it clear that every such can be obtained by multiplication with $c$ as above?
Thanks! So the situation is even better than I have expected. Am I right in assuming that the reflexive sheaf corresponding to a Weil divisor is just the subsheaf of the quotient field of all functions with the prescribed pole and zero loci?