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.
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

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
9K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K