Is every element in a finite extension of a field of characteristic 0 algebraic?

Click For Summary
SUMMARY

Any field of characteristic 0 is perfect, and every element in a finite extension of such a field is algebraic. In this discussion, the focus is on demonstrating that an element b in a finite extension K of a field F of characteristic 0 satisfies an irreducible polynomial in F[x]. The key conclusion is that since K is a finite extension, b must be algebraic over F, thus possessing a minimal polynomial in F[x] with no multiple roots.

PREREQUISITES
  • Understanding of field theory and finite extensions
  • Knowledge of irreducible polynomials in F[x]
  • Familiarity with the concept of minimal polynomials
  • Basic principles of algebraic elements over fields
NEXT STEPS
  • Study the properties of perfect fields and their implications
  • Learn about the structure of finite extensions in field theory
  • Explore the concept of minimal polynomials and their significance
  • Investigate the relationship between algebraic elements and field extensions
USEFUL FOR

Mathematicians, particularly those specializing in algebra and field theory, as well as students studying advanced algebra concepts related to field extensions and algebraic elements.

futurebird
Messages
270
Reaction score
0

Homework Statement



Show that any field of characteristic 0 is perfect.

2. The attempt at a solution

Let F be a field of characteristic 0.
Let K be a finite extension of F.
Let b be an element in K .

I need to show that b satisfies a polynomial over F having no multiple roots.

If f(x) is irreducible in F[x] then f(x) has no multiple roots.

I need to show that b satisfies a irreducible polynomial in F[x].

Well, suppose b can't satisfy any irreducible polynomial in F[x]. Can I get a contradiction? What kind of element could I have that didn't satisfy any irreducible polynomial?

Then how can b be in the finite extension...? A finite extension for a field of characteristic 0 is of the form F(a), it is generated by a single element. I'm stuck. I don't even know if what I've laid out so far is correct.

I'm having trouble connecting the arbitrary element b to a polynomial-- It's not obvious to me that b is the root of any polynomial in F[x].
 
Last edited:
Physics news on Phys.org
Well K is a finite extension of F. So b is algebraic over F, and hence has a minimal polynomial in F[x].

If you don't know what a min poly is, think about what it means for K to be a finite extension of F. What does this say about the set {1, b, b^2, b^3, ...}?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
6
Views
2K
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 28 ·
Replies
28
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
Replies
48
Views
6K
  • · Replies 24 ·
Replies
24
Views
4K