In view of Mariano Suárez-Alvarez's answer I see how badly phrased my question was, and decided to rewrite it. The drawback is that some comments of Martin Brandenburg are now incomprehensible, but I thought it would suffice to say here that Martin made some legitimate constructive criticisms to the original wording of the question. By the way, thank you also to Vladimir Dotsenko for his comments.


Let $K$ be a commutative ring, and let $X\_1,\dots,X\_n$ be indeterminates. Here $n$ is an integer $\ge3$. For $1\le i < j\le n$ put 
$$
x\_{ij}:=\frac{1}{X\_i-X\_j}
$$
and let $Y\_{ij}$ be an indeterminate. Let $I$ be the kernel of the $K$-algebra morphism 
$$
\varepsilon:K[(Y\_{ij})]\to K[(x\_{ij})],\quad Y\_{ij}\mapsto x\_{ij}.
$$



> 
> Is $I$ finitely generated? If it is, can one give an explicit finite set of generators?
> 
> 
> 


Note that the identity
$$
\frac{1}{a-b}\ \frac{1}{a-c}+\frac{1}{b-a}\ \frac{1}{b-c}+\frac{1}{c-a}\ \frac{1}{c-b}=0.
$$
shows that $I$ is nonzero.


(I put the homological algebra tag because the ultimate goal is to know whether there is a functorial free resolution of $K[(x\_{ij})]$, viewed as a $K[(Y\_{ij})]$-module, and, if it exists, what can be said about it.)


The question had been posted before on Mathematics Stack Exchange ([link](https://math.stackexchange.com/questions/104548/generators-of-a-certain-ideal)).



Generators of a certain ideal
A polynomial $f\in K[\underline Y]$ is in the kernel of your map iff $f$ is zero in the quotient $$\frac{k[X,Y]}{\bigl((X\_i-X\_j)Y\_{i,j}-1:1\leq i<j\leq n\bigr)}.$$In other words, your kernel is the intersection of the ideal in the denominator with the ring $k[Y]$, $$\ker\varepsilon=k[Y]\cap\bigl((X\_i-X\_j)Y\_{i,j}-1:1\leq i<j\leq n\bigr).$$This intersection is generated by the elements of a Groebner basis which only contain $Y$s, assuming you are using a monomial order which *eliminates* the $X$s; this is explained in the book by Cox, Little and O'Shea, for example. 


Doing small examples shows that 



> 
> $(\star)$ the intersection is generated by all polynomials of the form $$Y\_{i,j} Y\_{i,k}+ Y\_{j,k}Y\_{j,i}+Y\_{k,i}Y\_{k,j}$$ with $i$, $j$ and $k$ distinct. (I am identifying $Y\_{i,j}$ with $-Y\_{j,i}$ here when $i\neq j$)
> 
> 
> 


Ordering the variables as in $$X\_1,X\_2,X\_3,X\_4,Y\_{1,2},Y\_{1,3},Y\_{1,4},Y\_{2,3},Y\_{2,4},Y\_{3,4}$$ for $n=4$ we find the Groebner basis
$$\begin{array}{l}
 Y\_{2,3} Y\_{2,4}+Y\_{3,4} Y\_{2,4}-Y\_{2,3} Y\_{3,4} \\\\
 Y\_{1,3} Y\_{1,4}+Y\_{3,4} Y\_{1,4}-Y\_{1,3} Y\_{3,4} \\\\
 Y\_{1,2} Y\_{1,4}+Y\_{2,4} Y\_{1,4}-Y\_{1,2} Y\_{2,4} \\\\
 Y\_{1,2} Y\_{1,3}+Y\_{2,3} Y\_{1,3}-Y\_{1,2} Y\_{2,3} \\\\
 X\_3 Y\_{3,4}-X\_4 Y\_{3,4}-1 \\\\
 X\_2 Y\_{2,4}-X\_4 Y\_{2,4}-1 \\\\
 X\_2 Y\_{2,3}-X\_3 Y\_{2,3}-1 \\\\
 X\_1 Y\_{1,4}-X\_4 Y\_{1,4}-1 \\\\
 X\_1 Y\_{1,3}-X\_3 Y\_{1,3}-1 \\\\
 X\_1 Y\_{1,2}-X\_2 Y\_{1,2}-1
\end{array}$$
The same pattern is seen for all $n$. It is very easy to see that all these polynomials are in $((X\_i-X\_j)Y\_{i,j}-1:1\leq i&lt;j\leq n)$, and it should not be difficult to show that they are a Groebner basis in general. I expect checking that the above claim $(\star)$ can actually be proved without much pain.


