Galois theory: Splitting fields
Вставка
- Опубліковано 27 гру 2020
- This lecture is part of an online course on Galois theory.
We define the splitting field of a polynomial p over a field K (a field that is generated by roots of p and such that p splits into linear factors). We give a few examples, and show that it exists and is unique up to isomorphism.
I'm loving this series for its own sake but it's just icing on the cake watching Dr. Borcherds dunk on electrical engineers
Poles (eigenvalues) are dual to zeroes -- optimized control theory.
Signals are dual to noise -- signal to noise ratio in electronics.
Alternating currents AC are dual to direct currents DC.
Antinomy (duality) is two truths that contradict (ambiguity) each other -- Immanuel Kant.
"Always two there are" -- Yoda.
Normally I don't like lectures, but this channel is wonderful and exciting. I keep coming back for more, and watching just one of them is never enough. Thank you so much, Prof. Borcherds. I especially love all those examples. :)
Galois groups are dual to modular forms.
Modular forms are dual to elliptic curves.
Poles (eigenvalues) are dual to zeroes -- optimized control theory.
Signals are dual to noise -- signal to noise ratio in electronics.
Alternating currents AC are dual to direct currents DC.
Antinomy (duality) is two truths that contradict (ambiguity) each other -- Immanuel Kant.
"Always two there are" -- Yoda.
Positive charge is dual to negative charge -- electric charge.
North poles are dual to south poles -- magnetic fields.
Electro is dual to magnetic -- electro-magnetic energy is dual.
At 13:55 I think you meant K1 instead of K0
2:41 It's more accurate to call L the splitting field of p over K since it's dependent on the polynomial.
This is a great lecture, thank you Dr.
Your explications are very clear. Thank you.
11:31 the roots should be the odd powers of alpha.
Thank you, I was kind of lost in that part
22:30 thanks for the laugh, an excellent bonus to a great lecture!
Signals are dual to noise -- signal to noise ratio in electronics.
Alternating currents AC are dual to direct currents DC.
Antinomy (duality) is two truths that contradict (ambiguity) each other -- Immanuel Kant.
"Always two there are" -- Yoda.
Great lecture
I'm so glad for the internet and, in part, for COVID specifically because it's forced people to put this material into videos on the internet, like they should've always done.
Having to travel 4 hours to the nearest college campus that teaches algebra is a huge problem when in-person lectures are mandatory.
I'd rather have lectures all day, instead of the meager hour you'd normally get.
Wish institutions would get the hint.
You very attentuve, fir me as native Russian it is hard to distinguish "the splitting field" and "a splitting field" . Because we have words ending instead of a and the
Really this is an overwhelming experience to get to learn from the master. Thank you so much Professor and can you please suggest, which book should I use as a text for this course?
He recommends Galois theory by E Artin in the introduction video.
Oh, okay...! Thanks..😊
lol at electrical engineers getting their signs wrong. Great lecture.
20:54 No need to apologize. It doesn't take much effort for a Russian to distinguish between "какой либо" and "определённый". (I do feel embarrassed by some, often very good, Russian mathematicians speaking English and it has had always puzzled me, if it is by lack of motivation, or by mirror symmetry). Use of articles adds efficiency to English language, but I can assure you, that it isn't always more efficient tool of communication than Russian.
I confirm it as a Russian ) In Russian if you want to distinguish "a" and "the" scenarios you can use pronouns or adjectives as in your examples. So other parts of speech kind of act as articles. And that's the reason why articles are difficult for Russians: we are used to using other parts of speech as articles (or use nothing it the context is clear).
@@alexanderchekmenev1217 Thank you. Native English speakers tend to drop an article, when the context is clear too, while those, for whom English is an acquired communication skill seem to be more rigid in using them.
cos(2pi/7) is always the example used of a degree 3 Galois extension of Q, no matter the book.
Almost feels like it's the only one.
Clearly not, since you can take the other roots of the degree 3 polynomial. We discussed in the previous lecture that cos(4pi/7) and cos(6pi/7) work for the same reason.
@@vishalraman-piano5499 well yeah, but either way, you're still getting the same field, hence it's the one degree 3 example of a Galois extension always given.
@@user-jc2lz6jb2e because there is one group of order 3 up to isomorphism.
the single dislike is by russian electrical engineer
Wow, a Richard Borcherds lecture!
Thankyou
8:29: why [L:K]=3 ?
22:50 Why is this a minor problem? It seems to me that the ambiguity hints at the possibility of having automorphisms of the splitting field, which is key to Galois theory.
Galois groups are dual to modular forms.
Modular forms are dual to elliptic curves.
Poles (eigenvalues) are dual to zeroes -- optimized control theory.
Signals are dual to noise -- signal to noise ratio in electronics.
Alternating currents AC are dual to direct currents DC.
Antinomy (duality) is two truths that contradict (ambiguity) each other -- Immanuel Kant.
"Always two there are" -- Yoda.
19:58: in this prove , the orange k(a) in p and k'(a) in p' are the same order, isn't this prove try to prove iso regardless the order ?
I'm showing 21:33 to my dad. I studied math in college and he's an electrical engineer haha.
Galois groups are dual to modular forms.
Modular forms are dual to elliptic curves.
Poles (eigenvalues) are dual to zeroes -- optimized control theory.
Signals are dual to noise -- signal to noise ratio in electronics.
Alternating currents AC are dual to direct currents DC.
Antinomy (duality) is two truths that contradict (ambiguity) each other -- Immanuel Kant.
"Always two there are" -- Yoda.
Positive charge is dual to negative charge -- electric charge.
North poles are dual to south poles -- magnetic fields.
Electro is dual to magnetic -- electro-magnetic energy is dual.
Could you give some literature recommendation like you have for your other courses?
He recommended E. Artin’s classic Galois Theory text.
James Milne has a pdf on Galois theory on his website which is quite complete and very comprehensive.
@@rgicquaud good to know thanks!!
I t seems like quadrant is important in the location.
2:09 The notion of roots of polynomial has ambiguity. For example, consider a polynomial p(x) = x^2 + 1. In (Z/2Z)[x], p(x) = (x+1)^2, so all roots seem to be -1. On the other hand, In C[x], p(x) = (x+i)(x-i), i.e., the roots of p(x) seem to be -i and i where I is the square root of minus 1. Therefore, notion of roots of polynomial depends on the field of coefficients. But the condition that p(x) factors into linear factors is more clear what this means. So, at 2:09, the word “roots” are excluded from the definition of splitting fields.
10:15 For any cubic polynomial p(x) over a field Q, if an extension field Q[x]/(p(x)) contains two roots of p(x), then automatically the remained root also is in Q[x]/(p(x)). This is because the sum of three roots is a coefficient of p(x) which is in Q. Now, I do not understand where the polynomial comes from, but now, p(x) = 8x^3 + 4x^2 -4x -1 has three roots cos(2pi/7), cos(4pi/7), cos(6pi/7) satisfying
cos(2pi/7) + cos(4pi/7) + cos(6pi/7) = -4/8. And thus
cos(6pi/7) = 4/8 - cos(2pi/7) - cos(4pi/7),
the left hand side is in the field Q[x]/(p(x)) as explained at 10:15 and hence all roots of p(x) are contained in Q[x]/(p(x)).
To show that Q[x]/(p(x)) is the minimal among all fields containing roots of p(x), suppose that E is another such a filed and consider the map Q[x] -> E which sends x to cos(6pi/7). Because p(x) is an irreducible (minimal) polynomial of cos(6pi/7) over Q, the image is isomorphic to Q[x]/(p(x)) and this gives an inclusion. Hence, Q[x]/(p(x)) is minimal among them.
2:49 In the definition of splitting field, I am not sure why “LINEAR FACTORS” is used. I guess “L generated by roots of p(x) over K” means that L is a minimal field among all fields containing both K and roots of p(x).
12:09 If "a" is a root of x^4+1 = 0, then Q(a)=Q(a^3) =Q(a^5) = Q(a^7) = Q[x]/(x^4+1).
15:18 typo? K_2 = K_0[x]/() ... but it will be K_1[x]/()
15:25~23:00 About uniqueness of splitting fields of p(x) over a filed K. I do not understand yet.
21:18
Isomorphisms of splitting fields is a little stronger than fields. In fact, if there is two extensions of fields K -> K[i];x -> x and K ->K[j];x -> jx, then maps K[i] -> K[j] defined by i-> j and i-> -j are not isomorphism as extension but isomorphism as field. I cannot understand why uniqueness does not follow straightforward. Is “a” splitting field defined by “the” minimal field which contains both K and all roots of a fixed p(x) of K[x]?
Fundamental.
Some electrical engineer shaming here
Galois groups are dual to modular forms.
Modular forms are dual to elliptic curves.
Poles (eigenvalues) are dual to zeroes -- optimized control theory.
Signals are dual to noise -- signal to noise ratio in electronics.
Alternating currents AC are dual to direct currents DC.
Antinomy (duality) is two truths that contradict (ambiguity) each other -- Immanuel Kant.
"Always two there are" -- Yoda.
Positive charge is dual to negative charge -- electric charge.
North poles are dual to south poles -- magnetic fields.
Electro is dual to magnetic -- electro-magnetic energy is dual.
ye ye
I am Russian and I don’t have a problem with understanding the difference.