Proving x ∉ (x,y)^n for any n ∈ N in F[x,y] Field

  • Thread starter Thread starter Bashyboy
  • Start date Start date
  • Tags Tags
    Prime
Click For Summary
The discussion focuses on proving that x is not an element of the ideal (x,y)^n in the polynomial ring F[x,y] for any natural number n, specifically when n is greater than or equal to 2. Participants explore the definition of ideals and the implications of expressing x in terms of the ideal's generators. A key point raised is that if x were in (x,y)^n, it could be represented as a sum of terms with degrees greater than 1, leading to a contradiction when substituting y=1. The conversation emphasizes the need to demonstrate that all elements of (x,y)^n have a degree of at least n. Ultimately, the goal is to clarify the concept of ideals and the specific conditions under which x cannot belong to (x,y)^n.
Bashyboy
Messages
1,419
Reaction score
5

Homework Statement


Consider ##F[x,y]##, where ##F## is some field. I've been working on a problem all day and I'm having trouble with this last step. I am trying to show that ##x \notin(x,y)^n## for any ##n \in \Bbb{N}##.

Homework Equations

The Attempt at a Solution



Note that ##(x,y)^n = [(x)+(y)]^n = \sum_{i=0}^n (x)^i y^{n-i}##. I tried working with this, but I couldn't get anywhere. I could really use a hint; I don't want to have this become a problem that takes two days...
 
Physics news on Phys.org
I don't get it. Why isn't ##x \in (x) \subseteq (x,y) = (x,y)^1## as I can write it ##x=x^1+0\,##?
What does it mean an element is not an ideal?
 
fresh_42 said:
I don't get it. Why isn't ##x \in (x) \subseteq (x,y) = (x,y)^1## as I can write it ##x=x^1+0\,##?
What does it mean an element is not an ideal?

Sorry, I forgot to mention to stipulate that ##n \ge 2##.
 
Then under the assumption ##x \in (x,y)^n## for an ##n>1## we can write ##x= \sum_{n_i+m_i > 1} f_ix^{n_i}y^{m_i} ## with ##f_i \in \mathbf{F}\; , \;f_i = 0## almost all. Now the substitution ##y=1## is a ring homomorphism and we get a representation ##x \in \mathbf{F}[x]##.
 
try showing all elements of (x,y)^n have degree ≥ n.
 
First, I tried to show that ##f_n## converges uniformly on ##[0,2\pi]##, which is true since ##f_n \rightarrow 0## for ##n \rightarrow \infty## and ##\sigma_n=\mathrm{sup}\left| \frac{\sin\left(\frac{n^2}{n+\frac 15}x\right)}{n^{x^2-3x+3}} \right| \leq \frac{1}{|n^{x^2-3x+3}|} \leq \frac{1}{n^{\frac 34}}\rightarrow 0##. I can't use neither Leibnitz's test nor Abel's test. For Dirichlet's test I would need to show, that ##\sin\left(\frac{n^2}{n+\frac 15}x \right)## has partialy bounded sums...