0
$\begingroup$

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.

$\endgroup$

closed as off-topic by user26857, zhoraster, Behrouz Maleki, E. Joseph, Watson Dec 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.

2
$\begingroup$

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.

With a similar argument you can prove that this ring is a factorial ring (indeed a UFD).

$\endgroup$
  • 1
    $\begingroup$ 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}$? $\endgroup$ – user26857 Dec 10 '16 at 0:34
  • 1
    $\begingroup$ Btw, the union of an ascending chain of UFDs is a UFD if the primes remain so in every member of the union where they belong. But this is not the case here. $\endgroup$ – user26857 Dec 10 '16 at 0:48

Not the answer you're looking for? Browse other questions tagged or ask your own question.