Laurent polynomial ring ($k[X_1^{\pm 1},\dots ,X_r^{\pm 1}]$)

A Laurent polynomial ring is the localization of a ring $k[X_1,\dots ,X_r]$ obtained by inverting all variables. Its elements are finite sums of Laurent polynomials with exponent vectors in ${\mathbb{Z}}^r$. It is a Noetherian ring by the Hilbert basis theorem and Localization of a Noetherian ring.

A nonzero quotient of an $r$-variable Laurent polynomial ring is finite over an embedded Laurent polynomial ring in $m\le r$ variables. Given a nonzero Laurent relation, choose $N$ so that weights $(N,N^2,\dots ,N^{r-1},1)$ separate its finite exponent support. The displayed invertible monomial substitution makes its extreme $Y_r$ coefficients units in the remaining Laurent variables. Normalize the relation to a monic polynomial with unit constant term; both $Y_r$ and $Y_r^{-1}$ are integral over the image of the $(r-1)$-variable subring. Induction and transitivity of finite extensions prove the assertion, over finite fields as well as infinite fields. An infinite-dimensional quotient has $m\ge 1$.

Every unital $k$-subalgebra $A\subseteq k[T,T^{-1}]$ is a Noetherian ring. If $A\subseteq k[T]$ or $k[T^{-1}]$, a nonconstant element $f\in A$ makes that ambient polynomial ring a finitely generated module over $k[f]$. Otherwise $A$ contains an $f$ with both positive and negative exponents, and both $T$ and $T^{-1}$ are integral elements over $k[f]$. In either case $A$ is a submodule of a finite module over the Noetherian ring $k[f]$, and every ideal of $A$ is finitely generated over $k[f]$, hence over $A$.

Given a finite set $F\subset {\mathbb{Z}}^r$ of exponent vectors, there is $w\in {\mathbb{Z}}^r$ for which the integers $w\cdot m$, $m\in F$, are pairwise distinct. For $r=2$, take $w=(1,N)$ with $N$ larger than every first-coordinate difference in $F$. In higher dimensions take $w=(1,N,\dots ,N^{r-1})$ with $N$ sufficiently large. This proves that a nonzero Laurent polynomial can be detected by a substitution $X_i=T^{w_i}$ without cancellation of its distinct terms.