Consider an ideal $I=\langle f_1,f_2,\ldots,f_s\rangle$ in the polynomial ring $\mathbb{Q}[x_1,x_2,\ldots,x_n].$ Build the following set $$ { g_1 f_1+g_1 f_2+\cdots+g_n f_n }, $$ where $g_i$ belongs to the field of fractions $\mathbb{Q}(x_1,x_2,\ldots,x_n)$ and denominators of all $g_i$ does not belong to the ideal $I.$ Is there a special name for this set?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
0
|
||||||||||||||
|
|
4
|
This is the image of $I$ in the localization $\mathbb Q[x_1,x_2,\dots,x_n]_{I}$. There is an issue here though. If $I$ is not a prime ideal, then its complement is not multiplicatively closed, and therefore not a good set to invert in a localization. If $I$ is not a prime ideal, then there are some $f, g$ in $I^c$ such that $fg\in I$. Thus, e.g., $\frac{1}{f}\cdot\frac{1}{g}$ becomes a non-allowed coefficient, while $\frac{1}{f}$ and $\frac{1}{g}$ both are. The set you describe can still be defined, obviously, but it will lack interesting structure. If $I$ is a prime ideal, then your set is the ideal in the localization ring that I describe above. |
|||
|
