MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Does there exist an example of an abelian category A and abelian subcategory B, where B is wide but not full (as a subcategory of A)?

share|cite|improve this question
Your question would gain in clarity if you explained the meaning of "wide". – André Henriques Aug 4 '12 at 15:37
By wide subcategory one usually means a subcategory which contains all the objects of the original category (but not necessarily all the morphisms, as in this question). A better notion is that of essentially wide which just means that the inclusion functor is essentially surjective on objects (the subcategory contains at least one object for each isomorphism class). – Simone Virili Aug 4 '12 at 17:35
up vote 12 down vote accepted

Take $\textrm{Mod-}A$, where $A$ is a finite dimensional local $k$-algebra ($k$ a field). Let $\mathcal C$ be the category whose objects are the same as those of $\textrm{Mod-}A$, but whose homomorphisms are replaced by all $k$-vector space homomorphsims, i. e. $\textrm{Hom}_{\mathcal C}(X,Y) := \textrm{Hom}_k(X,Y)$. By construction, $\textrm{Mod-}A$ is a wide subcategory of $A$, and clearly it isn't full unless $A$ is equal to $k$. Moreover, $\mathcal C$ is equivalent to the category of vector spaces over $k$ (since every $k$-vector space can be given the structure of a $k$-module by letting $A$ act via $A/\textrm{Rad}(A)\cong k$). Hence $\mathcal C$ is abelian. Even kernels and cokernels in $\textrm{Mod-}A$ coincide with those in $\mathcal C$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.