I have a problem with understanding the following solution to the problem:

A subring of a Noetherian ring is Noetherian? True or false?

Solution

let $\displaystyle A=k[X,Y]$ where k is a field, then A is Noetherian by Hilbert's basis theorem.

Now we want to construct a subring and then show that a sequence of ideals of this subring never becomes stationary thus the subring will not be Noetherian.

1)We start with letting $\displaystyle A_{1}=k+I$ where $\displaystyle I=(X)=AX$ then $\displaystyle A_{1}$ is a subring of $\displaystyle A=k[X,Y]$

as $\displaystyle \alpha,\alpha^{\prime}\in k$, $\displaystyle g,g^{\prime}\in I$ we have then that

$\displaystyle (\alpha+g)+(\alpha^{\prime}+g^{\prime})\in A_{1}$ and

$\displaystyle (\alpha+g)\cdot(\alpha^{\prime}+g^{\prime})\in A_{1}$

2) Important observation. If $\displaystyle f=\alpha+g\in k+I=A_{1}$ then $\displaystyle f(0,y)=\alpha=(0,0)$ as $\displaystyle g(0,y)=0$ and $\displaystyle y,y^{2},.....\not\in A_{1}$

3) Hence we may construct an infinite chain of ideals

$\displaystyle (X)\subset (X,XY)\subset (X,XY^2)\subset......$

this chain never stops $\displaystyle XY^{k+1}\not\in (X,XY^2,......XY^k)$

as

$\displaystyle XY^{k+1}=\displaystyle\sum_{i=0}^{k}f_{i}(X,Y)XY^{ i}$ where all $\displaystyle f_{i}\in A_{1}$

$\displaystyle \Rightarrow Y^{k+1}=\displaystyle\sum_{i=0}^{k}f_{i}(0,Y)Y^{i}$

$\displaystyle \Rightarrow Y^{k+1}=\displaystyle\sum_{i=0}^{k}f_{i}(0,0)Y^{i}$ (contradition if they were contained).

Here are my questions and doubts....

Part 2) How do elements of $\displaystyle I=(X)=AX$ look like?

are they polynomials generated by element $\displaystyle X$ and then multiplied by any element from the ring? f ex let's take $\displaystyle p(X,Y)=3X-4XY\in k[X,Y]$ then $\displaystyle g=X(3X-4XY)=3X^2-4X^2Y\in I$ Right?

If we further assume that $\displaystyle k=\mathbb{R}$ we can take for ex $\displaystyle \alpha=5$ then if $\displaystyle f=\alpha+g=5+3X^2-4X^2Y$ then $\displaystyle f(0,y)=5=\alpha=f(0,0)$ and $\displaystyle g(0,y)=0$

but based on what do they conclude that $\displaystyle y,y^2,y^3,......\not\in A_{1}$??? is it because of the def of $\displaystyle A_{1}$ that it is a ring all polynomials that are all divisible by $\displaystyle X$??? and these ''alone'' terms with powers of y are not divisible by $\displaystyle X$

3) what does the last part of the solution say?

Could someone explain this solution to me step by step please?

Thanks