Tell me more ×
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.

Let $k$ be a field. How do we define evaluation of rational functions $k(x_1, \ldots, x_n) \to k$? For example, consider a function $$f = \frac{(x_1 - x_2)(x_3 - x_4)}{(x_1 - x_3)(x_2 - x_4)}$$ over a field of characteristic zero. We want to evaluate it at $(0, 1, 0, 0)$. The answer that I expect is $-1$, but I can't see a straightforward way to define this without topology or first factoring by some ideal (in this case generated by $x_1 - x_3$, $x_1 - x_4$), then reducing the fraction and then evaluating. Is there a way or do we have to steer clear of the points where the denominator is zero? Is there a way to make evaluation a morphism between some objects?

share|improve this question
1  
You don't without either adding an $\infty$ point to $k$ or excluding points where the denominator evaluates to $0$. – Thomas Andrews Nov 20 '12 at 15:34

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.