Field Extensions, Polynomial Rings and Eisenstein's Criterion

Click For Summary
SUMMARY

The discussion centers on the application of Eisenstein's Criterion to the polynomial \( p(x) = x^2 - 2 \) over the field \( \mathbb{Q} \). Participants clarify that while Eisenstein's Criterion requires the polynomial to be in \( R[x] \) where \( R \) is an integral domain, the sub-ring \( \mathbb{Z} \) of \( \mathbb{Q} \) qualifies as an integral domain. Consequently, since every field is an integral domain, Eisenstein's Criterion is applicable in this context, affirming that \( p(x) \) is irreducible over \( \mathbb{Q} \) as stated in Dummit and Foote's Chapter 13.

PREREQUISITES
  • Understanding of Eisenstein's Criterion
  • Familiarity with field theory concepts
  • Knowledge of polynomial irreducibility
  • Basic understanding of integral domains and their properties
NEXT STEPS
  • Study Eisenstein's Criterion in detail
  • Explore examples of polynomial irreducibility in various fields
  • Learn about the structure of integral domains and their significance in field theory
  • Investigate the relationships between fields, Euclidean domains, and principal ideal domains (PIDs)
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in field theory and polynomial irreducibility will benefit from this discussion.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
In Dummit and Foote Chapter 13: Field Theory, the authors give several examples of field extensions on page 515 - see attached.

In example (3) we read (see attached)

" (3) Take F = \mathbb{Q} and p(x) = x^2 - 2, irreducible over \mathbb{Q} by Eisenstein's Criterion, for example"

Now Eisenstein's Criterion (see other attachment - Proposition 13 and Corollary14) require the polynomial to be in R[x] where R s an integral domain.

In example (3) on page 515 of D&F we are dealing with a field, specifically \mathbb{Q}.

My problem is, then, how does Eisenstein's Criterion apply?

Can anyone please clarify this situation for me?

Peter

[This has also been posted on MHF]
 
Physics news on Phys.org
The sub-ring $\Bbb Z$ of $\Bbb Q$ is an integral domain...

Also, any field is automatically an integral domain. You might wish to commit to memory the following chain of inclusions:

Fields < Euclidean Domains < PID's < UFD's < Integral domains < Commutative rings.
 

Similar threads

  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 24 ·
Replies
24
Views
5K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
13
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 11 ·
Replies
11
Views
4K
Replies
2
Views
3K