Let E be an algebraic over F, F is perfect. Show that E is perfect

  • Context: Graduate 
  • Thread starter Thread starter barbiemathgurl
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around proving that if \( E \) is an algebraic extension of a perfect field \( F \), then \( E \) itself is perfect. The scope includes theoretical aspects of field extensions and properties of algebraic and perfect fields.

Discussion Character

  • Technical explanation
  • Debate/contested

Main Points Raised

  • Some participants clarify that "perfect" means all algebraic extensions are separable.
  • One participant suggests examining the relationship between the irreducible polynomial of an element over the base field and over a larger field.
  • A participant proposes a series of steps to show that the irreducible polynomial of an element in \( E \) has zeros of multiplicity 1, hinting at the connection to the irreducible polynomial over \( F \).
  • There is a question regarding the notation \( \text{irr} <\alpha, E> \), with one participant interpreting it as the monic irreducible polynomial containing \( \alpha \) as a zero, while another expresses confusion about its meaning.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the proof or the notation used, indicating that multiple interpretations and approaches exist within the discussion.

Contextual Notes

The discussion includes unresolved questions about the notation and the implications of the definitions of perfect fields and algebraic extensions.

barbiemathgurl
Messages
12
Reaction score
0
let E be an algebraic over F where F is perfect. Show that E is perfect. :rolleyes:
 
Physics news on Phys.org
Well, what have you tried? Our purpose here is to help you work through a problem, not to be an answer book!
 
what doies perfect mean? all algebvraic extensions are separable? sounds trivial from the definitions doesn't it? have you thought about it?

if so, and it still eludes you, think abiout the relation between the irreducible polynomial for a given element over a base field as opposed to over a larger field.
 
Last edited:
@mathwonk: Yes "perfect" means all extensions are seperable.

@barbie: Do the following
1)Let [tex]K/E<\infty[/tex].
2)Let [tex]\alpha \in E[/tex]
3)Show [tex]\mbox{irr} \left< \alpha, E \right>[/tex] has zeros of multiplicity 1 (Hint: Show that [tex]\mbox{irr}\left< \alpha, E \right> | \mbox{irr} \left< \alpha, F \right>[/tex]*



*)If K algebraic over E algebraic over F then K algebraic over F.
 
Just out of interest: What does the notation irr<a,E> mean?

I though maybe it was a notation for the minimal polynomial of a over E, but as a was in E that doesn't make much sense your 3 wouldn't make much sense.
 
Palindrom said:
Just out of interest: What does the notation irr<a,E> mean?

It is the monic irreducible polynomial such that contains "a" as a zero. This notation is non-standard, but saves space which I have seen in one book.
 

Similar threads

  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 19 ·
Replies
19
Views
3K