วีดีโอ

It is crazy

you are so under-rated!!! Your content is a gold mine for number theory in math olympiads!! You've got a new subscriber!! :)

Very cool video! I had never seen these concepts before. Also never seen Sage. In the past I would use an ancient piece of software called Maxima to do algebra, whenever I got bored of doing it by hand. It seems Sage is a newer Python-based alternative, but it looks like they haven't figured out graphical input and output of mathematical formulas yet? One question: is (³√2 + ³√3) just one example of a primitive element for the field ℚ(³√2, ³√3)? I suppose any number of the form (a ³√2 + b ³√3 + c) with a, b, c ∈ ℚ would be a suitable alternative. But do all of its possible primitive elements have this form? Also, what happens when you keep adding all possible roots to ℚ? Since both the root arguments (ℕ) and the root indices (ℕ) are countably infinite, all possible roots are also countably infinite, by a similar diagonal construction as for ℚ. (Does the set of all possible roots have a name?) So the resulting extension would be isomorphic to a countably-infinite vector space of ℚ... which sounds a lot like ℝ. Is this yet another construction or definition of ℝ? Do transcendental numbers naturally appear in it, even though they were not included in its construction? Also, the primitive element theorem clearly does not apply, because it's not a finite extension, but what would a degenerate primitive element of this infinite extension look like? The... sum of all possible roots?

Please keep clickbaiting math! 🎉

Do complex integrals and the residue theorem please

This is awesome, especially the Sage Math demo. This is the type of thing that should have been given as hw in my abstract algebra II class where Sage Math could be used instead of keeping the problems computationally simple enough to do on paper, which forces the set of available hw problems to be quite boring.

Great 👍

you should have made your first basis vector gamma^0 = 1 and not used gamma^9, but the linear combinations that make alpha and beta didn't end up using the gamma^9, so I don't have that much of an issue.

Seems like an interesting video, but so quiet that it's actually hard to watch lol

The short form content is great, enough to intrigue and a great sell to watch the full video. Gonna have to check it out, please keep sharing!

You successfully tricked me into reviewing my abstract algebra knowledge

Amazing video! What software did you use to animate it?

Title should’ve ended with ellipsis

Phrasing an abstract algebra explainer as if it's youtube drama is quite possibly the greatest thing I've ever seen. You could teach so much to unsuspecting high-schoolers by making titles like this hahaha

no need just see the equation , it say it all.

En los últimos días, he estado ocupado tratando de construir la raíz cúbica de tres en el plano. Claro, demostré que es imposible. Y luego, aparece este video recomendado, fruto de cómo me espía el algoritmo

How is it possible that this channel does not have 250 000 subscribers?

Elementary, my dear Watson!

Great video, and the history at tme beginning helped to explain the motivation for studying these field extensions. (I've only taken a basic Abstract Algebra class that never reached the topic of field extensions.) And, yes, like everyone else is saying, I clicked for the silly title too, haha!

Pretty random but I watched your Topology playlist for a whole semester, did so good in my class that my professor offered me an undergrad research opportunity :) I think I'll owe you my degree when I graduate lol

This Is The Greatest Mathematics Of All Time

Thank you kind sir! Never heard of this theorem, nevertheless loved everything about this video: historical bit, explanation, visualisations ❤

three completely horrible video titles today. it's really wearing me down

Great video, I took an abstract algebra class as a comp sci major, and loved learning more about this type of thing. Keep it up!

moistcritical physics

I thought the title meant too many primitive elements are being discovered or sth🤣

Oh my god you mentioned Brahmagupta! Finally professors have stopped teaching that the Greeks and Persians came up with everything! Mathematics has had such a rich history and india was a big part of it, its so sad that this history has been almost totally omitted up until relatively recently. Lots of love, Gaurahari Das

very deep result. Galois couldn't demonstrate it.

Here's a fun problem. Let a,b,c be formal variables. Let L be the field Q(a,b,c), and let K be the field Q(a+b+c,ab+bc+ca,abc). Clearly K is a subset of L. (In fact it is precisely the set of _symmetric_ rational functions in a,b,c.) The problem is to prove that L=K(a-b). Note that this is an instance of the primitive root theorem, in the sense that the theorem guarantees us that L=K(gamma) for _some_ gamma in L.

You are talking too fast. I can't follow at that speed.

Thanks! You math Guys are great!

2:30 It is del Ferro, not 'Farro'

the proof is what's crazy (imo), because it turns out almost all gamma = alpha+x*beta can do the job. But I don't remember if there is some clever choice of x that will always work.

this is a fun video idea! edit: im also a big fan of judson's free algebra book!

the clickbait worked 😂

Very nice video!

Super cool video! Seeing (gamma = alpha + beta) at the end was a bit jarring though: I think a common reaction to this result would inspire the question "is that just always true?". A quick statement like "in this case, it happens to be..." would help contextualize that answer since the result is presented almost as trivial without explanation. @MasterHigure has a nice comment below that added some important information to this point, though I cannot understand the notation 🙂

I think in Zorn's Lemma we need to specify that there should be an upper bound IN THE SET S, so that the statement holds. Otherwise, we can take the set [0, 1), which doesn't have a maximal element

You are such a nerd.

Liked for AD

commenting for the algorithm gods

very good demonstration 👍🏻 really looking forward to more videos from you.

The clickbait situation is crazy, but awesome video 👍🏻

Pi is equal to 3

Good video. I had no audio issues (saying that because i see other people saying the video is quiet. Listening with headphones, have the volume 3/4 of max and can hear quite clearly.)

Coomer 😂

5:55 You don't need to check whether powers with natutal exponents give new elements. Just the basic multiplication table from a few seconds earlier and a *very* short induction argument. The reciprocals are there because this is a field, after all (if you're being pedantic you have to show that this field exists at all first), and then a very similar induction covers the rest of the negative integer exponents. Completely unrelated: It is very often the case that K(a, b)=K(a+b), but not always. It is the case whenever [K(a,b):K]=[K(a):K][K(b):K]. And the simplest counterexample I've seen (that's not trivial, like K(a-b, b) != K(a-b+b)) is an extension of K(s, t) with K having order p for some odd prime p, and s, t being transcendental. If a is a root of x^(p-1)-s and b is a root of x^p-sx-t, then K(a, b) has degree p(p-1) but K(a+b) only has degree p, as it is a root of x^p-sx-t. K(a, b) is still simple, but a+b isn't a generator.

I have a math major and I was lost within 75 seconds :( what is Q? What is Q(i)? Heck I don't remember if R stands for "reals" or something else! Maybe I'm not your target audience :(

Great video :)

the stupid title was why i clicked on it btw, good vid