Welcome to MathOverflow

Question

1

Q is a rational field. Q[x] is polynomial ring over Q 。(x) is maximal ideal of Q[x]. Take Q[x]/(x) as a module over Q[x]. Then what is Q[x]-module Q[x]/(x) localize at 0??

I think the result is Q[x]/(x) \ otimes_{Q[x]}Q(x) but on the other hand, from another way, I know it should be Q[1/x]/Q.

But how can I prove they are isomorphism?

flag	asked Dec 13 2009 at 16:05 MAJIA 27●1

This looks like homework and is not appropriate for MO. Have you read the FAQ? – Qiaochu Yuan Dec 13 2009 at 16:13

Sorry. In fact, I am using very general framework to revise the constructing injectives in Grothendieck category. I want to test this machinary using this example. However, I suddenly found that I could not prove this isomorphism – MAJIA Dec 13 2009 at 16:30

1

Do you mean localized at the point x=0, or localized at the prime ideal (0)? – Alison Miller Dec 13 2009 at 17:07

I am sorry. The multiplicative set should be S=Q[x]-(0) – MAJIA Dec 13 2009 at 17:27

2

Connected to Scott's answer, you may also like to note that $\mathbb Q[x]/(x) \otimes_{\mathbb Q[x]}\mathbb Q(x) = 0$ since you can always take any basis element $r\otimes f$ and rewrite it as $r\otimes fx = rx\otimes f = 0$. Also, just by the recognition that $\mathbb Q[x]-(0)$ is your multiplicative set, you'll be able to see that the module vanishes; basically by the same argument again: x annihilates all of $\mathbb Q[x]/(x)$, and thus, if $x$ suddenly is invertible, we can take any $r\in\mathbb Q[x]/(x)$ and rewrite its image in the localization to $rx/x = 0/x = 0$. – Mikael Vejdemo-Johansson Dec 13 2009 at 17:46

show 1 more comment

S. Carnahan · Answer 1 · 2009-12-13 17:05:49Z UTC

If you localize Q[x] at zero, you get the field of rational functions Q(x), so your module localizes to a vector space over this field (see Wikipedia). Your module is finitely generated, in fact by a single element, so you get a vector space of dimension zero or one. To decide which is correct, we can use Proposition 2.1 in Eisenbud's Commutative algebra (with a view toward algebraic geometry): If M is finitely generated, then $M[U^{-1}] = 0$ if and only if M is annihilated by an element of U. In this case, x is such an annihilating element, and your localized module is zero. Therefore, your first answer is correct, and your second answer is wrong.

Rado · Answer 2 · 2009-12-13 19:13:32Z UTC

0

Isn't $Q[x]/(x)$ just $Q$ . In general $Q[x]/(x-\alpha)$ is just evaluation of all polynomials at alpha.

Then localization does nothing as we already have a full field of fractions.

answered Dec 13 2009 at 19:13

Rado
473●5●12

yes it is. Q as a Q[x]-module – MAJIA Dec 13 2009 at 20:59

What is the localization of Q[x]/(x) at 0

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.