- #1

- 1,552

- 15

I've been told that this result is really difficult to prove, but it seems really intuitive so I find that surprising. Where can I find a proof of this result?

Any help would be greatly appreciated.

Thank You in Advance.

You should upgrade or use an alternative browser.

- Thread starter lugita15
- Start date

- #1

- 1,552

- 15

I've been told that this result is really difficult to prove, but it seems really intuitive so I find that surprising. Where can I find a proof of this result?

Any help would be greatly appreciated.

Thank You in Advance.

- #2

- 606

- 1

I've been told that this result is really difficult to prove, but it seems really intuitive so I find that surprising. Where can I find a proof of this result?

Any help would be greatly appreciated.

Thank You in Advance.

No wonder you've been told that: it is false. Let [itex]E:= ℂ(t)[/itex] be the field of rational functions on the (transcendental) variable t. Then E is a field extension of [itex]ℂ[/itex] in which every pol. of [itex]ℂ[x][/itex] has a root, but E certainly is not alg. closed as, for example, the pol. [itex]x^2-t\in ℂ(t)[x][/itex] has no root in it...

Now, the claim is true if one adds the condition that E/F is an algebraic extension.

DonAntonio

- #3

- 1,552

- 15

OK, so adding that condition where can I find the proof of the result?Now, the claim is true if one adds the condition that E/F is an algebraic extension.

- #4

- 606

- 1

OK, so adding that condition where can I find the proof of the result?

It's theorem 2 in http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/algclosure.pdf

The proof isn't THAT easy but it isn't THAT hard, either.

Enjoy, and for this read the whole paper. The first part is just the well-known and "standard" proof by Artin.

DonAntonio

- #5

mathwonk

Science Advisor

Homework Helper

2020 Award

- 11,154

- 1,349

my free algebra notes 844.I.1, do this in detail, in the first 12 pages.

http://www.math.uga.edu/%7Eroy/844-1.pdf [Broken]

http://www.math.uga.edu/%7Eroy/844-1.pdf [Broken]

Last edited by a moderator:

- #6

- 606

- 1

my free algebra notes 844.I.1, do this in detail, in the first 12 pages.

http://www.math.uga.edu/%7Eroy/844-1.pdf [Broken]

The question wasn't about the existence of alg. closures of fields, which Artin's proof, that also appears in your notes, does, but the fact that after the first construction of an extension E/F s.t. every non-constant pol. in E[x] has a root we can ALREADY stop there since F is alg. closed. I couldn't find this point in your notes, though perhaps I oversaw it.

DonAntonio

Last edited by a moderator:

- #7

mathwonk

Science Advisor

Homework Helper

2020 Award

- 11,154

- 1,349

oops, my mistake, thank you.

- #8

- 1,552

- 15

Is it possible to prove the result without invoking the notion of perfect fields?It's theorem 2 in http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/algclosure.pdf

The proof isn't THAT easy but it isn't THAT hard, either.

Enjoy, and for this read the whole paper. The first part is just the well-known and "standard" proof by Artin.

- #9

- 606

- 1

Is it possible to prove the result without invoking the notion of perfect fields?

I doubt it since the trick focuses on extensions K/F which can be put in the form [itex]K=F(\alpha)[/itex] , for some [itex]\alpha\in K[/itex] , and one

achieves this using separability, but also: why? Separability shouldn't, imo, be a problem for someone trying to tackle what you're trying...

DonAntonio

Share:

- Replies
- 1

- Views
- 2K