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
SUMMARY

The discussion focuses on proving that \( x \notin (x,y)^n \) for any \( n \in \mathbb{N} \) within the polynomial ring \( F[x,y] \), where \( F \) is a field. The participants clarify that for \( n \ge 2 \), if \( x \) were in the ideal \( (x,y)^n \), it could be expressed as a sum of terms with degrees greater than 1, leading to a contradiction. The key insight is that all elements of \( (x,y)^n \) have a degree of at least \( n \), which excludes \( x \) from being part of the ideal.

PREREQUISITES
  • Understanding of polynomial rings, specifically \( F[x,y] \)
  • Knowledge of ideals in ring theory
  • Familiarity with the concept of degree of polynomials
  • Basic principles of ring homomorphisms
NEXT STEPS
  • Study the properties of ideals in polynomial rings
  • Learn about the structure and properties of \( F[x,y] \)
  • Explore the concept of degree in polynomials and its implications
  • Investigate ring homomorphisms and their applications in algebra
USEFUL FOR

Mathematics students, algebraists, and anyone studying polynomial rings and ideals in abstract algebra.

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