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

Homework Help Overview

The discussion revolves around the problem of proving that the element ##x## is not contained in the ideal generated by ##(x,y)^n## for any natural number ##n## in the polynomial ring ##F[x,y]##, where ##F## is a field. Participants are exploring the implications of this assertion and the properties of ideals in this context.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to manipulate the expression for the ideal ##(x,y)^n## but expresses difficulty in progressing towards a proof. Some participants question the understanding of what it means for an element to be in an ideal, particularly in relation to the ideal generated by ##(x)## and ##(x,y)##. Others suggest considering the degrees of elements in the ideal.

Discussion Status

The discussion is ongoing, with participants raising questions about the definitions and properties of ideals. Some have offered hints regarding the degrees of elements in the ideal, while others are exploring the implications of specific assumptions, such as the stipulation that ##n \ge 2##.

Contextual Notes

There is a noted assumption that ##n \ge 2##, which may influence the reasoning and approaches discussed. Participants are also grappling with the foundational concepts of ideals in the context of polynomial rings.

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.
 

Similar threads

Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
10K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K