WEBVTT 00:00:00.000 --> 00:00:01.879 Welcome back to the Deep Dive, the place where 00:00:01.879 --> 00:00:06.530 we turn complex research and... dense historical 00:00:06.530 --> 00:00:08.570 accounts into the essential knowledge you need 00:00:08.570 --> 00:00:11.269 to be brilliantly informed. Hello. Today, we're 00:00:11.269 --> 00:00:14.230 profiling a towering figure whose conceptual 00:00:14.230 --> 00:00:16.230 brilliance really shaped the architecture of 00:00:16.230 --> 00:00:19.989 two massive fields, abstract algebra and modern 00:00:19.989 --> 00:00:22.750 theoretical physics. We're talking about Emily 00:00:22.750 --> 00:00:25.910 Emi Noether. That's right. Born in 1882 in Germany. 00:00:25.989 --> 00:00:28.170 And, you know, Emi Noether was hailed by intellectual 00:00:28.170 --> 00:00:31.089 giants like Albert Einstein and Herman Weil. 00:00:31.190 --> 00:00:34.649 I mean, the very architects of 20th century science 00:00:34.649 --> 00:00:36.990 as the single most important woman in the entire 00:00:36.990 --> 00:00:39.469 history of mathematics. I mean, that is a staggering 00:00:39.469 --> 00:00:41.649 claim. And the sources you submitted detailing 00:00:41.649 --> 00:00:44.310 her life and work, they absolutely validate that 00:00:44.310 --> 00:00:46.130 assessment. They really do. We have a fantastic 00:00:46.130 --> 00:00:48.570 stack of material here covering her biography, 00:00:48.789 --> 00:00:51.049 which historians have categorized into three 00:00:51.049 --> 00:00:54.890 major distinct epochs of contribution. So our 00:00:54.890 --> 00:00:57.229 mission today is to go far beyond just a simple 00:00:57.229 --> 00:01:00.270 timeline. We're going to extract the essential 00:01:00.880 --> 00:01:03.960 deep insights from those three periods, from 00:01:03.960 --> 00:01:07.980 her early foundational work in algebraic invariance 00:01:07.980 --> 00:01:10.700 all the way to the eventual creation of modern 00:01:10.700 --> 00:01:13.200 ring theory. And in doing that, we'll get to 00:01:13.200 --> 00:01:15.900 understand exactly how her abstract, pure conceptual 00:01:15.900 --> 00:01:18.620 approach, what she called Begrifflich Mathematik, 00:01:18.780 --> 00:01:21.200 fundamentally changed the way mathematicians 00:01:21.200 --> 00:01:24.400 and physicists view the entire universe. It's 00:01:24.400 --> 00:01:26.459 so crucial to understand the context here because 00:01:26.459 --> 00:01:29.280 her achievements were not... They weren't made 00:01:29.280 --> 00:01:30.920 on a level playing field, were they? Oh, not 00:01:30.920 --> 00:01:33.379 at all. You have to recognize the striking, almost 00:01:33.379 --> 00:01:35.780 unbelievable contrast between her early career, 00:01:35.879 --> 00:01:38.780 which she spent unpaid fighting systemic sexism, 00:01:38.920 --> 00:01:41.519 anti -Semitism, institutional exclusion. In the 00:01:41.519 --> 00:01:43.859 German academic elite, no less. Exactly. And 00:01:43.859 --> 00:01:46.060 then you contrast that with the global recognition 00:01:46.060 --> 00:01:48.760 she ultimately commanded, culminating in a major 00:01:48.760 --> 00:01:50.819 plenary address at the International Congress 00:01:50.819 --> 00:01:53.909 of Mathematicians in 1932. Her story is one of 00:01:53.909 --> 00:01:56.129 a relentless battle against prejudice, a battle 00:01:56.129 --> 00:01:58.689 she waged entirely through, well, through unmatched 00:01:58.689 --> 00:02:01.549 intellectual power. OK, let's unpack this journey, 00:02:01.670 --> 00:02:04.290 because that biographical struggle in her first 00:02:04.290 --> 00:02:07.010 epoch really sets the stage for the conceptual 00:02:07.010 --> 00:02:09.210 revolution that follows. It absolutely does. 00:02:09.449 --> 00:02:12.389 So Noether was born in 1882 in Erlangen, Bavaria, 00:02:12.430 --> 00:02:16.379 into really a world of mathematics. Her father, 00:02:16.539 --> 00:02:18.879 Max Noether, was a distinguished mathematician 00:02:18.879 --> 00:02:21.360 himself at the University of Erlangen -Nuremberg. 00:02:21.379 --> 00:02:24.520 Right. That familial proximity to the field must 00:02:24.520 --> 00:02:26.919 have been vital, but the institutional door was 00:02:26.919 --> 00:02:29.080 certainly not wide open for her. Far from it. 00:02:29.159 --> 00:02:32.680 I mean, having a mathematician father, that undoubtedly 00:02:32.680 --> 00:02:35.560 provided mentorship and access to a vibrant intellectual 00:02:35.560 --> 00:02:37.919 circle, but the official path for her, it was 00:02:37.919 --> 00:02:40.560 basically non -existent. And interestingly, her 00:02:40.560 --> 00:02:43.469 initial career track was something... Quite different. 00:02:43.590 --> 00:02:45.590 Completely different. She first qualified and 00:02:45.590 --> 00:02:48.569 with the highest possible grade, very good, to 00:02:48.569 --> 00:02:50.810 teach French and English. That was around 1900. 00:02:51.270 --> 00:02:54.389 So she had this ready -made, very conventional 00:02:54.389 --> 00:02:57.330 career path waiting for her. But she chose instead 00:02:57.330 --> 00:03:00.490 to enter the notoriously rigid, male -dominated 00:03:00.490 --> 00:03:03.300 world of German higher mathematics. It was an 00:03:03.300 --> 00:03:06.139 act of quiet rebellion, really. The University 00:03:06.139 --> 00:03:08.879 of Erlangen, where her father taught, had just 00:03:08.879 --> 00:03:11.520 two years prior officially declared that allowing 00:03:11.520 --> 00:03:14.860 mixed sex education would, and I quote, overthrow 00:03:14.860 --> 00:03:18.500 all academic order. Wow. So when she chose mathematics, 00:03:18.759 --> 00:03:20.759 she was one of only two women among nearly a 00:03:20.759 --> 00:03:23.500 thousand students. And at first, she couldn't 00:03:23.500 --> 00:03:26.080 even formally enroll. So what did she do? She 00:03:26.080 --> 00:03:28.180 was only allowed to audit classes. And to do 00:03:28.180 --> 00:03:30.759 that, she had to get explicit written permission 00:03:30.759 --> 00:03:33.840 from every single professor whose lectures she 00:03:33.840 --> 00:03:35.699 wanted to attend. The level of institutional 00:03:35.699 --> 00:03:38.849 friction just to learn is it's staggering. It 00:03:38.849 --> 00:03:41.389 just sounds exhausting. It was. But this barrier, 00:03:41.509 --> 00:03:44.449 it did begin to crumble slightly. The restrictions 00:03:44.449 --> 00:03:46.710 on women's full enrollment were rescinded in 00:03:46.710 --> 00:03:50.289 1903. OK. So Nara then officially reentered, 00:03:50.310 --> 00:03:52.469 dedicated herself solely to mathematics, and 00:03:52.469 --> 00:03:55.590 completed her PhD in 1907, graduating summa cum 00:03:55.590 --> 00:03:58.030 laude under the supervision of Paul Gordon. And 00:03:58.030 --> 00:04:00.830 this PhD work under Gordon is our first major 00:04:00.830 --> 00:04:03.289 narrative hinge, isn't it? Yeah. Because it illustrates 00:04:03.289 --> 00:04:04.889 the mathematical world that she was trained in. 00:04:04.990 --> 00:04:07.030 And the world she would soon demolish. Right. 00:04:07.449 --> 00:04:09.810 Her dissertation was titled On Complete Systems 00:04:09.810 --> 00:04:12.509 of Invariance for Ternary Biquadratic Forms. 00:04:12.509 --> 00:04:14.810 It was deep in the tradition of Gordon's computational 00:04:14.810 --> 00:04:17.649 school. That's the key distinction. Gordon was 00:04:17.649 --> 00:04:20.569 known as the king of invariant theory, and his 00:04:20.569 --> 00:04:23.129 approach was all about algorithmic rigor and 00:04:23.129 --> 00:04:26.569 just massive, massive calculation. Neither's 00:04:26.569 --> 00:04:28.850 dissertation, for example, involved explicitly 00:04:28.850 --> 00:04:32.329 working out over 300 invariants. It was a monumental 00:04:32.329 --> 00:04:35.170 exercise in formal computation. And this is the 00:04:35.170 --> 00:04:37.050 very work that she later famously dismissed. 00:04:37.310 --> 00:04:40.209 Yes. She declared her early computational style, 00:04:40.370 --> 00:04:42.610 especially in contrast to the abstract conceptual 00:04:42.610 --> 00:04:45.029 approach she later developed. She just called 00:04:45.029 --> 00:04:48.430 it... It shows her immediate and dramatic intellectual 00:04:48.430 --> 00:04:51.569 shift. She was moving away from the laborious 00:04:51.569 --> 00:04:53.850 concrete calculations of Gordon and really moving 00:04:53.850 --> 00:04:56.509 toward the revolutionary abstract thinking that 00:04:56.509 --> 00:04:58.949 was being pioneered by David Hilbert and Göttingen. 00:04:59.069 --> 00:05:01.829 But this intellectual evolution, it didn't immediately 00:05:01.829 --> 00:05:03.850 translate into any kind of professional stability. 00:05:04.089 --> 00:05:08.870 After her doctorate from 1908 to 1915, she worked 00:05:08.870 --> 00:05:11.569 at Erlangen's Mathematical Institute with no 00:05:11.569 --> 00:05:16.000 pay. Seven years unpaid. Occasionally, she would 00:05:16.000 --> 00:05:19.120 substitute for her ailing father. The university, 00:05:19.399 --> 00:05:22.019 despite her qualifications and her obvious dedication, 00:05:22.379 --> 00:05:25.459 just refused to grant her a proper academic position 00:05:25.459 --> 00:05:28.860 solely because she was a woman. That institutional 00:05:28.860 --> 00:05:31.800 exclusion was just persistent. So the greatest 00:05:31.800 --> 00:05:34.379 opportunity, but also the greatest fight, came 00:05:34.379 --> 00:05:37.379 in 1915. That's when David Hilbert and Felix 00:05:37.379 --> 00:05:39.839 Klein invited her to the University of Göttingen. 00:05:40.079 --> 00:05:41.819 And we have to be clear, this wasn't just a university. 00:05:42.040 --> 00:05:44.399 At the time, it was arguably the world center 00:05:44.399 --> 00:05:46.699 for mathematical research. And they needed her 00:05:46.699 --> 00:05:49.060 for something specific. They desperately needed 00:05:49.060 --> 00:05:52.019 her. Hilbert and Klein were deeply engaged with 00:05:52.019 --> 00:05:54.360 the new problems posed by general relativity, 00:05:54.699 --> 00:05:57.839 which Albert Einstein had just recently finalized. 00:05:57.959 --> 00:06:00.459 Specifically, they were running into these mathematical 00:06:00.459 --> 00:06:03.300 roadblocks concerning the consistency of conservation 00:06:03.300 --> 00:06:06.019 laws. Like the conservation of energy. Especially 00:06:06.019 --> 00:06:07.819 the conservation of energy, yeah, within the 00:06:07.819 --> 00:06:10.980 framework of general relativity. They knew Noether's 00:06:10.980 --> 00:06:13.800 expertise in invariant theory was absolutely 00:06:13.800 --> 00:06:16.819 essential to solving this. So she arrives at 00:06:16.819 --> 00:06:19.620 the intellectual epicenter of mathematics. invited 00:06:19.620 --> 00:06:22.120 by its greatest minds to solve a fundamental 00:06:22.120 --> 00:06:25.060 problem in physics. And yet the institutional 00:06:25.060 --> 00:06:27.519 prejudice was just waiting for her. Oh, it was. 00:06:28.240 --> 00:06:30.279 The faculty objections to her appointment as 00:06:30.279 --> 00:06:32.660 private doesn't, which is the German qualification 00:06:32.660 --> 00:06:35.879 you need for tenure eligibility. They were vehement. 00:06:35.980 --> 00:06:39.040 The philosophical faculty protested on the explicit 00:06:39.040 --> 00:06:42.040 grounds of her sex. Just her sex. Well, historians 00:06:42.040 --> 00:06:44.319 also note that her social democratic political 00:06:44.319 --> 00:06:47.759 leanings and her Jewish ancestry definitely fueled 00:06:47.759 --> 00:06:50.480 some of the opposition, even before the rise 00:06:50.480 --> 00:06:53.060 of Nazism made those sentiments openly hostile. 00:06:53.279 --> 00:06:55.980 And this resistance is what led to that famous 00:06:55.980 --> 00:06:58.850 confrontation involving Hilbert. It is the single 00:06:58.850 --> 00:07:01.329 most defining anecdote about the absurdity of 00:07:01.329 --> 00:07:04.110 the whole situation. The opposition was fierce. 00:07:04.430 --> 00:07:06.970 There's a famous quote, often cited, from one 00:07:06.970 --> 00:07:12.689 faculty member who rhetorically asked, Unbelievable. 00:07:15.990 --> 00:07:17.769 And Hilbert's response just cuts right through 00:07:17.769 --> 00:07:20.430 that prejudice. It does. David Hilbert, focusing 00:07:20.430 --> 00:07:22.750 purely on her intellectual merit, reportedly 00:07:22.750 --> 00:07:25.250 stood up in the faculty meeting and indignantly 00:07:25.250 --> 00:07:28.160 declared that the university was not A bad house. 00:07:28.899 --> 00:07:31.379 It's such a concise way of saying that gender 00:07:31.379 --> 00:07:33.879 is utterly irrelevant to the pursuit of pure 00:07:33.879 --> 00:07:36.220 knowledge. It perfectly captures the frustration. 00:07:36.240 --> 00:07:38.879 You can just imagine this intellectual powerhouse 00:07:38.879 --> 00:07:42.459 watching genius being actively sidelined by petty, 00:07:42.639 --> 00:07:45.300 archaic rules. But even with Hilbert's support, 00:07:45.540 --> 00:07:47.579 she was still locked out professionally. For 00:07:47.579 --> 00:07:51.120 four long years, she lectured and taught under 00:07:51.120 --> 00:07:53.660 Hilbert's name, officially acting only as his 00:07:53.660 --> 00:07:55.860 assistant to circumvent the faculty's refusal. 00:07:56.079 --> 00:07:59.139 And she remained completely unpaid. So what changed? 00:07:59.319 --> 00:08:01.720 Well, it was only after the upheaval of the German 00:08:01.720 --> 00:08:05.000 Revolution in 1918 -1919, which brought about 00:08:05.000 --> 00:08:07.519 a significant shift in social attitudes and rights 00:08:07.519 --> 00:08:09.939 for women, that her habilitation was finally 00:08:09.939 --> 00:08:12.220 improved in 1919. And even that didn't bring 00:08:12.220 --> 00:08:14.939 any financial security. No, not at all. Her financial 00:08:14.939 --> 00:08:18.339 struggle continued well into her 40s. In 1922, 00:08:18.519 --> 00:08:21.009 she was granted the title of... Nichtbimtiger 00:08:21.009 --> 00:08:23.750 Außerordentlicher Professor. Which means? An 00:08:23.750 --> 00:08:26.730 unpaid, untenured position. It's essentially 00:08:26.730 --> 00:08:30.170 a title without a salary. She only began receiving 00:08:30.170 --> 00:08:33.649 a meager, officially recognized salary in 1923 00:08:33.649 --> 00:08:37.049 when she was appointed Lehrboftrakt for algebra. 00:08:37.330 --> 00:08:40.429 A lecturer for algebra. She never once achieved 00:08:40.429 --> 00:08:42.970 the highest salaried rank of ordentlicher professor 00:08:42.970 --> 00:08:46.129 or full professor in Germany. Despite being the 00:08:46.129 --> 00:08:48.679 intellectual star of the institute. Right. It's 00:08:48.679 --> 00:08:50.539 just a remarkable testament to her dedication 00:08:50.539 --> 00:08:53.600 that she produced such world altering work while 00:08:53.600 --> 00:08:55.539 operating under those conditions. Let's talk 00:08:55.539 --> 00:08:58.379 about that work. Despite the bureaucratic nightmare, 00:08:58.600 --> 00:09:02.259 this first epoch from 1908 to 1919 was profoundly 00:09:02.259 --> 00:09:04.690 generative. Absolutely. Her initial focus remained 00:09:04.690 --> 00:09:07.210 on algebraic invariant theory, so expressions 00:09:07.210 --> 00:09:10.129 or quantities that remain constant under certain 00:09:10.129 --> 00:09:12.110 mathematical transformations. Right, like the 00:09:12.110 --> 00:09:14.250 length of a meter stick staying the same no matter 00:09:14.250 --> 00:09:16.649 how you rotate it, or the volume of a liquid 00:09:16.649 --> 00:09:18.429 being constant regardless of the shape of the 00:09:18.429 --> 00:09:21.080 container. Those are the invariants. Precisely. 00:09:21.100 --> 00:09:23.960 And her early work extended the results of Gordon, 00:09:24.120 --> 00:09:26.460 but she very quickly abandoned his computational 00:09:26.460 --> 00:09:28.700 approach for the conceptual methods of Hilbert. 00:09:28.980 --> 00:09:31.720 Hilbert had famously proved the finite basis 00:09:31.720 --> 00:09:34.500 problem for invariance, showing that even if 00:09:34.500 --> 00:09:36.940 you can't explicitly calculate all the basis 00:09:36.940 --> 00:09:39.860 invariance, you know they must exist and that 00:09:39.860 --> 00:09:42.019 there is a finite set of them. And that was a 00:09:42.019 --> 00:09:44.720 profound shift in thinking. It was a huge shift 00:09:44.720 --> 00:09:47.899 from calculation to proof of existence and structure. 00:09:48.240 --> 00:09:50.370 The sources describe her transition. from an 00:09:50.370 --> 00:09:53.029 extreme example of formal computations in her 00:09:53.029 --> 00:09:56.169 dissertation to an extreme and grandiose example 00:09:56.169 --> 00:09:59.129 of conceptual axiomatic thinking. This is the 00:09:59.129 --> 00:10:00.909 intellectual pivot we really need to focus on. 00:10:01.009 --> 00:10:03.450 It is. She shifted from asking how to calculate 00:10:03.450 --> 00:10:05.669 an invariant to asking what structural properties 00:10:05.669 --> 00:10:07.629 allow an invariant to exist in the first place. 00:10:07.850 --> 00:10:10.370 And that mindset prioritizing structure over 00:10:10.370 --> 00:10:12.629 specific examples is what would define her entire 00:10:12.629 --> 00:10:15.710 legacy. During this first epic, she also published 00:10:15.710 --> 00:10:17.769 foundational work on something called the inverse 00:10:17.769 --> 00:10:20.850 Galois problem. in 1918. Yes. And this is a really 00:10:20.850 --> 00:10:23.529 deep, deep question in mathematics. OK. So we 00:10:23.529 --> 00:10:25.509 need that conceptual scaffolding for you, the 00:10:25.509 --> 00:10:28.710 listener. If regular Galois theory relates the 00:10:28.710 --> 00:10:32.330 symmetries of an equation to its solutions, what 00:10:32.330 --> 00:10:35.149 does the inverse problem ask? That's a great 00:10:35.149 --> 00:10:37.529 way to frame it. So Galois theory gives you a 00:10:37.529 --> 00:10:40.629 systematic way to associate a group of transformations, 00:10:41.129 --> 00:10:43.549 a Galois group, with a given field extension, 00:10:43.830 --> 00:10:46.350 which is often formed by the roots of an equation. 00:10:46.649 --> 00:10:49.919 The inverse problem just flips the script. How 00:10:49.919 --> 00:10:53.620 so? It asks, given an arbitrary group, say, the 00:10:53.620 --> 00:10:56.059 symmetry group of a tetrahedron, can we always 00:10:56.059 --> 00:10:58.379 find a field extension whose Galois group is 00:10:58.379 --> 00:11:01.529 that specific preselected group? So it's asking 00:11:01.529 --> 00:11:04.169 if every possible symmetry structure can be represented 00:11:04.169 --> 00:11:06.409 by the solutions to some equation, which, as 00:11:06.409 --> 00:11:08.710 you said, sounds almost impossibly broad. It 00:11:08.710 --> 00:11:10.809 is exceptionally difficult. What Noether did 00:11:10.809 --> 00:11:14.049 was reduce this huge question to a specific manageable 00:11:14.049 --> 00:11:16.450 problem that became known as Noether's problem. 00:11:16.690 --> 00:11:19.389 This problem asks whether the fixed field of 00:11:19.389 --> 00:11:21.649 a specific action of a group on a field of rational 00:11:21.649 --> 00:11:24.690 functions is always what's called a pure transcendental 00:11:24.690 --> 00:11:26.549 extension of the base field. That's a mouthful. 00:11:26.759 --> 00:11:29.100 It is, but she showed it was true for small dimensions 00:11:29.100 --> 00:11:32.559 2, 3, and 4, which provided crucial progress 00:11:32.559 --> 00:11:35.019 on this massive problem. And what's the ultimate 00:11:35.019 --> 00:11:38.019 verdict on it? Well, although Nutter provided 00:11:38.019 --> 00:11:41.659 that initial critical reduction, the full inverse 00:11:41.659 --> 00:11:44.059 Galois problem still remains one of the greatest 00:11:44.059 --> 00:11:46.860 open questions in mathematics. Her work gave 00:11:46.860 --> 00:11:49.399 mathematicians the tools to attack it, but the 00:11:49.399 --> 00:11:52.460 general solution is still elusive. It just shows 00:11:52.460 --> 00:11:54.659 the scale of the challenges she was willing to 00:11:54.659 --> 00:11:57.580 tackle. OK, now let's turn to the absolute peak 00:11:57.580 --> 00:12:00.059 of this first epoch, the work that cemented her 00:12:00.059 --> 00:12:02.639 necessity to the physics community. Noether's 00:12:02.639 --> 00:12:05.720 theorem in 1918. This is the paper that solved 00:12:05.720 --> 00:12:08.059 Hilbert and Klein's general relativity dilemma. 00:12:08.299 --> 00:12:11.200 Yes. And the dilemma was that in general relativity, 00:12:11.419 --> 00:12:13.519 which deals with gravity as a curvature of spacetime, 00:12:13.759 --> 00:12:16.100 the traditional concepts of conservation laws 00:12:16.100 --> 00:12:18.539 seem to just break down. When you try to formulate 00:12:18.539 --> 00:12:20.460 the energy of the gravitational field itself, 00:12:20.659 --> 00:12:22.240 it wasn't clear that the total energy of the 00:12:22.240 --> 00:12:24.779 system was truly being conserved. And Noether 00:12:24.779 --> 00:12:26.799 resolved this by finding a fundamental link. 00:12:27.019 --> 00:12:29.860 She provided the resolution in her paper, Invariante 00:12:29.860 --> 00:12:33.000 Variations Problem or Invariant Variation Problems. 00:12:33.200 --> 00:12:36.559 The core result, Noether's theorem, is arguably 00:12:36.559 --> 00:12:38.659 the most important bridge between mathematics 00:12:38.659 --> 00:12:42.080 and physics ever conceived. It proved that a 00:12:42.080 --> 00:12:44.879 conservation law is associated with any differentiable 00:12:44.879 --> 00:12:47.720 symmetry of a physical system. Okay, let's break 00:12:47.720 --> 00:12:49.879 that down because this is where you, the listener, 00:12:50.080 --> 00:12:53.299 get that profound aha moment. Symmetry and conservation 00:12:53.299 --> 00:12:56.409 laws. They sound like two entirely different 00:12:56.409 --> 00:12:58.850 concepts. They do, but no, they're unified them. 00:12:58.950 --> 00:13:01.929 Think of symmetry as invariance under some transformation. 00:13:02.879 --> 00:13:05.539 If the laws of physics are time translation symmetric, 00:13:06.019 --> 00:13:09.379 meaning an experiment you do today yields the 00:13:09.379 --> 00:13:11.460 same result as the exact same experiment you 00:13:11.460 --> 00:13:14.259 do tomorrow, that symmetry forces the conservation 00:13:14.259 --> 00:13:17.080 of energy. Energy can't just appear or disappear 00:13:17.080 --> 00:13:19.440 because the system is uniform across time. Right. 00:13:19.539 --> 00:13:21.360 That makes sense. And if the laws of physics 00:13:21.360 --> 00:13:23.820 are spatial translation, symmetric meaning an 00:13:23.820 --> 00:13:25.980 experiment works the same way here as it does 00:13:25.980 --> 00:13:28.740 a mile down the road, that symmetry forces the 00:13:28.740 --> 00:13:30.860 conservation of linear momentum. And the last 00:13:30.860 --> 00:13:33.539 one. If the laws of physics are rotationally 00:13:33.539 --> 00:13:36.000 symmetric, meaning there's no preferred direction 00:13:36.000 --> 00:13:38.740 in space, up is the same as down is the same 00:13:38.740 --> 00:13:41.779 as left, that symmetry forces the conservation 00:13:41.779 --> 00:13:44.659 of angular momentum. So it's not a coincidence. 00:13:44.860 --> 00:13:47.899 It's a necessary mathematical consequence. You 00:13:47.899 --> 00:13:50.360 find the symmetry, and the conservation law just 00:13:50.360 --> 00:13:52.759 automatically follows. It structures the entire 00:13:52.759 --> 00:13:56.149 universe. Precisely. This theorem did two huge 00:13:56.149 --> 00:13:59.350 things. First, it validated general relativity 00:13:59.350 --> 00:14:02.190 by showing how conservation laws could be properly 00:14:02.190 --> 00:14:05.149 formulated within it. And second, it provided 00:14:05.149 --> 00:14:08.370 a powerful new tool for physics. Instead of searching 00:14:08.370 --> 00:14:10.909 for conservation laws one by one, physicists 00:14:10.909 --> 00:14:13.710 now search for the underlying symmetries. The 00:14:13.710 --> 00:14:16.110 American physicists Leon Lederman and Christopher 00:14:16.110 --> 00:14:19.250 T. Hill. they did not mince words when they were 00:14:19.250 --> 00:14:22.149 assessing its importance. They claimed no other's 00:14:22.149 --> 00:14:24.330 theorem is, and I'm quoting here, certainly one 00:14:24.330 --> 00:14:26.090 of the most important mathematical theorems ever 00:14:26.090 --> 00:14:28.610 proved in guiding the development of modern physics, 00:14:28.809 --> 00:14:31.370 possibly on a par with the Pythagorean theorem. 00:14:31.570 --> 00:14:33.490 I mean, when you frame it like that, it just 00:14:33.490 --> 00:14:36.070 elevates our status immediately. And that profound 00:14:36.070 --> 00:14:38.750 achievement, the application of her conceptual 00:14:38.750 --> 00:14:42.389 skill to the deepest problems in physics, forced 00:14:42.389 --> 00:14:45.490 even her detractors in Göttingen to finally listen. 00:14:45.730 --> 00:14:47.570 That's when Albert Einstein wrote that letter 00:14:47.570 --> 00:14:50.450 to Hilbert, praising her work. He said he was 00:14:50.450 --> 00:14:52.370 impressed that such things could be understood 00:14:52.370 --> 00:14:55.029 in such a general way. He even admonished the 00:14:55.029 --> 00:14:57.850 old guard at Göttingen, saying they should take 00:14:57.850 --> 00:14:59.629 some lessons from Miss Noether. She seems to 00:14:59.629 --> 00:15:01.730 know her stuff. And that recognition was vital. 00:15:02.009 --> 00:15:04.690 That triumph allowed her to secure her initial, 00:15:04.950 --> 00:15:08.529 albeit unpaid, academic footing. And more importantly, 00:15:08.769 --> 00:15:11.370 it freed her to turn her full attention to the 00:15:11.370 --> 00:15:13.870 structural revolution she was preparing for pure 00:15:13.870 --> 00:15:17.250 mathematics, her second epoch. The second epoch. 00:15:17.309 --> 00:15:19.870 This marks the peak of her work in pure algebra. 00:15:20.149 --> 00:15:23.330 She shifted entirely away from the specific computations 00:15:23.330 --> 00:15:25.950 of the old school and fully embraced abstraction. 00:15:26.519 --> 00:15:28.679 becoming the architect of big rifflish conceptual 00:15:28.679 --> 00:15:32.000 mathematics. This is truly her legacy. She dedicated 00:15:32.000 --> 00:15:34.379 herself to the axiomatic development of the theories 00:15:34.379 --> 00:15:37.059 of rings, fields, and algebras. She was looking 00:15:37.059 --> 00:15:39.519 at systems not for what they contained, but for 00:15:39.519 --> 00:15:41.840 how they behaved. What was the philosophical 00:15:41.840 --> 00:15:45.220 core driving this profound shift? It's captured 00:15:45.220 --> 00:15:48.379 perfectly in her maxim, she said. Any relationships 00:15:48.379 --> 00:15:50.940 between numbers, functions and operations become 00:15:50.940 --> 00:15:53.899 transparent, generally applicable and fully productive 00:15:53.899 --> 00:15:56.159 only after they have been isolated from their 00:15:56.159 --> 00:15:59.039 particular objects and been formulated as universally 00:15:59.039 --> 00:16:02.559 valid concepts. So instead of studying the specific 00:16:02.559 --> 00:16:06.059 messy details of, say, integers or polynomials, 00:16:06.200 --> 00:16:08.980 she defined the abstract rules, the structure 00:16:08.980 --> 00:16:11.259 that governed them. And then she developed theories 00:16:11.259 --> 00:16:13.360 that applied to any system that followed those 00:16:13.360 --> 00:16:16.759 rules. Exactly. She was building abstract frameworks 00:16:16.759 --> 00:16:20.259 rather than solving specific equations. Her method 00:16:20.259 --> 00:16:22.700 was radical for the time. She established the 00:16:22.700 --> 00:16:24.919 minimal set of assumptions necessary to yield 00:16:24.919 --> 00:16:27.419 specific properties, allowing for monumental 00:16:27.419 --> 00:16:39.769 generalization. She sought to define... Okay. 00:16:41.129 --> 00:16:43.889 For you, the listener, we need to quickly reestablish 00:16:43.889 --> 00:16:45.710 the conceptual building blocks she was using. 00:16:46.070 --> 00:16:49.509 We start with rings. Right. Think of a ring as 00:16:49.509 --> 00:16:52.210 an abstract number system designed to model operations 00:16:52.210 --> 00:16:55.309 like addition and multiplication. Addition is 00:16:55.309 --> 00:16:57.750 well -behaved, multiplication is associative, 00:16:57.809 --> 00:17:01.029 and distributes over addition. The key thing 00:17:01.029 --> 00:17:06.269 is that the set of integers, , , is the most 00:17:06.269 --> 00:17:08.809 famous example of a commutative ring where the 00:17:08.809 --> 00:17:11.069 order of multiplication doesn't matter. And how 00:17:11.069 --> 00:17:13.170 is that different from a field? A field is essentially 00:17:13.170 --> 00:17:16.509 a ring. where you can always divide by any element 00:17:16.509 --> 00:17:18.390 except zero. Think of the rational numbers or 00:17:18.390 --> 00:17:21.069 the real numbers. Division isn't always possible 00:17:21.069 --> 00:17:23.109 in a standard ring. You can't divide three by 00:17:23.109 --> 00:17:25.289 two and stay inside the set of integers, for 00:17:25.289 --> 00:17:28.430 example. Noether's genius was studying the systems 00:17:28.430 --> 00:17:30.349 between the integers and the fields, which is 00:17:30.349 --> 00:17:32.710 where most of algebraic geometry and number theory 00:17:32.710 --> 00:17:35.190 really lives. And the tool she developed to analyze 00:17:35.190 --> 00:17:37.809 divisibility and factorization within these abstract 00:17:37.809 --> 00:17:41.630 rings was the concept of ideals. She formalized 00:17:41.630 --> 00:17:44.809 the modern theory in her classic 1921 paper, 00:17:44.950 --> 00:17:48.000 Ideal Theory in Ringbereichen. Ideals are absolutely 00:17:48.000 --> 00:17:50.720 crucial. In the ring of integers, we talk about 00:17:50.720 --> 00:17:53.119 numbers factoring into primes. For instance, 00:17:53.319 --> 00:17:56.160 the number 6 factors into 2 times 3. When you 00:17:56.160 --> 00:17:59.140 move to more complex algebraic rings like rings 00:17:59.140 --> 00:18:02.720 of polynomials, unique factorization often breaks 00:18:02.720 --> 00:18:05.420 down completely. And ideals step in to save the 00:18:05.420 --> 00:18:08.799 concept of factorization. They do. Ideals are 00:18:08.799 --> 00:18:11.400 subsets of the ring that act like generalized 00:18:11.400 --> 00:18:14.380 numbers, or maybe more precisely, they're like 00:18:14.380 --> 00:18:16.599 generalized containers of divisibility. properties 00:18:16.599 --> 00:18:19.160 she showed that even if the elements of a ring 00:18:19.160 --> 00:18:22.279 don't factor uniquely the ideals often do it 00:18:22.279 --> 00:18:24.660 allows mathematicians to bring back a form of 00:18:24.660 --> 00:18:27.259 orderly structure where chaos previously reigned 00:18:27.259 --> 00:18:30.059 this conceptual approach leads directly to the 00:18:30.059 --> 00:18:33.039 core idea that immortalizes her name No Ethereum 00:18:33.039 --> 00:18:35.420 objects and the chain conditions. This is the 00:18:35.420 --> 00:18:37.220 key aha moment that defines her mathematical 00:18:37.220 --> 00:18:39.920 contribution. This is pure elegance. She didn't 00:18:39.920 --> 00:18:42.079 define a new object. She defined a new property 00:18:42.079 --> 00:18:44.539 that an object must satisfy. She utilized something 00:18:44.539 --> 00:18:47.420 called the ascending chain condition or ACC. 00:18:47.799 --> 00:18:49.920 Describe the ACC again, but maybe with more of 00:18:49.920 --> 00:18:52.119 an analogy this time. Imagine you have a series 00:18:52.119 --> 00:18:55.240 of nesting boxes where each box must strictly 00:18:55.240 --> 00:18:58.170 contain the previous one. The ascending chain 00:18:58.170 --> 00:19:00.509 condition just states that if you keep doing 00:19:00.509 --> 00:19:02.650 this indefinitely you will eventually run out 00:19:02.650 --> 00:19:05.930 of space. The sequence of boxes must stop getting 00:19:05.930 --> 00:19:08.549 bigger after a finite number of steps. So it 00:19:08.549 --> 00:19:10.539 can't go on forever. It can't go on forever. 00:19:10.660 --> 00:19:13.259 In algebraic terms, it means any sequence of 00:19:13.259 --> 00:19:15.700 strictly increasing ideals, for example, must 00:19:15.700 --> 00:19:19.019 terminate. It cannot be infinitely complex in 00:19:19.019 --> 00:19:20.960 this nesting way. So it's a finiteness condition. 00:19:21.220 --> 00:19:23.000 It ensures that the structures within the ring 00:19:23.000 --> 00:19:25.480 are manageable. It guarantees a level of control. 00:19:25.740 --> 00:19:28.759 Precisely. And if a ring, a module, or any other 00:19:28.759 --> 00:19:31.500 algebraic structure satisfies this ACC on its 00:19:31.500 --> 00:19:34.259 substructures, it is named noetherian in her 00:19:34.259 --> 00:19:37.059 honor. This one condition proved to be incredibly 00:19:37.059 --> 00:19:39.910 fertile. She had identified the key minimum property 00:19:39.910 --> 00:19:42.369 needed to generate vast, powerful consequences. 00:19:42.769 --> 00:19:44.930 And what was the immediate, massive consequence 00:19:44.930 --> 00:19:47.690 you proved using this ACC? The primary result 00:19:47.690 --> 00:19:50.470 was that in a ring satisfying the ACC on ideals, 00:19:50.769 --> 00:19:54.369 that is an Ethereum ring, every single ideal 00:19:54.369 --> 00:19:57.380 is finitely generated. This means that even if 00:19:57.380 --> 00:20:00.420 an ideal seems huge and complex, you only need 00:20:00.420 --> 00:20:03.619 a finite, small set of elements to define or 00:20:03.619 --> 00:20:06.640 generate the entire thing. This simplified countless 00:20:06.640 --> 00:20:09.779 calculations and proofs across algebra and algebraic 00:20:09.779 --> 00:20:12.539 geometry. And this leads us to the Lasker -Noether 00:20:12.539 --> 00:20:14.799 theorem. Can you explain why this generalization 00:20:14.799 --> 00:20:16.779 is so monumental? The previous script kind of 00:20:16.779 --> 00:20:18.700 covered it too quickly. Okay, so the fundamental 00:20:18.700 --> 00:20:21.420 theorem of arithmetic tells you that any positive 00:20:21.420 --> 00:20:23.880 integer can be written uniquely as a product 00:20:23.880 --> 00:20:26.680 of prime numbers. That's the bedrock of number 00:20:26.680 --> 00:20:29.519 theory. Like, 12 is 2 times 2 times 3, and that's 00:20:29.519 --> 00:20:32.220 it. Exactly. When mathematicians started studying 00:20:32.220 --> 00:20:34.339 more advanced rings, like those used in complex 00:20:34.339 --> 00:20:37.079 algebraic geometry, they found this unique factorization 00:20:37.079 --> 00:20:39.880 often failed completely. It plunged them into 00:20:39.880 --> 00:20:41.759 confusion. So she had to find a way to restore 00:20:41.759 --> 00:20:44.930 order. She did. The Lasker -Noether theorem, 00:20:45.130 --> 00:20:47.849 which she finalized in 1921, restored this order 00:20:47.849 --> 00:20:50.430 by shifting the focus from unique factorization 00:20:50.430 --> 00:20:52.930 of elements to the unique decomposition of ideals. 00:20:53.289 --> 00:20:56.609 It proved that every ideal in a Noetherian ring 00:20:56.609 --> 00:20:58.789 can be decomposed into a finite intersection 00:20:58.789 --> 00:21:02.710 of specific types of ideals called primary ideals. 00:21:03.089 --> 00:21:05.869 So she generalized the bedrock principle of arithmetic 00:21:05.869 --> 00:21:08.609 unique factorization and made it applicable to 00:21:08.609 --> 00:21:11.650 this massive, complicated new universe of algebraic 00:21:11.650 --> 00:21:14.380 systems. Yes. structure to polynomial rings, 00:21:14.599 --> 00:21:16.859 function fields, and virtually every area where 00:21:16.859 --> 00:21:19.920 factorization is key. It formalized the entire 00:21:19.920 --> 00:21:23.819 theory of commutative rings. Hayden Jacobson, 00:21:23.819 --> 00:21:25.740 when he was editing her collected papers, wrote 00:21:25.740 --> 00:21:28.440 that the development of abstract algebra is largely 00:21:28.440 --> 00:21:31.059 due to her in published papers, in lectures, 00:21:31.200 --> 00:21:33.460 and in personal influence on her contemporaries. 00:21:33.559 --> 00:21:36.299 She truly created the language that modern algebras 00:21:36.299 --> 00:21:38.839 speak. During this period, Göttingen was functioning 00:21:38.839 --> 00:21:40.799 as the center of the mathematical world, and 00:21:40.799 --> 00:21:42.859 it's clear that Noether was its gravitational 00:21:42.859 --> 00:21:45.500 core for algebra. She developed this dedicated 00:21:45.500 --> 00:21:47.819 circle of adherents, affectionately known as 00:21:47.819 --> 00:21:49.440 the Noether School, or sometimes the Noether 00:21:49.440 --> 00:21:51.920 Boys. The environment was incredibly dynamic. 00:21:52.839 --> 00:21:54.839 Mathematicians were pouring into Göttingen from 00:21:54.839 --> 00:21:57.880 across the globe just to study with her. Prominent 00:21:57.880 --> 00:22:00.940 figures like Pavel Alexandrov and Pavel Ureson 00:22:00.940 --> 00:22:04.140 came from Russia. This school was completely 00:22:04.140 --> 00:22:06.880 united by her conceptual, structural approach 00:22:06.880 --> 00:22:09.400 to mathematics. And the crucial figure in making 00:22:09.400 --> 00:22:12.200 sure her ideas reached the wider world was the 00:22:12.200 --> 00:22:14.940 young Dutch mathematician, BL van der Vaarden. 00:22:15.289 --> 00:22:18.609 Van der Vaarden, yes. He arrived in 1924, immediately 00:22:18.609 --> 00:22:21.029 joined her circle, and became the leading interpreter 00:22:21.029 --> 00:22:24.390 and expositor of her ideas. This relationship 00:22:24.390 --> 00:22:26.869 was the transmission mechanism for Noether's 00:22:26.869 --> 00:22:30.170 conceptual revolution. His 1931 textbook, Modern 00:22:30.170 --> 00:22:33.130 Algebra, became the seminal work that introduced 00:22:33.130 --> 00:22:35.609 abstract algebra to a generation. Absolutely. 00:22:35.829 --> 00:22:38.470 The second volume of Modern Algebra drew heavily 00:22:38.470 --> 00:22:41.430 on Noether's lectures and her insights. He explicitly 00:22:41.430 --> 00:22:43.750 acknowledged that it was based in part on lectures 00:22:43.750 --> 00:22:47.900 by E. R. That textbook standardized the abstract 00:22:47.900 --> 00:22:50.299 conceptual approach she championed, ensuring 00:22:50.299 --> 00:22:52.299 that her work wasn't confined to her small group 00:22:52.299 --> 00:22:54.500 of students, but became the global standard curriculum. 00:22:54.839 --> 00:22:57.400 And the sources reveal such a fascinating personality. 00:22:57.859 --> 00:23:00.880 She seems unconcerned with anything but the purest 00:23:00.880 --> 00:23:04.000 form of mathematics. She was known for her generosity 00:23:04.000 --> 00:23:06.920 with ideas, often allowing others credit for 00:23:06.920 --> 00:23:10.220 insights that originated with her. But her teaching 00:23:10.220 --> 00:23:13.759 style and personal habits were... highly unconventional. 00:23:13.880 --> 00:23:16.319 They were legendary. She was completely absorbed 00:23:16.319 --> 00:23:18.859 by the mathematics to the exclusion of all else. 00:23:19.000 --> 00:23:22.710 Her student Olga Towsky -Tall described a luncheon 00:23:22.710 --> 00:23:24.809 where Noether was so engrossed in a discussion 00:23:24.809 --> 00:23:27.970 that she gesticulated wildly while eating, spilled 00:23:27.970 --> 00:23:30.089 her food constantly, and wiped it off from her 00:23:30.089 --> 00:23:32.890 dress completely unperturbed. Wow. The lack of 00:23:32.890 --> 00:23:35.210 concern for her appearance, disheveled hair, 00:23:35.430 --> 00:23:37.730 using a handkerchief from her blouse, it just 00:23:37.730 --> 00:23:39.789 demonstrates an utter commitment to the intellectual 00:23:39.789 --> 00:23:42.289 problem at hand. It really paints a picture of 00:23:42.289 --> 00:23:44.589 someone whose mental energy was entirely allocated 00:23:44.589 --> 00:23:47.210 to mathematical structure, with nothing left 00:23:47.210 --> 00:23:50.329 over for social decorum. That intensity permeated 00:23:50.329 --> 00:23:53.049 her teaching. She rarely followed a rigid lesson 00:23:53.049 --> 00:23:56.130 plan, often using lectures as these spontaneous 00:23:56.130 --> 00:23:59.650 clarifying discussions aimed at solving important 00:23:59.650 --> 00:24:03.410 open problems. Her lectures were known to be 00:24:03.410 --> 00:24:06.109 difficult for outsiders because she assumed a 00:24:06.109 --> 00:24:09.039 very high degree of foundational knowledge. I 00:24:09.039 --> 00:24:10.900 can appreciate the honesty of the students. Yes. 00:24:11.339 --> 00:24:14.220 But the students who stuck with her, the ones 00:24:14.220 --> 00:24:17.299 dedicated to the conceptual method, they treasured 00:24:17.299 --> 00:24:20.619 her classes precisely because they were so challenging 00:24:20.619 --> 00:24:24.480 and enlightening. In fact, many of the core concepts 00:24:24.480 --> 00:24:27.180 in van der Waarden's Modern Algebra were originally 00:24:27.180 --> 00:24:29.900 preserved in the meticulous notes taken by her 00:24:29.900 --> 00:24:32.339 devoted students. And even with that incredibly 00:24:32.339 --> 00:24:35.400 small salary, she found ways to maintain that 00:24:35.400 --> 00:24:37.990 intellectual community. She did. There's a wonderful 00:24:37.990 --> 00:24:41.150 anecdote about her deep -seated enthusiasm. On 00:24:41.150 --> 00:24:43.150 one occasion, when the Guttingen Mathematical 00:24:43.150 --> 00:24:45.650 Institute was closed for a state holiday, she 00:24:45.650 --> 00:24:47.490 simply gathered her class on the steps outside 00:24:47.490 --> 00:24:49.690 the building, led them through the woods, and 00:24:49.690 --> 00:24:51.670 continued the lecture at a local coffeehouse. 00:24:51.930 --> 00:24:54.450 For Noether, mathematics wasn't confined to a 00:24:54.450 --> 00:24:57.859 lecture hall. It was a way of life. And she instilled 00:24:57.859 --> 00:25:00.599 that profound devotion in her students. It is 00:25:00.599 --> 00:25:02.859 remarkable that this engine of pure conceptual 00:25:02.859 --> 00:25:05.660 creativity, which changed the entire framework 00:25:05.660 --> 00:25:08.400 of modern algebra, ran for so long on minimal 00:25:08.400 --> 00:25:11.619 financial resources, fueled only by genius and 00:25:11.619 --> 00:25:14.420 absolute passion. And that devotion carried her 00:25:14.420 --> 00:25:16.680 directly into her final and most complex field 00:25:16.680 --> 00:25:19.400 of study. As we move into her third epoch, from 00:25:19.400 --> 00:25:23.519 1927 to 1935, Noether's focus shifts to even 00:25:23.519 --> 00:25:26.589 more advanced structures. non -commutative algebras, 00:25:26.750 --> 00:25:28.990 hypercomplex numbers, and the unification of 00:25:28.990 --> 00:25:30.930 representation theory with the theory of modules 00:25:30.930 --> 00:25:33.549 and ideals. Right. And we should define noncommutative 00:25:33.549 --> 00:25:36.029 for you, the listener. We established that in 00:25:36.029 --> 00:25:38.329 a standard ring, multiplication is commutative. 00:25:38.390 --> 00:25:41.490 A times B equals B times A. In a noncommutative 00:25:41.490 --> 00:25:43.650 system, the order matters. Okay. What's a good 00:25:43.650 --> 00:25:45.490 example? The most familiar example is matrix 00:25:45.490 --> 00:25:47.829 multiplication. If you multiply two matrices, 00:25:48.069 --> 00:25:50.509 A and B, the product AB is usually not the same 00:25:50.509 --> 00:25:52.849 as BA. So she was applying her abstract tools 00:25:52.849 --> 00:25:55.549 to these messier, more complex structures where 00:25:55.549 --> 00:25:58.269 the rules of arithmetic are slightly less cooperative. 00:25:58.859 --> 00:26:01.519 Exactly. This period involved integrating fields 00:26:01.519 --> 00:26:03.680 that had previously seemed totally disparate. 00:26:03.880 --> 00:26:06.619 She successfully subsumed the complex structures 00:26:06.619 --> 00:26:08.920 of associative algebras and representation theory, 00:26:09.099 --> 00:26:11.920 which studies how abstract groups can be realized 00:26:11.920 --> 00:26:15.099 as matrix groups, into a single arithmetic theory 00:26:15.099 --> 00:26:17.619 based on the structure of modules and ideals 00:26:17.619 --> 00:26:20.599 in rings satisfying her beloved ascending chain 00:26:20.599 --> 00:26:23.059 condition. And this required intense collaboration 00:26:23.059 --> 00:26:25.859 with other leading mathematicians. It did. She 00:26:25.859 --> 00:26:28.880 collaborated most closely with Emil Artin, Richard 00:26:28.880 --> 00:26:31.319 Brouwer, and Helmut Hasse to establish the foundation 00:26:31.319 --> 00:26:34.079 of what are called central... simple algebras. 00:26:34.359 --> 00:26:37.140 These are specific, highly structured types of 00:26:37.140 --> 00:26:39.599 non -commutative rings. She was looking for a 00:26:39.599 --> 00:26:42.019 way to classify and bring order to these complex 00:26:42.019 --> 00:26:44.200 systems. So what was the result of this collaboration? 00:26:44.680 --> 00:26:47.140 The absolute crowning achievement of this period 00:26:47.140 --> 00:26:50.259 was the Brouwer -Hass -Noether theorem in 1932. 00:26:50.680 --> 00:26:52.619 Okay, this is a complex result, so we need to 00:26:52.619 --> 00:26:55.519 provide some robust conceptual scaffolding. What 00:26:55.519 --> 00:26:57.779 problem did this theorem solve, and what does 00:26:57.779 --> 00:27:00.660 it mean for an algebra to split? The problem 00:27:00.660 --> 00:27:03.640 was one of classification. Mathematicians had 00:27:03.640 --> 00:27:06.460 this messy, diverse collection of division algebra 00:27:06.460 --> 00:27:09.240 systems where division works, but multiplication 00:27:09.240 --> 00:27:12.519 might not commute. Think of quaternions, which 00:27:12.519 --> 00:27:15.579 are a kind of division algebra. The big question 00:27:15.579 --> 00:27:19.420 was, is there a unified way to describe all possible 00:27:19.420 --> 00:27:22.819 finite dimensional division algebras over a number 00:27:22.819 --> 00:27:25.700 field? So she was looking for a universal Rosetta 00:27:25.700 --> 00:27:28.619 Stone to classify all these different types of 00:27:28.619 --> 00:27:31.390 algebraic numbers. Precisely. And the theorem 00:27:31.390 --> 00:27:33.970 provided the ultimate classification. It proved 00:27:33.970 --> 00:27:36.329 that every finite dimensional central division 00:27:36.329 --> 00:27:39.789 algebra over an algebraic number field must split 00:27:39.789 --> 00:27:42.970 over a cyclic cyclotomic extension. Okay, that 00:27:42.970 --> 00:27:45.150 sounds dense. What does splitting mean conceptually? 00:27:45.450 --> 00:27:47.170 Conceptually, it means that even though these 00:27:47.170 --> 00:27:49.349 complex division algebras look different, they 00:27:49.349 --> 00:27:51.430 all behave simply once you enlarge the number 00:27:51.430 --> 00:27:53.869 field slightly. For any given division algebra, 00:27:54.130 --> 00:27:56.309 you can always find a specific simpler field 00:27:56.309 --> 00:27:59.609 extension, the cyclic cyclotomic extension, which, 00:27:59.730 --> 00:28:01.930 when you combine it with the algebra, turns the 00:28:01.930 --> 00:28:04.650 messy division algebra into a simple matrix algebra. 00:28:04.930 --> 00:28:07.890 Ah, so splitting means turning the complicated 00:28:07.890 --> 00:28:10.509 structure back into something simple and familiar, 00:28:10.650 --> 00:28:13.869 like a matrix. The theorem proved that all these 00:28:13.869 --> 00:28:16.390 complicated algebraic entities are fundamentally 00:28:16.390 --> 00:28:19.009 related to the simplest structures, but only 00:28:19.009 --> 00:28:20.369 if you look at them from the right perspective. 00:28:20.730 --> 00:28:22.950 That's the conceptual power of it. It showed 00:28:22.950 --> 00:28:25.410 that the entire class of central simple algebras 00:28:25.410 --> 00:28:27.829 could be understood via the structure of the 00:28:27.829 --> 00:28:30.690 underlying field extensions. It solved a major 00:28:30.690 --> 00:28:32.769 question in algebraic numbers. theory. It was 00:28:32.769 --> 00:28:35.569 a true intellectual triumph of unification. And 00:28:35.569 --> 00:28:37.470 she also contributed to the Skolem -Noether theorem 00:28:37.470 --> 00:28:39.670 in this period, which dealt with the relationship 00:28:39.670 --> 00:28:42.690 between extensions of fields within these algebras. 00:28:42.950 --> 00:28:45.549 That theorem, published with Skolem, provided 00:28:45.549 --> 00:28:47.609 a fundamental result about field embeddings. 00:28:47.789 --> 00:28:50.430 It essentially showed that any two ways of embedding 00:28:50.430 --> 00:28:53.130 a smaller field k into a finite dimensional central 00:28:53.130 --> 00:28:56.690 simple algebra over Eris are related by an internal 00:28:56.690 --> 00:28:59.329 conjugation, a simple structural transformation. 00:28:59.849 --> 00:29:03.259 That result is a for understanding the automorphisms 00:29:03.259 --> 00:29:06.839 or the internal symmetries of these complex algebraic 00:29:06.839 --> 00:29:09.000 structures. What's equally remarkable is that 00:29:09.000 --> 00:29:12.099 during this final intense period of algebraic 00:29:12.099 --> 00:29:15.140 work, she somehow found time to make fundamental 00:29:15.140 --> 00:29:18.359 contributions that transformed topology. Yeah, 00:29:18.480 --> 00:29:20.900 the study of shapes and their unchanging properties. 00:29:21.279 --> 00:29:23.759 This transition just demonstrates the universality 00:29:23.759 --> 00:29:26.819 of her Begrifflich Mathematik. It really does. 00:29:26.940 --> 00:29:28.779 She was present in Göttingen when the foundation 00:29:28.779 --> 00:29:32.670 of topology was shifting. Topology, or analysis 00:29:32.670 --> 00:29:35.289 sitis as it was often called then, was transforming 00:29:35.289 --> 00:29:38.190 from combinatorial topology, which focused on 00:29:38.190 --> 00:29:41.390 counting things, into algebraic topology, which 00:29:41.390 --> 00:29:43.750 uses algebraic structures to study geometric 00:29:43.750 --> 00:29:46.829 objects. Let's use the classic analogy. If I 00:29:46.829 --> 00:29:49.529 can continuously deform a rubber band into a 00:29:49.529 --> 00:29:51.970 circle or a coffee mug into a donut, then those 00:29:51.970 --> 00:29:54.910 objects are topologically equivalent. We're studying 00:29:54.910 --> 00:29:57.210 properties like the number of holes, which don't 00:29:57.210 --> 00:29:59.329 change under stretching or bending. That's the 00:29:59.329 --> 00:30:01.589 starting point. Traditional methods, like the 00:30:01.589 --> 00:30:03.930 Euler -Porncourt formula, focused on counting 00:30:03.930 --> 00:30:06.410 these geometric components to derive invariance. 00:30:06.470 --> 00:30:08.329 Noether realized that the algebraic structures 00:30:08.329 --> 00:30:10.470 behind these counts were far more important. 00:30:10.630 --> 00:30:13.440 So how did she bridge that gap? Well... She attended 00:30:13.440 --> 00:30:16.160 lectures by topologists like Pavel Alexandrov 00:30:16.160 --> 00:30:19.380 and Heinz Hopp in the mid -1920s, and her crucial 00:30:19.380 --> 00:30:22.559 observation was that rather than simply counting 00:30:22.559 --> 00:30:24.859 the components, the cycles, the boundaries, and 00:30:24.859 --> 00:30:27.220 so forth, it would be much more worthwhile to 00:30:27.220 --> 00:30:29.660 study directly the groups formed by these complexes 00:30:29.660 --> 00:30:32.500 and cycles. She applied her expertise in group 00:30:32.500 --> 00:30:35.079 theory to geometry. So instead of just saying 00:30:35.079 --> 00:30:38.400 this object has one hole, she asked, what is 00:30:38.400 --> 00:30:40.980 the algebraic structure of the set of all possible 00:30:40.980 --> 00:30:42.980 ways to loop around that hole? Exactly that. 00:30:43.279 --> 00:30:45.839 She suggested defining the homology group as 00:30:45.839 --> 00:30:48.400 the quotient group of the group of all cycles 00:30:48.400 --> 00:30:51.279 by the subgroup of cycles homologous to zero. 00:30:51.519 --> 00:30:54.140 Now that is dense technical language, but the 00:30:54.140 --> 00:30:56.539 conceptual breakthrough is clear. The homology 00:30:56.539 --> 00:30:59.019 group is an algebraic object, a group structure 00:30:59.019 --> 00:31:01.140 that captures the popological features of the 00:31:01.140 --> 00:31:03.720 space, like its holes, in a precise structural 00:31:03.720 --> 00:31:06.319 way. So it provides a quantitative algebraic 00:31:06.319 --> 00:31:08.940 toolkit for analyzing complex shapes. It transformed 00:31:08.940 --> 00:31:12.220 the field. Alexander Ravenhoff immediately adopted 00:31:12.220 --> 00:31:15.500 this algebraic approach. Suddenly, concepts like 00:31:15.500 --> 00:31:17.920 the Euler Poincaré formula were not just mysterious 00:31:17.920 --> 00:31:20.500 counting relations, they were direct consequences 00:31:20.500 --> 00:31:22.960 of the algebraic structure of the homology groups. 00:31:23.319 --> 00:31:26.160 This is what made algebraic topology the powerful 00:31:26.160 --> 00:31:29.099 field it is today. And she was so generous that 00:31:29.099 --> 00:31:31.319 she only mentioned her own topology ideas in 00:31:31.319 --> 00:31:34.480 passing in a 1926 paper classifying them merely 00:31:34.480 --> 00:31:37.269 as an application of group theory. By the early 00:31:37.269 --> 00:31:40.150 1930s, Noether's work was clearly at its zenith. 00:31:40.210 --> 00:31:42.769 The professional world finally began to recognize 00:31:42.769 --> 00:31:46.809 her stature, albeit belatedly. In 1932, she and 00:31:46.809 --> 00:31:49.069 Emil Arten received the Ackermann -Tübner Memorial 00:31:49.069 --> 00:31:51.470 Award. And the ultimate recognition came later 00:31:51.470 --> 00:31:54.000 that year. She delivered a plenary address, a 00:31:54.000 --> 00:31:56.740 Großer Vortrag, at the 1932 International Congress 00:31:56.740 --> 00:31:59.380 of Mathematicians in Zurich. Our talk was titled 00:31:59.380 --> 00:32:01.779 Hypercomplex Systems in the Relations to Commutative 00:32:01.779 --> 00:32:04.059 Algebra and to Number Theory, delivering one 00:32:04.059 --> 00:32:06.519 of the main addresses to an audience of 800 global 00:32:06.519 --> 00:32:09.059 mathematicians. That was the official seal of 00:32:09.059 --> 00:32:11.359 approval of her world leadership position. And 00:32:11.359 --> 00:32:14.500 sadly, within months of this triumph, the political 00:32:14.500 --> 00:32:17.900 world was turning dark. Adolf Hitler became chancellor 00:32:17.900 --> 00:32:21.240 in January 1933. The change was catastrophic 00:32:21.240 --> 00:32:24.519 for German academia. Due to the law for the restoration 00:32:24.519 --> 00:32:26.799 of the professional civil service, which aimed 00:32:26.799 --> 00:32:29.759 to purge Jewish and politically undesirable civil 00:32:29.759 --> 00:32:32.460 servants, no other being Jewish and having past 00:32:32.460 --> 00:32:35.180 affiliations with the Social Democrats was dismissed 00:32:35.180 --> 00:32:38.420 from getting in in April 1933. This was the combination 00:32:38.420 --> 00:32:41.299 of the prejudice she had fought her entire career, 00:32:41.559 --> 00:32:44.680 only now it was institutionalized violence. Herman 00:32:44.680 --> 00:32:46.799 Weil, her colleague, captured the atmosphere 00:32:46.799 --> 00:32:50.839 of despair. He recalled that Emmy Nother. Her 00:32:50.839 --> 00:32:53.720 courage, her frankness, her unconcern about her 00:32:53.720 --> 00:32:56.440 own fate, her conciliatory spirit was in the 00:32:56.440 --> 00:32:58.619 midst of all the hatred and meanness, despair 00:32:58.619 --> 00:33:01.599 and sorrow surrounding us, a moral solace. Given 00:33:01.599 --> 00:33:03.579 her long history of fighting for her position, 00:33:03.900 --> 00:33:06.859 how does she react to this final, cruel dismissal? 00:33:07.140 --> 00:33:09.119 Remarkably, she accepted the decision with a 00:33:09.119 --> 00:33:11.559 calm resolution. Her priority remained the mathematics 00:33:11.559 --> 00:33:13.960 and her students. She simply continued to hold 00:33:13.960 --> 00:33:16.160 classes in her apartment, discussing class field 00:33:16.160 --> 00:33:18.380 theory. And there's that incredible anecdote. 00:33:18.940 --> 00:33:21.880 Yes, that she maintained her focus and even laughed 00:33:21.880 --> 00:33:24.039 when one of her dedicated students showed up 00:33:24.039 --> 00:33:27.180 to her secret lecture wearing the uniform of 00:33:27.180 --> 00:33:30.859 the Nazi paramilitary organization, the SA. She 00:33:30.859 --> 00:33:34.660 saw the uniform, not the student, as the absurdity. 00:33:34.819 --> 00:33:37.299 The international mathematical community realized 00:33:37.299 --> 00:33:40.539 immediately the loss Germany was inflicting on 00:33:40.539 --> 00:33:43.519 itself and worked feverishly to find refuge for 00:33:43.519 --> 00:33:46.240 displaced scholars. Right. Nutter accepted a 00:33:46.240 --> 00:33:49.500 position in the United States at Bryn Mawr College, 00:33:49.779 --> 00:33:52.420 which is a women's college in Pennsylvania. The 00:33:52.420 --> 00:33:54.400 position was secured with the help of the Rockefeller 00:33:54.400 --> 00:33:58.079 Foundation. She moved there in late 1933. She 00:33:58.079 --> 00:33:59.980 also conducted research and lectured regularly 00:33:59.980 --> 00:34:02.259 at the newly established Institute for Advanced 00:34:02.259 --> 00:34:05.069 Study in Princeton. Her experience in the U .S. 00:34:05.069 --> 00:34:07.509 was generally more welcoming, but she still encountered 00:34:07.509 --> 00:34:10.170 some gender barriers. She did. She was certainly 00:34:10.170 --> 00:34:12.730 revered by the community that invited her, but 00:34:12.730 --> 00:34:15.250 she wryly noted that she was not welcome at Princeton 00:34:15.250 --> 00:34:18.489 University proper, referring to it as the men's 00:34:18.489 --> 00:34:20.469 university where nothing female is admitted. 00:34:21.000 --> 00:34:23.260 Her base at Bryn Mawr, however, was productive. 00:34:23.659 --> 00:34:26.820 She established a small, thriving research group, 00:34:26.940 --> 00:34:29.420 sometimes known as the Nother Girls, and she 00:34:29.420 --> 00:34:31.980 trained talented doctoral and postdoctoral women, 00:34:32.179 --> 00:34:34.739 including Olga Tosky -Todd, who themselves went 00:34:34.739 --> 00:34:37.300 on to have highly successful careers. So her 00:34:37.300 --> 00:34:39.400 final years sound like a continuation of her 00:34:39.400 --> 00:34:41.699 life's work, surrounded by supportive colleagues 00:34:41.699 --> 00:34:45.179 and students just in a new country. She was productive 00:34:45.179 --> 00:34:48.260 and engaged. She made a brief trip back to Germany 00:34:48.260 --> 00:34:51.920 in mid -1934 to visit her brother, Fritz, who 00:34:51.920 --> 00:34:53.800 had also been dismissed from his professorship 00:34:53.800 --> 00:34:56.539 and was preparing to accept a position in Tomsk, 00:34:56.599 --> 00:34:59.400 Russia. She was allowed brief access to the Göttingen 00:34:59.400 --> 00:35:01.760 Library as a foreign scholar before returning 00:35:01.760 --> 00:35:05.119 to Bryn Mawr. But this productive, if brief, 00:35:05.239 --> 00:35:07.400 period in the U .S. was tragically cut short. 00:35:07.559 --> 00:35:11.019 Yes. In April 1935, doctors discovered a tumor 00:35:11.019 --> 00:35:13.420 in her pelvis. She underwent surgery to remove 00:35:13.480 --> 00:35:16.480 a large ovarian cyst. For three days, her recovery 00:35:16.480 --> 00:35:19.280 seemed normal, strong even. But on the fourth 00:35:19.280 --> 00:35:21.579 day, her condition deteriorated rapidly. Her 00:35:21.579 --> 00:35:23.880 temperature spiked dramatically to 109 degrees 00:35:23.880 --> 00:35:26.760 Fahrenheit, and she died suddenly. The physicians 00:35:26.760 --> 00:35:29.860 were baffled, concluding it was an unusual and 00:35:29.860 --> 00:35:32.380 virulent infection which struck the base of the 00:35:32.380 --> 00:35:35.929 brain. Emmy Noether was 53. A profound loss of 00:35:35.929 --> 00:35:38.949 genius and moral courage at a time when the world 00:35:38.949 --> 00:35:42.449 needed both so desperately. Tributes poured in 00:35:42.449 --> 00:35:44.510 from around the world. Her colleagues and students, 00:35:44.550 --> 00:35:47.590 including Alexandrov, Weil, van der Voorden, 00:35:47.710 --> 00:35:51.210 and Einstein. all mourned her passing. Her ashes 00:35:51.210 --> 00:35:53.469 were interred beneath the walkway of Bryn Mawr's 00:35:53.469 --> 00:35:56.949 old library, a quiet final resting place for 00:35:56.949 --> 00:35:59.489 a woman who fundamentally rewrote the rules of 00:35:59.489 --> 00:36:01.650 algebra. Looking back at Emmy Noether's life, 00:36:01.809 --> 00:36:04.590 we see three decades of relentless revolutionary 00:36:04.590 --> 00:36:07.590 intellectual output achieved despite fighting 00:36:07.590 --> 00:36:09.710 this constant petty institutional opposition. 00:36:10.070 --> 00:36:12.070 We focus today on the conceptual structure she 00:36:12.070 --> 00:36:14.869 built. So what is the final recap of her indelible 00:36:14.869 --> 00:36:17.190 impact across those three epochs? Well, in her 00:36:17.190 --> 00:36:19.429 first epoch, she... delivered the physics -changing 00:36:19.429 --> 00:36:21.510 Noether's theorem, providing the essential link 00:36:21.510 --> 00:36:23.610 between conservation laws and the symmetries 00:36:23.610 --> 00:36:26.670 of a physical system. Then, in her second epoch, 00:36:26.769 --> 00:36:29.650 she essentially created modern commutative ring 00:36:29.650 --> 00:36:32.530 theory, using that elegant ascending chain condition 00:36:32.530 --> 00:36:36.269 to define Noetherian rings and generalizing the 00:36:36.269 --> 00:36:38.650 fundamental theorems of arithmetic to the structure 00:36:38.650 --> 00:36:42.090 of ideals. And finally, in her third epoch, she 00:36:42.090 --> 00:36:45.010 unified complex fields through her work in non 00:36:45.010 --> 00:36:48.219 -commutative algebra. Most notably, the classification 00:36:48.219 --> 00:36:50.599 provided by the Brouwer -Hassanother theorem. 00:36:50.820 --> 00:36:53.500 And she gave the field of algebraic topology 00:36:53.500 --> 00:36:56.559 its modern algebraic toolkit through the concept 00:36:56.559 --> 00:36:59.199 of homology groups. So she did not just solve 00:36:59.199 --> 00:37:01.659 the mathematical problems over time. She provided 00:37:01.659 --> 00:37:04.420 the language and the framework necessary to tackle 00:37:04.420 --> 00:37:06.420 the problems of the next century. That's right. 00:37:06.539 --> 00:37:08.780 She showed mathematicians how to stop calculating 00:37:08.780 --> 00:37:11.000 specific examples and start defining universal 00:37:11.000 --> 00:37:13.420 structure. To bring the story full circle, let's 00:37:13.420 --> 00:37:15.860 reflect again on Albert Einstein's powerful trip 00:37:15.920 --> 00:37:18.260 which he wrote for the New York Times after her 00:37:18.260 --> 00:37:21.179 death. He called her the most significant creative 00:37:21.179 --> 00:37:24.079 mathematical genius thus far produced since the 00:37:24.079 --> 00:37:27.280 higher education of women began. It's an undeniable 00:37:27.280 --> 00:37:29.739 truth. She permanently expanded the boundaries 00:37:29.739 --> 00:37:31.940 of what was mathematically possible. So here 00:37:31.940 --> 00:37:34.059 is a final provocative thought for you, the learner, 00:37:34.219 --> 00:37:36.900 that connects Nutter's work from 1918 directly 00:37:36.900 --> 00:37:40.639 to today's cutting edge. Nutter's theorem proved 00:37:40.639 --> 00:37:43.360 that seeking symmetries yields conservation laws. 00:37:43.960 --> 00:37:46.840 Today, high energy physics is primarily guided 00:37:46.840 --> 00:37:49.480 by exactly this principle. Right. Physicists 00:37:49.480 --> 00:37:51.559 are searching for new symmetries in the laws 00:37:51.559 --> 00:37:54.699 of nature, things like supersymmetry, to predict 00:37:54.699 --> 00:37:57.619 the existence of new, currently unobserved particles 00:37:57.619 --> 00:38:00.639 or forces. Her abstract insight from nearly a 00:38:00.639 --> 00:38:03.090 century ago. that structure dictates consequence, 00:38:03.510 --> 00:38:06.309 remains the central tool for exploring the deepest, 00:38:06.429 --> 00:38:08.670 smallest mysteries of the universe. The foundation 00:38:08.670 --> 00:38:11.369 she poured still supports modern cosmology. The 00:38:11.369 --> 00:38:13.630 ultimate structural engineer of modern knowledge. 00:38:13.809 --> 00:38:15.690 That's Emmy Noether. Thank you for diving deep 00:38:15.690 --> 00:38:17.269 with us. Thank you. We'll see you next time.