# Check whether $\mathbb{Q}[X_{1},X_{2},…]/(f_{1},f_{2},…)$ is a Bézout domain, Noetherian, Factorial, or PID [closed]

Check whether $\mathbb{Q}[X_{1},X_{2},...]/(f_{1},f_{2},...)$ is a Bézout domain, Noetherian, Factorial, or PID with $f_{i} =X_{i}-X_{i+1}^2$.

I don't really have a clue how to start. It would be nice, if you would give me some steps and show me how I can proof those things. I can't even imagine how this ring looks like.

Thank you.

## closed as off-topic by user26857, zhoraster, Behrouz Maleki, E. Joseph, WatsonDec 21 '16 at 13:14

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – user26857, zhoraster, Behrouz Maleki, E. Joseph, Watson
If this question can be reworded to fit the rules in the help center, please edit the question.

This ring is isomorphic to $$\Bbb{Q}[X, X^{1/2}, X^{1/4}, X^{1/8}, X^{1/16}, ...]$$ which is at least a domain. Note that this is the union of the following chain of subrings $$\Bbb{Q}[X] \subsetneq \Bbb{Q}[X^{1/2}] \subsetneq \Bbb{Q}[X^{1/2^2}] \subsetneq \Bbb{Q}[X^{1/2^3}] \subsetneq ...$$
This is not Noetherian because the chain of ideals $$(X) \subsetneq (X^{1/2}) \subsetneq (X^{1/2^2}) \subsetneq (X^{1/2^3}) \subsetneq ...$$ is not stationary.
Let's prove that it is a Bézout domain: let $I=(f_1 , \dots , f_k)$ be a finitely generated ideal. Let $$n= \min \{ r: f_1 , \dots , f_k \in \Bbb{Q}[X^{1/2^r}] \}$$ Since $\Bbb{Q}[X^{1/2^n}]$ is a PID, there exists $g \in \Bbb{Q}[X^{1/2^n}]$ such that $$(f_1 , \dots , f_k)\Bbb{Q}[X^{1/2^n}] = g \Bbb{Q}[X^{1/2^n}]$$ this $g$ is indeed a generator of $I$, so that $I$ is generated by one element.
• Is this ring a UFD indeed? What about $X=X^{1/2}X^{1/2}=X^{1/4}X^{1/4}X^{1/4}X^{1/4}$? – user26857 Dec 10 '16 at 0:34