Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

A subcategory $\mathbf A$ is reflective subcategory of $\mathbf B$ if for every $B\in\mathbf B$ there exists an $A_B\in\mathbf A$ and a $\mathbf B$-morphism $r_B \colon A \to A_B$ such that: for any $A\in\mathbf A$ and any $\mathbf B$-morphism $f \colon B \to A$ there exists unique $\mathbf A$-morphism $\overline f \colon A_B \to A$ such that $\overline f\circ r_B=f$.

Diagram - reflection

This is equivalent to saying that the inclusion functor $E \colon \mathbf A \to \mathbf B$ has a left adjoint.

Current revision of the Wikipedia article on reflective subcategories claims that

The category of fields is a reflective subcategory of the category of integral domains. The reflector is the functor which sends each integral domain to its field of fractions.

I don't think this is true - an easy counterexample is the homomorphism $f \colon \mathbb Z \to\mathbb Z_2$ given by $f(n)=n\mod 2$. This homorphism obviously cannot be extended to $\overline f \colon \mathbb Q \to \mathbb Z_2$.

The above claim would be true if we considered the categories of integral domains only with injective ring homomorhpisms.

Am I correct? Did I miss something there?

The same problem has already been mentioned on the talk page of this Wikipedia article, so this is more-or-less just a sanity check.

share|improve this question
2  
The article field of fractions states explicitly what the category of integral domains has to be here. –  Chris Eagle Jun 6 '12 at 10:16
add comment

1 Answer

up vote 3 down vote accepted

Yes, you are correct... and the category of integral domains is defined to only have the injective homomorphisms as arrows. Unfortunately, this part of the definition sometimes seems to be left out when the category is introduced....

share|improve this answer
add comment

Your Answer

 
discard

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.