Do Irreducibles Induce Algebraic Extensions?


by slamminsammya
Tags: algebraic, extensions, induce, irreducibles
slamminsammya
slamminsammya is offline
#1
Jan29-11, 07:43 PM
P: 15
Given [tex]K[/tex] a field, and [tex] f\in K[x][/tex] an irreducible (monic) polynomial. Does it follow that the field [tex] K[x]/\left<f\right>[/tex] is an algebraic extension of [tex]K[/tex]?
Phys.Org News Partner Science news on Phys.org
Lemurs match scent of a friend to sound of her voice
Repeated self-healing now possible in composite materials
'Heartbleed' fix may slow Web performance
mathwonk
mathwonk is offline
#2
Jan29-11, 08:20 PM
Sci Advisor
HW Helper
mathwonk's Avatar
P: 9,421
i think so. in general, if M is a maximal ideal in a commutative ring R, then R/M is a field. If R contains a subfield k, then R/M is an extension of k. So in your case the ring K[X] contains the subfield K, and since K[X] is a Euclidean ring, hence also a p.i.d., an irreducible polynomial f generates a maximal ideal, so K[X]/(f) is a field extension of K.

Moreover the degree (vector dimension) of the extension equals the degree of f, hence is finite, and every finite extension is definitely algebraic. so YES!

I had to think through all the details since I am old and losing my memory. hope this helps.
Hurkyl
Hurkyl is offline
#3
Jan29-11, 08:23 PM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,101
Isn't the answer obvious from the definition of "algebraic extension"? The interesting part is that it's a field and not just a ring.

(Hrm. I suppose there are equivalent definitions, and some would be less obvious than others. Which are you using?)


Register to reply

Related Discussions
Algebraic And Simple Extensions Calculus & Beyond Homework 2
Galois Theory - Algebraic extensions Calculus & Beyond Homework 2
Help With Algebraic Extensions/Bases Calculus & Beyond Homework 0
Counting Number of Irreducibles Calculus & Beyond Homework 9
[SOLVED] One-particle irreducibles in P&amp;S Quantum Physics 2