Народилася в єврейській родині у франконському місті Ерланген. Її батьки, математик Макс Нетер та Іда Амалія Кауфман, походили із заможних купецьких родин. Мала трьох братів: Альфреда, Роберта і Фріца (німецький і радянський математик).
Спочатку планувала викладати англійську та французьку після здачі відповідних іспитів, але замість цього почала вивчати математику в Університеті Ерлангена, де викладав її батько. Після захисту в 1907 році дисертації під керівництвом Пауля Гордана працювала в математичному інституті Університету Ерлангена безкоштовно впродовж 7 років (на той час для жінки було практично неможливо зайняти академічну посаду).
1916 року Нетер переїхала до Геттінгена, де знамениті математики Давид Гільберт і Фелікс Кляйн продовжували роботи з теорії відносності, і знання Нетер в області теорії інваріантів були їм потрібні. Гільберт намагався зробити Нетер приват-доценткоюГеттінгенського університету, але всі його спроби провалилися через забобони професури, здебільшого в галузі гуманітарних наук. Нетер втім, не займаючи жодної посади, часто читала лекції за Гільберта. Лише після закінчення Першої світової вона змогла стати приват-доценткою (1919), потім позаштатною професоркою (1922).
Нетер залишалась однією з провідних співробітниць відділу математики в Геттінгенському університеті до 1933 року, її учнів іноді називали «хлопчиками Нетер». 1924 року голландський математик Бартель ван дер Варден приєднався до її кола і невдовзі став провідним висловлювачем ідей Нетер: її робота була основою для другого тому його відомого підручника 1931 року «Сучасна алгебра»[en]. До часу виступу Нетер на пленарному засіданні Міжнародного конгресу математиків у Цюриху в 1932 році її тонке алгебраїчне чуття було визнане у всьому світі. Спільно з учнем Емілем Артіном вона отримала премію Аккермана-Тебнера[en] за досягнення в математиці.
Після приходу нацистів до влади 1933 року євреїв усунули від викладання в університеті, і Нетер довелося емігрувати до США, викладати в жіночому коледжі Брін Мар (Пенсільванія).
Математичні праці Нетер поділяють на три періоди[14]. У перший період (1908—1919) вона розвивала теорію інваріантів і числових полів. Її теорему про диференціальні інваріанти у варіаційному численні, теорема Нетер, називають «однією з найбільш важливих математичних теорем, які використовуються в сучасній фізиці»[15]. У другому періоді (1920—1926) вона взялася за роботу, яка змінила обличчя [абстрактної] алгебри". У своїй класичній праці Idealtheorie in Ringbereichen («Теорія ідеалів у кільцях», 1921)[16] Нетер розробила теорію ідеалівкомутативних кілець, придатну для широкого спектра застосувань. Вона знайшла витончений спосіб застосування умови обриву зростальних ланцюгів, і об'єкти, що задовольняють цій умові, називають нетеровими на її честь. Третій період (1927—1935) відзначений її публікаціями з некомутативної алгебри[en] і гіперкомплексних чисел, Нетер об'єднала теорію представленьгруп з теорією модулів та ідеалів. Крім її власних публікацій Нетер щедро ділилася своїми ідеями з іншими математиками, навіть у галузях далеких від основних напрямків досліджень Нетер, наприклад в галузі алгебраїчної топології.
Походження
Нетер виросла в Баварському місті Ерланген, зображення міста на листівці 1916 рокуЕммі Нетер та її брати Альфред, Фріц і Роберт, зображення зроблено до 1918 року
Александров Павло Сергійович
Вершиною всього, що я почув цього літа в Геттінгені були лекції Еммі Нетер з загальної теорії ідеалів... Звичайно, самий початок теорії заклав Дедекінд, але тільки самий початок: теорія ідеалів у всьому багатстві її ідей і фактів, теорія, що справила такий величезний вплив на сучасну математику, є творіння Еммі Нетер. Я можу про це судити, тому що я знаю і роботу Дедекінда, і основні роботи Нетер з теорії ідеалів.
Лекції Нетер захопили і мене, і Урисона. Блискучими за формою вони не були, але багатством свого змісту вони підкорювали нас. З Еммі Нетер ми постійно бачилися в невимушеній обстановці і дуже багато з нею розмовляли, як на теми теорії ідеалів, так і на теми наших робіт, відразу ж її зацікавили.
Наше знайомство, яке жваво зав'язалося цього літа, дуже поглибилося наступного літа, а потім, після смерті Урисона, перейшло в ту глибоку математичну й особисту дружбу, яка існувала між Еммі Нетер і мною до кінця її життя. Останнім проявом цієї дружби з мого боку була промова в пам'ять про Еммі Нетер на зборах Московської міжнародної топологічної конференції в серпні 1935 року.
Батько Макс Нетер (1844—1921) походив із заможної родини гуртових торговців обладнанням з Мангайма — його дід Еліас Самуель 1797 року заснував сімейну торговельну фірму в Брухзалі. У 14 років його паралізувало внаслідок поліомієліту. Згодом до нього повернулася дієздатність, але одна нога залишилася ураженою. 1868 року Макс Нетер, після семи років здебільшого самостійного навчання, здобув докторський ступінь в університеті Гейдельберга. Влаштувався у баварському місті Ерланген, де зустрів Іду Амалію Кауфман (1852—1915), дочку заможного купця з Кельна Маркуса Кауфмана, і одружився з нею[17][18][19][20]. Йдучи по стопах Альфреда Клебша, Макс Нетер основний внесок зробив у розвиток алгебричної геометрії. Найбільш відомі з результатів його роботи — це теорія Брілла—Нетера[en] і теорема AF + BG.
Еммі Амалі Нетер народилася 23 березня1882 року в німецькому містечку Ерланген (тепер входить до агломерації Нюрнберг землі Баварія) старшою з 4 дітей. Її повне ім'я — «Амалія Еммі», на честь її матері та бабусі по батьківській лінії Амалії (Мальхен) Вюрцбургер (1812—1872), але вже досить рано вона віддала перевагу другому імені. Еммі була чарівною дитиною, вирізнялася розумом і товариськістю. У Нетер була короткозорість, і в дитинстві вона трішки шепелявила. Роки по тому друг родини розповів історію, як юна Нетер на дитячому святі легко розв'язала головоломку, проявивши логічну хватку в ранньому віці[уточнити][21]. У дитинстві Нетер відвідувала уроки гри на фортепіано, тоді як більшість юних дівчат навчалися готування і прибирання. Але вона не відчувала пристрасті до цього виду діяльності, зате любила танцювати[18][22].
Старший з братів, Альфред, народився 1883 року, і здобув у 1909 році ступінь доктора в галузі хімії університету Ерланген. Через 9 років він помер. Фріц Нетер, який народився 1884 року, після навчання в Мюнхені домігся успіху в галузі прикладної математики. 8 вересня 1941 року розстріляний під Орлом. Молодший брат, Густав Роберт, народився 1889 року. Про його життя дуже мало відомо; він страждав від хронічної хвороби і помер у 1928 році[23][24].
Особисте життя Нетер не склалося. Невизнання, вигнання, самотність на чужині, здавалося б, повинні були зіпсувати її характер. Втім, вона майже завжди виглядала спокійною і доброзичливою. Герман Вейль писав, що навіть щасливою.
Навчання та викладання
Університет Ерлангена
Пауль Гордан керував докторською дисертацією Нетер, присвяченою інваріантам біквадратичних форм.
Спочатку Нетер вивчала мови, плануючи стати викладачем англійської та французької, які їй з легкістю давалися. Навесні 1900 року вона склала іспит для викладачів на знання цих мов і отримала загальну оцінку «дуже добре». Кваліфікація, яку Нетер здобула, давала їй можливість викладати мови в школах для дівчат, але вона віддала перевагу подальшому навчанню в університеті Ерлангена.
Це було незвичайне для того часу рішення. За два роки до того Вчена рада університету оголосила, що введення спільного навчання[en] «зруйнує академічні підвалини»[25]. В університеті з 986 студентів навчалося лише дві дівчини, однією з яких була Нетер. При цьому їй можна було лише відвідувати лекції без права здавати екзамени[en], до того ж їй потрібен був дозвіл тих професорів, чиї лекції вона хотіла відвідувати. Попри ці перешкоди, 14 липня 1903 року вона склала випускний іспит у Нюрнберзькій реальній гімназії[de][26][25][27].
Нетер повернулася до Ерлангена й 24 жовтня 1904 року офіційно відновилася в університеті. Вона оголосила про своє бажання займатися суто математикою. Вона стала ученицею математика Пауля Гордана[en] і під його керівництвом написала докторську дисертацію «Про повні системи інваріантів тернарних біквадратичних форм» (1907). Хоча працю добре прийняли, Нетер пізніше назвала її «мотлохом»[28][29][27].
Наступні сім років (1908—1915) вона викладала в Математичному інституті університету Ерлангена безкоштовно, іноді підміняючи свого батька, коли його самопочуття не давало можливості читати лекції.
Нетер іноді використовувала листівки, щоб обговорити питання абстрактної алгебри зі своїм колегою Ернстом Фішером[en]. Поштова позначка на листівці від 10 квітня 1915 року.
Гордан пішов у відставку навесні 1910 року, але продовжував іноді викладати разом зі своїм наступником Ерхардом Шмідтом, який невдовзі після цього переїхав працювати до Вроцлава. Гордан остаточно припинив викладацьку діяльність у 1911 році, з прибуттям на місце Шмідта Ернста Фішера, а в грудні 1912 року його не стало.
За словами Германа Вейля, Фішер справив важливий вплив на Нетер, зокрема, ознайомивши її з роботами Давида Гільберта. Від 1913 до 1916 року Нетер опублікувала кілька статей, у яких узагальнила і використала методи Гільберта для вивчення таких математичних об'єктів, як поляраціональних функцій та інваріантискінченних груп. Цей період знаменує початок її роботи в абстрактній алгебрі — галузі математики, в якій вона зробить революційні відкриття.
Нетер і Фішер діставали справжнє задоволення від математики й часто обговорювали лекції після їх завершення. Відомо, що Нетер надсилала Фішеру листівки, з яких видно, як продовжує працювати її математична думка[30][31][32].
Університет Геттінгена
Навесні 1915 року Нетер дістала запрошення від Давида Гільберта і Фелікса Кляйна повернутися в університет Геттінгена. Проте їхнє бажання блокували філологи та історики з філософського факультету, які вважали, що жінка не може бути приват-доцентом. Один з викладачів висловив протест: «Що подумають наші солдати, коли вони повернуться в університет і виявлять, що вони повинні вчитися біля ніг жінки?»[33][34][35] Гільберт відповів з обуренням, заявивши: «Не розумію, чому стать кандидата є аргументом проти обрання її приват-доцентом. Адже тут університет, а не чоловіча лазня!»[33][34][35].
1915 року Давид Гільберт запросив Нетер приєднатися до відділу математики в Геттінгені, не звертаючи уваги на думку деяких з його колег, які вважали, що жінкам не повинно бути дозволено викладати в університеті.
Нетер поїхала до Геттінгена наприкінці квітня; через два тижні в Ерлангені раптово померла її мати. Раніше вона зверталася до лікарів з приводу очей, але природа хвороби та її зв'язок зі смертю залишилися невідомі. Приблизно тоді ж батько Нетер вийшов у відставку, а її брат, нещодавній геттінгенський студент-математик, вступив на службу в армію Німеччини для участі в Першій світовій війні. Нетер повернулася до Ерлангена на кілька тижнів, щоб доглядати за своїм старіючим батьком[36].
У перші роки викладання в Геттінгені Нетер не отримувала платні за роботу й не мала офіційної посади; її сім'я оплачувала проживання та харчування і цим давала можливість працювати в університеті. Вважалося, що лекції, які вона читала, були лекціями Гільберта, а Нетер виступала в ролі його асистентки.
Відділ математики в університеті Геттінгена, де 1919 року Нетер було дозволено пройти процедуру габілітації, після чотирьох років викладання в ньому.
На зміну Першій світовій війні прийшла революція в Німеччині 1918—1919 років, яка позначилася падінням монархії і зробила значні зміни в соціальні відносини, зокрема розширивши права жінок. 1919 року в університеті Геттінгена Нетер було дозволено пройти процедуру габілітації, яка б дала право на здобуття посади. Усний іспит Нетер здала наприкінці травня і в червні вона успішно захистила докторську дисертацію. Еммі Нетер стала першою в історії університету жінкою приват-доцентом. Це була найнижча сходинка, навіть не посада.
Три роки по тому Нетер отримала лист від прусського міністра науки, мистецтва і народної освіти Отто Беліца[de], в якому йшлося про присвоєння їй титулу позаштатного екстраординарного професора (асистента) з обмеженими внутрішніми правами і функціями[38]. Це звання було нижчим від «ординарного» професора, що належало до посад державної служби. Хоча це звання і було визнанням важливості роботи Нетер, але все ще не давало їй ніякої зарплатні. Рік по тому становище змінилося, і її призначили на посаду Lehrbeauftragte für Algebra («лектора з алгебри»)[39][40][41].
У зв'язку з інфляцією і зниженням платоспроможності студентів матеріальний стан Еммі Нетер погіршав. Зусиллями Ріхарда Куранта Нетер почали щомісячно видавати 200—400 марок «викладацької стипендії на прожиття», що потребувало кожного року міністерського затвердження. У Геттінгені вона так і не домоглася штатної посади з гарантованою оплатою. Еммі також не була членом жодної з академій. Її не обрали навіть до Геттінгенського королівського наукового товариства.
Традиції, забобони, зовнішні міркування пересилили її наукові заслуги і наукову велич, які на той час вже не заперечувались ніким
Проте якраз у Геттінгені Нетер заклала основи зовсім нової алгебри, яку тепер називають загальною, або абстрактною (тобто теорію кілець, полів, ідеалів).
Засадничі праці в галузі абстрактної алгебри
Хоча теорема Нетер справила глибокий вплив на фізику, але математики передусім її пам'ятають за величезний внесок у загальну алгебру. У передмові до збірки статей Нетер Натан Джекобсон пише, що «розвиток загальної алгебри, яка стала одним з найбільш примітних нововведень математики двадцятого століття, значною мірою заслуга Нетер — її опублікованих статей, її лекцій, її особистого впливу на сучасників»[42].
Новаторську роботу з алгебри Нетер розпочала 1920 року, опублікувавши спільну з Шмайдлером статтю, в якій вони визначили ліві та праві ідеаликілець. Наступного року вона опублікувала статтю під назвою Idealtheorie in Ringbereichen («Теорія ідеалів у кільцях»), аналізуючи умову обриву зростальних ланцюгів ідеалів. Відомий алгебраїст Ірвінг Капланський назвав цю роботу «революційною»[43]. Після видання статті з'явилося поняття «нетерового кільця» і деякі інші математичні об'єкти також стали носити назву «нетерових»[43][44][45].
У 1924 році молодий голландський математик Бартель ван дер Варден прибув до університету Геттінгена. Він одразу ж приступив до спільної роботи з Нетер. Ван дер Варден пізніше сказав, що її оригінальність була «абсолютно поза конкуренцією»[46]. Він як ніхто інший сприяв поширенню її ідей. 1931 року він опублікував підручник «Сучасна алгебра»; при написанні другого томи свого підручника він багато запозичив з робіт Нетер. Хоча Нетер не шукала визнання своїх заслуг, у сьомому виданні ван дер Варден додав примітку про те, що його книга «частково заснована на лекціях Еміля Артіна і Емми Нетер»[47][48][49]. Відомо, що багато ідей Нетер були вперше опубліковані її колегами і студентами. Вона дозволяла їм це робити для розвитку їхніх кар'єр за рахунок власної[49][50][51]. Герман Вейль писав:
Значна частина того, що становить зміст другого тому «Сучасної алгебри» (Тепер просто «Алгебр») ван дер Вардена, має належати Еммі Нетер.
Візит ван дер Вардена був одним з великої кількості візитів математиків зі всього світу до Геттінгена, який став головним центром математичних і фізичних досліджень. З 1926 по 1930 рік російський топологПавло Александров читав лекції в університеті; він і Нетер швидко стали добрими друзями. Він називав її дер Нетер, використовуючи цей чоловічий німецький артикль як знак поваги. Вона спробувала випросити йому місце професора в Геттінгені, але змогла лише домовитися про те, щоб йому виплачували стипендію Фонду Рокфеллера[52][53]. Вони регулярно зустрічалися і насолоджувалися дискусіями про зв'язки алгебри і топології. 1935 року в промові, присвяченій пам'яті науковиці, Александров назвав Еммі Нетер «найвизначнішою жінкою-математиком усіх часів»[54].
На додаток до її математичної проникливості, Нетер поважали за увагу до навколишніх. Хоча вона іноді діяла грубо стосовно тих, хто був не згоден з нею, втім, вона була люб'язною і терплячою щодо нових студентів. За її прагнення до математичної точності один з колег назвав Нетер «суворим критиком». Попри це, в ній уживалося і дбайливе ставлення до людей[56]. Пізніше колега описав її так: «Абсолютно не егоїстична і не пихата, вона не робила нічого для себе, вище за все вона ставила роботи своїх учнів»[57].
Її ж власна душевна доброта без найменшого хизування й нещирості, її життєрадісність і доступність, її здатність не помічати несуттєве, створювали навколо неї атмосферу тепла, спокою і легкої радості. Зворушливою була її любов до учнів, які заміняли їй відсутність власної сім'ї. Жіночість її психіки виявлялась у м'якому й тонкому ліризмі відносин, що зв'язували її з людьми
Еммі Нетер ніколи не вірила в зло, їй навіть на думку не могло спасти, що зло може щось відігравати серед людей
— Герман Вейль
Її скромний спосіб життя спочатку був пов'язаний з тим, що її роботу не оплачували. Однак навіть після того, як університет почав виплачувати їй невелику зарплатню в 1923 році, вона продовжувала вести простий і скромний спосіб життя. Пізніше вона стала отримувати більш щедру винагороду за свою роботу, але відкладала половину своєї зарплатні, щоб потім заповісти її племіннику, Готфріду Е. Нетеру[en][58].
Нетер не дуже дбала про свій зовнішній вигляд і манери, біографи припускають, що вона була повністю зосереджена на науці. Видатний алгебраїст Ольга Тодд описала обід, під час якого Нетер, бувши повністю занурена в обговорення математики, «відчайдушно жестикулювала, постійно проливаючи їжу й витираючи її зі своєї сукні з незворушним виглядом»[59].
Попри свої математичні досягнення, Еммі Нетер була посереднім викладачем. На її заняття зазвичай приходило від п'яти до десяти слухачів, здебільшого іноземці. Лише одного разу на лекцію прийшло близько 100 осіб (як виявилося потім, це були гості університету).
Згідно з некрологом ван дер Вардена Нетер не дотримувалася плану уроку на своїх лекціях, що засмучувало деяких студентів. Замість цього вона використовувала час лекцій для спонтанних обговорень зі студентами, щоб продумати і прояснити важливі проблеми, які лежать на передньому краї математики. Деякі з найбільш важливих результатів її роботи одержано в ході цих лекцій, конспекти лекцій її студентів сформували основу для підручників ван дер Вардена і Дьюрінга. Відомо, що Нетер прочитала в Геттінгені щонайменше п'ять семестрових курсів[60]:
Ці курси часто передували основним публікаціям у цих областях.
Нетер говорила швидко, що вимагало великої концентрації уваги від студентів. Студенти, які не любили її стиль, часто відчували себе відчуженими[61][62]. Деякі учні помічали, що вона занадто схильна до спонтанних дискусій. Найвідданіші учні, однак, захоплювалися ентузіазмом, з яким вона подавала математику, особливо, коли її лекції будувалися на виконаній раніше разом з цими учнями роботі.
Нетер доводила відданість і предмету, і своїм учням, тим, що продовжувала займатися ними після лекцій. Одного разу, коли будівлю університету закрили з нагоди державного свята, вона зібрала клас на ґанку, провела їх через ліс і прочитала лекцію в місцевому кафе[63]. 1933 року, після приходу до влади націонал-соціалістичного уряду, Нетер звільнили з університету. Вона запрошувала студентів у свій будинок, щоб обговорити плани на майбутнє і питання математики[64].
Москва
Нетер викладала в МДУ впродовж зими 1928—1929 років.
Політика не посідала центральне місце в житті Нетер, але вона проявила значний інтерес до революції 1917 року. Вона вважала, що прихід до влади більшовиків сприяв розвитку математики в Радянському Союзі. Її ставлення до СРСР призвело до проблем у Німеччині: згодом її виселили з будівлі пансіонату, після того як лідери студентів заявили, що вони не бажають жити під одним дахом з «по-марксистському налаштованою єврейкою»[54].
Нетер планувала повернутися до Москви, де вона отримувала підтримку від Александрова. Після її від'їзду з Німеччини 1933 року він спробував отримати для неї кафедру в МДУ. Хоча ці зусилля виявилися безуспішними, Нетер і Александров листувалися щодо можливості її переїзду до Москви[54]. Водночас її брат Фріц після втрати роботи в Німеччині отримав посаду в Науково-дослідному інституті математики і механіки в Томську[67][68].
Визнання
1932 року Нетер, спільно зі своїм учнем Емілем Артіном, отримала премію Акермана–Тебнера[en] за досягнення в математиці[69]. Приз становив у грошовому еквіваленті 500 рейхсмарок і є офіційним визнанням (хоча й з великою затримкою) її значної роботи в цій галузі. Втім, її колеги висловили розчарування у зв'язку з тим, що Нетер не була обраною в Академію наук Геттінгена і ніколи не була призначеною на посаду ординарного професора[70][71].
Нетер відвідала Цюрих у 1932 році, щоб виступити на пленарному засіданні Міжнародного конгресу математиків.
У листопаді того самого року Нетер виступила на пленарному засіданні Міжнародного конгресу математиків у Цюриху з доповіддю про «гіперкомплексні системи та їхні зв'язки з комутативною алгеброю і теорією чисел». Конгрес відвідало 800 осіб, зокрема колеги Нетер Герман Вейль, Едмунд Ландау і Вольфганг Круль. На конгресі представлено 420 офіційних учасників та 21 пленарна доповідь. Першочерговий виступ Нетер з доповіддю був визнанням важливості її вкладу в математику. Іноді участь у конгресі 1932 року вважають найвищою точкою в кар'єрі Нетер[71][73].
Вигнання з Геттінгена
Після приходу 1933 року до влади в Німеччині Гітлера нацистська діяльність по всій країні різко зросла. У геттінгенському Університеті склався клімат, ворожий до професорів-євреїв. Один молодий протестувальник заявив: «Арійські студенти хочуть вивчати арійську математику, а не єврейську»[74].
Однією з перших дій адміністрації Гітлера було прийняття «Закону про відновлення професійної цивільної служби[en]», за яким євреїв звільняли з посад державних службовців, якщо вони «не продемонстрували свою відданість Німеччині» як ветерани Першої світової війни. У квітні 1933 року Нетер одержала повідомлення від Міністерства науки, мистецтв та освіти Пруссії, в якому йшлося про її відсторонення від права викладати в Університеті Геттінгена. Кілька колег Нетер, зокрема Макс Борн і Річард Курант, також були відсторонені[75][76]. Нетер поставилася до цього рішення спокійно. Вона зосередилася на математиці, збираючи студентів у своїй квартирі й обговорюючи з ними теорію полів класів. Коли один з її студентів з'явився в нацистській формі штурмових загонів, вона не подала знаку і, за повідомленнями, навіть сміялася над цим згодом[75][76].
Брін-Мор
Коледж Брін Мар був домівкою для Нетер в останні два роки її життя
У Брін Мар Нетер познайомилася і подружилася з Анною Вілер, яка була навчалася в Геттінгені якраз перед прибуттям туди Нетер. Ще одним з тих, хто надавав підтримку Нетер в коледжі, була президент Брін Мар Маріон Едвардс Парк[en], яка з ентузіазмом запрошувала інших математиків у цій області «побачити Доктора Нетер у дії»[79][80]. Нетер пропрацювала з невеликою групою студентів підручник ван дер Вардена «Сучасна алгебра I» і перші розділи «Теорії алгебраїчних чисел» Еріха Гекке[81].
1934 року Нетер почала читати лекції в Інституті перспективних досліджень у Прінстоні. Вона також працювала з Альбертом Майкельсоном і Гаррі Вандівером[en][82]. Втім, вона зауважила про Принстонський університет, що її не дуже добре прийняли в цьому «чоловічому університеті, де немає нічого жіночого»[83].
Влітку 1934 року Нетер ненадовго повернулася до Німеччини, щоб побачити Еміля Артіна і свого брата Фріца перед його переїздом до Томська. Хоча багато з її колишніх колег були змушені піти з університетів Німеччини, вона все ще мала можливість користуватися бібліотекою на правах «іноземного науковця»[84][85].
У квітні 1935 року лікарі виявили у Еммі Нетер онкологічне захворювання. Того ж року, в 53, невдовзі після операції вона померла
Один з лікарів написав:
Важко сказати, що сталося з Нетер. Не виключено, що це була форма якоїсь незвичайної й небезпечної інфекції, яка вразила частину мозку, де розміщені теплові центри.[86]
Через кілька днів після смерті Нетер її друзі та соратники влаштували невелику поминальну службу в будинку президента коледжу Брін Мар. Герман Вейль і Річард Брауер прибули з Прінстона й багато розмовляли з Вілером і Ольгою Тодд про померлу колегу.
Тіло Еммі Нетер кремували, а прах поховали під стінами Бібліотеки Кері Томас у Брін-Морі[87].
Якщо розвиток математики сьогодення безумовно протікає під знаком алгебраїзації, проникнення алгебраїчних понять і алгебраїчних методів у найрізноманітніші математичні теорії, то це стало можливим лише після робіт Еммі Нетер.
Альберт Ейнштейн у пропам'ятній записці у зв'язку з її смертю зарахував Нетер до найбільших творчих геніїв математики[89].
Внесок у математику і фізику
Здебільшого праці Нетер відносяться до алгебри, де вони сприяли створенню нового напрямку, відомого під назвою абстрактної алгебри. Внесок Нетер та її учня Вардена у цю область відіграв вирішальну роль (поряд з Емілем Артіном). Герман Вейль писав:
Значна частина того, що складає зміст другого тому «Сучасної алгебри» (тепер просто «Алгебри») ван дер Вардена, має належати Еммі Нетер
Нетер проявляла схильність до абстрактного мислення, яке дозволило їй вирішувати проблеми математики новими і оригінальними способами[90][30]. Друг і колега Нетер Герман Вейль розділив її наукову роботу на три періоди:[91]
період відносної залежності, 1907—1919;
дослідження, згруповані навколо загальної теорії ідеалів, 1920—1926;
вивчення некомутативної алгебри та її застосування до дослідження комутативних числових полів і їх арифметики, 1927—1935.
У перший період (1907—1919) Нетер передусім працювала з диференціальними та алгебраїчними інваріантами. Її математичні обрії розширювалися, ставали більш абстрактними, на це вплинуло її знайомство з працями Давида Гільберта.
Другий період (1920—1926) був присвячений розробці математичної теорії кілець[92].
У третій період (1927—1935) Нетер зосередила свою увагу на вивченні некомутативної алгебри, лінійних перетворень та числових полів[93].
Ідеї і наукові погляди Нетер справили величезний вплив на багатьох вчених, як математиків, так і фізиків. Вона виховала ряд учнів, які стали вченими світового класу і продовжили напрямки, над якими працювала Нетер.
Історичний контекст
Починаючи з 1832 року і до смерті Нетер в 1935 році, галузь математики, яка називається алгеброю, зазнала глибоких змін. Математики попередніх століть працювали над практичними методами розв'язання конкретних типів рівнянь, наприклад, кубічних, а також над пов'язаною з цим завданням побудовою правильних многокутників за допомогою циркуля і лінійки. Починаючи з роботи Карла Фрідріха Гаусса, який довів у 1832 році, що прості числа, такі як п'ять, можна розкласти на множення цілих гаусових чисел[94], введення Эваристом Галуа поняття групи перестановок у 1832 році (з причини смерті, його роботи опублікував лише 1846 року Ліувілль), відкриття кватерніонівВільямом Ровеном Гамільтоном в 1843 році і появи поняття абстрактної групи, яке запропонував Артур Кейлі 1854 року, дослідження звернулися до визначення властивостей більш абстрактних і загальних систем. Найважливіший внесок у розвиток математики Нетер зробила за рахунок розвитку цієї нової галузі, яка називається абстрактною алгеброю[95].
Абстрактна алгебра і begriffliche Mathematik (концептуальна математика)
Основні об'єкти абстрактної алгебри — це групи та кільця.
Група складається з множини елементів та однієї бінарної операції, яка зіставляє з кожною впорядкованою парою елементів цієї множини деякий третій елемент. Операція має задовольняти певним обмеженням — вона повинна мати властивість асоціативності, а також має існувати нейтральний елемент, і для кожного елемента має існувати обернений до нього елемент.
Кільце, аналогічно, має множину елементів, але тепер на ній визначені дві операції — додавання і множення. Кільце називається комутативним, якщо операція множення комутативна (зазвичай також мається на увазі її асоціативність та існування одиниці). Кільце, в якому є одиничний елемент і кожен ненульовий елемент має зворотний елемент відносно множення (тобто елемент х, такий, що ах = ха = 1), називають тілом. Поле визначається як комутативне тіло.
Групи часто вивчають за допомогою їх представлень. У найбільш загальному випадку, представлення групи G — це довільна множина з дією групи G на цій множині. Зазвичай множина є векторним простором, а група представляє симетрії цього простору. Наприклад, існує група обертань простору відносно деякої фіксованої точки. Обертання є симетрією простору, тому що сам простір не змінюється при обертанні, навіть якщо положення об'єктів у ньому змінюється. Нетер використовувала подібні симетрії у своїй роботі з інваріантів у фізиці.
Потужний спосіб вивчення кілець — через модулі над ними. Модуль над кільцем складається з множини, яка називається множиною елементів модуля, зазвичай відмінної від множини елементів кільця, бінарної операції на множині елементів модуля, а також операції, яка приймає елемент кільця і елемент модуля і обертає елемент модуля. Поняття модуля є аналогом поняття представлення для випадку кілець: забування операції множення в кільці зіставляє з модулем над цим кільцем представлення групи. Реальною користю від модулів є те, що вивчення різних модулів над цим кільцем і їх взаємодій дозволяє виявити структуру кільця, яку не видно при розгляді самого кільця. Важливим окремим випадком цієї структури є алгебра. (Слово «алгебра» означає як розділ математики, так і один з об'єктів вивчення в цьому розділі.) Алгебра складається з двох кілець і операції, яка приймає по одному елементу з кожного кільця і повертає елемент другого кільця, перетворюючи друге кільце в модуль над першим. Часто перше кільце є полем.
Такі слова, як «елемент» і «бінарна операція» мають дуже загальний характер, і можуть бути використані в багатьох конкретних і абстрактних ситуаціях. Будь-яка множина предметів, які задовольняють всім аксіомам для однієї (або двох), визначених на ньому операцій, є групою (або кільцем), і підлягає всім теоремам про групи (або кільця). Цілі числа та операції додавання і множення є лише одним з прикладів. Наприклад, елементами можуть бути машинні слова, першою бінарною операцією — «виключальне або», а другою — кон'юнкція. Теореми абстрактної алгебри є потужними, оскільки вони описують багато систем. Талант Нетер полягав у тому, щоб визначити максимальний набір властивостей, які є наслідками цього набору, і назад, визначити мінімальний набір властивостей, які відповідають за конкретні спостереження. На відміну від більшості математиків, Нетер не отримувала абстракції шляхом узагальнення відомих прикладів; швидше, вона працювала безпосередньо з абстракціями. Ван дер Варден згадував у некролозі про неї[96]:
Максиму, за якою йшла Еммі Нетер упродовж своєї роботи, можна сформулювати таким чином: будь-який взаємозв'язок між числами, функціями та операціями стає прозорим, що піддається узагальненню, і продуктивним лише після того, як його відокремлюють від будь-яких конкретних об'єктів і зводять до загальнозначущих понять.
Оригінальний текст (англ.)
[Any relationships between numbers, functions, and operations become transparent, generally applicable, and fully productive only after they have been isolated from their particular objects and been formulated as universally valid concepts.] Помилка: {{Lang}}: не вказано код мови (допомога)
Це чисто концептуальна математика (begriffliche Mathematik), характерна для Нетер. Цей напрямок прийняли й інші математики, особливо ті, хто тоді займався вивченням абстрактної алгебри.
Цілі числа і кільця
Цілі числа утворюють комутативне кільце відносно операцій додавання і множення. Будь-яку пару цілих чисел можна скласти або перемножити, внаслідок чого виходить деяке третє число. Операція додавання є комутативною, тобто для будь-яких елементів a і b в кільці a + b = b + a. Друга операція, множення, також комутативна, але це справедливо не для всіх кілець. Прикладами некомутативних кілець є матриці і кватерніони. Цілі числа не утворюють тіло, тому що операція множення цілих чисел не завжди допускає обертання — наприклад, не існує такого цілого числа a, що 3 × a = 1.
Цілі числа мають додаткові властивості, які не поширюються на всі комутативні кільця. Важливим прикладом є Основна теорема арифметики, яка говорить, що будь-яке додатне ціле число можна розкласти на добуток простих чисел, причому єдиним чином. Таке розкладання не завжди існує для кілець, але Нетер довела теорему про існування та єдність факторизації ідеалів для багатьох кілець, яку тепер називають теоремою Ласкера — Нетер. Значна частина роботи Нетер полягала у визначенні властивостей, справедливих для всіх кілець, у знаходженні аналогів теорем про цілі числа, а також у знаходженні мінімального набору припущень, достатніх для того, щоб вивести з них певні властивості.
Перший період (1908—1919)
Теорія алгебраїчних інваріантів
Таблиця 2 з дисертації Нетер[97] з теорії інваріантів. Ця таблиця включає 202 з 331 інваріанта тернарних біквадратичних форм. Ці форми групуються за двома змінним x та u. У таблиці по горизонталі змінюються значення x, по вертикалі — значення u.
Більша частина роботи Еммі Нетер у перший період її наукової кар'єри була пов'язана з теорією інваріантів, головним чином з теорією алгебраїчних інваріантів. Теорія інваріантів вивчає вирази, які залишаються незмінними (інваріантними) щодо певної групи перетворень. Приклад з повсякденного життя: якщо обертати металеву лінійку, то координати її кінців (x1, y1, z1) і (x2, y2, z2) змінюються, але довжина, яка визначається за формулою L2 = Δx2 + Δy2 + Δz2, залишається незмінною. Теорія інваріантів була активною областю досліджень наприкінці XIX століття, поштовхом до чого став виступ Фелікса Кляйна, так звана Ерлангенська програма, згідно з якою різні геометрії повинні характеризуватися наявними в них інваріантами перетворень, наприклад, такими як подвійне відношення в проєктивній геометрії. Класичним прикладом інваріанта є дискримінантB2 − 4AC бінарної квадратичної форми Ax2 + Bxy + Cy2. Дискримінант називається інваріантом, оскільки він не змінюється при лінійних підстановках x→ax + by , y→cx + dy з визначником ad − bc = 1. Ці підстановки утворюють спеціальну лінійну групу SL2. Більш загально, можна розглядати інваріанти однорідних многочленів A0xry0 + … + Arx0yr вищого ступеню, які є многочленами з коефіцієнтами A0, …, Ar. І ще загальніше, можна розглядати однорідні многочлени з більш ніж двома змінними.
Одне з головних завдань теорії алгебраїчних інваріантів полягало в тому, щоб вирішити «проблему кінцевого базису». Сума або добуток будь-яких двох інваріантів — це інваріант, і в проблемі кінцевого базису питається, чи можна одержати всі інваріанти, починаючи з кінцевого списку інваріантів, які називаються генераторами, за допомогою застосування до них операцій додавання і множення. Наприклад, дискримінант дає кінцевий (складається з одного елемента) базис інваріантів бінарних квадратичних форм. Пауль Гордан, науковий керівник Нетер, був знаний як «король теорії інваріантів», і його головний внесок у математику полягав у розв'язанні проблеми кінцевого базису для інваріантів однорідних многочленів від двох змінних[98][99]. Він довів це, запропонувавши конструктивний спосіб знаходження всіх інваріанти та їх генераторів, але він не міг використовувати цей підхід для інваріанти з трьома або більше змінними. 1890 року Давид Гільберт довів схоже твердження для інваріантів однорідних многочленів від будь-якого числа змінних[100][101]. Крім того, його метод працював не лише для спеціальної лінійної групи, але й для деяких її підгруп, таких як спеціальна ортогональна група[102]. Його перший доказ не давав жодного способу побудови генераторів, але в пізніших роботах він зробив свій метод більш конструктивним. У своїй дисертації Нетер розповсюдила обчислювальний доказ Гордана на однорідні многочлени від трьох і більше змінних. Конструктивний підхід Нетер дозволив вивчати співвідношення між інваріантами. Згодом, коли вона звернулася до більш абстрактних методів, Нетер називала свою дисертацію Mist («мотлох») і Formelngestrüpp («джунглі з рівнянь»).
Теорія Галуа
Теорія Галуа вивчає перетворення числових полів, які переставляють корені деякого рівняння. Розглянемо многочлен від змінної x ступеня n, коефіцієнти якого належать деякому основному полю — наприклад, полю дійсних чисел, раціональних чисел або вирахувань по модулю 7. Може існувати значення змінної х з цього поля, яке обертає многочлен на нуль. Такі значення, якщо вони існують, називаються коренями. Наприклад, многочлен x2 + 1 не має коренів у полі дійсних чисел, оскільки будь-яке значення x робить многочлен більшим або рівним одиниці. Однак, якщо поле розширюється, то будь-який многочлен може почати мати корені, і якщо поле розширене достатньо, то він буде мати n коренів. Продовжуючи попередній приклад, якщо поле розшириться до комплексних чисел, то многочлен набуде два корені, i та −i, де i — уявна одиниця, тобто, i 2 = −1.
Група Галуа многочлена — це сукупність всіх перетворень його поля розкладу, які зберігають основне поле. Група Галуа многочлена x2 + 1 складається з двох елементів: тотожного відображення, яке переводить кожне комплексне число в себе, і комплексного сполучення, яке переводить i в −i. Оскільки група Галуа зберігає основне поле, то коефіцієнти многочлена залишаються без змін, тому і множина його коренів не змінюється. Однак корінь цього многочлена може перейти в інший його корінь, тому перетворення визначає перестановку n коренів між собою. Значущість групи Галуа випливає з основної теореми теорії Галуа, яка говорить, що поля, які лежать між основним полем і полем розкладання, перебувають у взаємно-однозначній відповідності з підгрупами групи Галуа.
1918 року Нетер опублікувала плідну статтю про зворотну задачу теорії Галуа[103]. Замість визначення групи Галуа для цього поля та його розширення, Нетер поставила питання, чи завжди можна знайти таке розширення цього поля, яке має дану групу в якості групи Галуа. Вона показала, що ця проблема зводиться до так званої «проблеми Нетер»: чи вірно, що поле елементів, нерухомих відносно підгрупи G групи Sn, яка діє на поле k(x1, … , xn), завжди є суто трансцендентним розширенням поля k. (Вона вперше каже про цю проблему в статті 1913 року[104], приписуючи її своєму колезі Фішеру.) Нетер показала, що це твердження справедливе для n = 2, 3 або 4. 1969 року Р. Суон знайшов контрприклад до задачі Нетер, у якому n = 47, а G — циклічна група порядку 47[105] (хоча ця група може бути реалізована як група Галуа над полем раціональних чисел іншими способами). Обернена задача теорії Галуа залишається нерозв'язаною[106].
Фізика
Нетер прибула до Геттінгена 1915 року на прохання Давида Гільберта і Фелікса Кляйна, які були зацікавлені одержати знання в області теорії інваріантів, з метою допомогти їм у розумінні загальної теорії відносності — геометричної теорії гравітації, яку розробив здебільшого Альберт Ейнштейн. Гільберт зауважив, що закон збереження енергії, ймовірно, порушується в загальній теорії відносності, у зв'язку з тим, що гравітаційна енергія може сама по собі бути джерелом гравітації. Нетер знайшла розв'язок цього парадоксу, використовуючи першу теорему Нетер, яку вона довела в 1915 році, але не опубліковану до 1918 року[107]. Вона вирішила не тільки цю проблему в загальній теорії відносності, але й визначила величини, що зберігаються, для кожної системи фізичних законів, які мають деяку безперервну симетрію.
Одержавши її роботу, Ейнштейн написав Гільберту:
«Вчора я одержав від Міс Нетер дуже цікаву статтю про інваріанти. Я вражений, що такі речі можна зрозуміти таким загальним чином. Стара гвардія в Геттінгені повинна взяти кілька уроків у Міс Нетер! Вона, здається, знає свою справу Kimberling, 1981, с. 13."
Оригінальний текст (англ.)
["Yesterday I received from Miss Noether a very interesting paper on invariants. I'm impressed that such things can be understood in such a general way. The old guard at Göttingen should take some lessons from Miss Noether! She seems to know her stuff."] Помилка: {{Lang}}: не вказано код мови (допомога)
Для ілюстрації, якщо фізична система веде себе однаково незалежно від того, як вона орієнтована в просторі, то фізичні закони, які керують нею, є симетричними відносно обертань; з цієї симетрії, згідно з теоремою Нетер, слідує, що обертальний момент системи має бути постійним[108]. Фізична система сама по собі не може бути симетричною; зазубрені астероїди, обертаючись у просторі, зберігають кінетичний момент, попри їх асиметрію. Швидше, симетрія фізичних законів, що регулюють систему, відповідає за Закони збереження. Як інший приклад, якщо фізичний експеримент дає один і той самий результат у будь-якому місці і в будь-який час, то його закони симетричні щодо безперервних зсувів у просторі та в часі; за теоремою Нетер з наявності цих симетрій випливають закон збереження імпульсу й енергії в межах цієї системи, відповідно.
Теорема Нетер стала одним з основних інструментів сучасної теоретичної фізики завдяки теоретичному розумінню законів збереження, яке вона дає, а також як практичний інструмент розрахунків[109].
Другий період (1920—1926)
Хоча результати першого періоду роботи Нетер були захопливими, її популярність як математикині спирається більшою мірою на роботу, яку вона зробила під час другого та третього періодів, як відзначали Герман Вейль і Бартель Варден у своїх некрологах про неї.
У цей час вона не просто застосовувала ідеї і методи колишніх математиків, а розробляла нові системи математичних визначень, які знайдуть застосування в майбутньому. Зокрема, вона розробила абсолютно нову теорію ідеалів у кільцях, узагальнивши більш ранню роботу Дедекінда. Вона також славиться розробкою умови обриву зростальних ланцюгів — простої умови скінченності, використовуючи яку вона змогла отримати вагомі результати. Такі умови і теорія ідеалів дозволили Нетер узагальнити багато минулих результатів і поглянути по-новому на старі проблеми, такі як теорія виключення і алгебраїчні многовиди, які вивчав її батько.
Зростальні та спадні ланцюги
У цей період своєї роботи Нетер прославилася своїм спритним використанням умов обриву зростальних і спадних ланцюгів. Послідовність непустих підмножин A1, A2, A3 … множини S, називається зростальною, за умови, що кожна з них є підмножиною наступної
І навпаки, послідовність підмножин S називається спадною, якщо кожна з них містить таку підмножину:
Послідовність стабілізується після кінцевого числа кроків, якщо існує таке n, що для всіх m ≥ n. Сукупність підмножин заданої множини задовольняє умові обриву зростальних ланцюгів, якщо будь-яка зростальна послідовність стає постійною після кінцевого числа кроків. Якщо будь-яка спадна послідовність стає постійною після кінцевого числа кроків, то сукупність підмножин задовольняє умові обриву спадних ланцюгів.
Умови обриву зростальних і спадних ланцюгів є загальними — в тому сенсі, що їх можна застосовувати для багатьох типів математичних об'єктів — і на перший погляд здаються не дуже потужним інструментом. Нетер показала, як можна використовувати такі умови з максимальною користю: наприклад, як використовувати їх, щоб показати, що кожен набір підоб'єктів має максимальний або мінімальний елемент, що складний об'єкт можна побудувати з меншого числа твірних елементів. Ці висновки часто є найважливішими кроками в доказах.
Багато типів об'єктів в абстрактній алгебрі можуть задовольняти умовам обриву ланцюгів, і, як правило, якщо вони задовольняють умові обриву зростальних ланцюгів, то їх називають нетеровими. За визначенням, нетерове кільце задовольняє умові обриву зростальних ланцюгів ідеалів. Нетерова група визначається як група, в якій кожен строго зростальний ланцюг підгруп скінченний. Нетеровий модуль — модуль, у якому кожна зростальна послідовність підмодулів стає постійною після кінцевого числа кроків. Нетеровий простір — топологічний простір, у якому кожна зростальна послідовність відкритих просторів стає постійною після кінцевого числа кроків; це визначення робить спектр нетерового кільця нетеровим топологічним простором.
Умови обриву ланцюгів часто «успадковуються» підоб'єктами. Наприклад, всі підпростори нетерового простору нетерові; всі підгрупи і фактор-групи нетерової групи також нетерові; те саме справджується для підмодулів і фактор-модулівнетерового модуля. Всі фактор-кільця нетерового кільця нетерові, але це не обов'язково справджується для підкілець. Умови обриву ланцюгів також можуть бути успадковані комбінаціями або розширеннями нетерового об'єкта. Наприклад, кінцеві прямі суми нетерових кілець нетерові, як і кільце формальних степеневих рядів над нетеровим кільцем.
Інше застосування умов обриву ланцюгів — нетерова індукція, яка є узагальненням математичної індукції. Нетерову індукцію часто використовують для зведення твердження про сукупність об'єктів до твердження про конкретні об'єкти з цієї сукупності. Припустимо, що S є частково впорядкованою множиною. Одним зі способів доведення твердження про об'єкти з S є припущення про існування контрприкладу та отримання протиріччя. Основною передумовою для нетерової індукції є те, що кожна непорожня підмножина S містить мінімальний елемент; зокрема, множина всіх контрприкладів містить мінімальний елемент. Тоді для того, щоб довести первинне твердження, достатньо довести, що для будь-якого контрприкладу є менший контрприклад.
Комутативні кільця, ідеали та модулі
У статті «Теорія ідеалів у кільцях» 1921 року[110] Нетер розробила основи загальної теорії комутативних кілець і дала одне з перших загальних визначень комутативного кільця. Раніше багато результатів комутативної алгебри обмежувалися окремими прикладами комутативних кілець, такими як кільця многочленів над полем або кільця цілих алгебраїчних чисел. Нетер довела, що в кільці, ідеали якого задовольняють умові обриву зростальних ланцюгів, кожен ідеал кінцево породжений. 1943 року французький математик Клод Шевалле ввів термін «нетерове кільце», щоб описати цю властивість[111]. Головним результатом у статті Нетер 1921 року є теорема Ласкера — Нетер, яка узагальнює теорему Ласкера про приблизне розкладання ідеалів у кільцях многочленів. Теорему Ласкера — Нетер можна розглядати як узагальнення основної теореми арифметики, яка стверджує, що будь-яке ціле позитивне число можна подати у вигляді добутку простих чисел, і що це подання єдине.
Робота Нетер про абстрактну побудову теорії ідеалів у алгебраїчних числових полях (1927 рік)[112] характеризує кільця, в яких ідеали мають однозначне розкладання на прості ідеали, як дедекіндові кільця — нетерові цілозамкнуті кільця розмірності 0 або 1. Ця стаття також містить те, що нині називають теоремами про ізоморфізми, які описують деякі фундаментальні натуральні ізоморфізми, а також деякі інші результати для нетерових і артінових модулів.
Теорія виключення
У 1923—1924 року Нетер застосувала свою теорію ідеалів до теорії виключення — у формулюванні, яке вона приписала своєму студентові, Куртові Хенцельту — показавши, що фундаментальні теореми про розкладання многочленів можна узагальнити безпосередньо. Традиційно, теорія виключення розглядає виключення однієї або більшої кількості змінних з системи поліноміальних рівнянь, зазвичай методом результантів. Для ілюстрації, систему рівнянь часто можна записати у вигляді «добутку матриціM (яка не містить змінної x) на вектор-стовпець v (компоненти якого залежать від x) дорівнює нульовому вектору». Отже, визначник матриці M має бути нулем, що дозволяє отримати нове рівняння, яке не залежить від змінної x.
Теорія інваріантів кінцевих груп
Методи Гільберта були неконструктивним розв'язком проблеми скінченного базису і їх не можна було використати, щоб отримати кількісну інформацію про алгебраїчні інваріанти, і, до того ж, вони були застосовні не до всіх дій груп. У своїй статті 1915 року[113] Нетер знайшла розв'язок проблеми кінцевого базису для кінцевої групи G, яка діє на скінченновимірному векторному просторі над полем нульової характеристики. Її розв'язок показує, що кільце інваріантів породжується однорідними інваріантами, степені яких не перевищують порядок групи; це називається межею Нетер. У своїй статті вона наводить два доведення існування межі Нетер, обидва вони також працюють у тому разі, коли характеристика основного поля взаємно проста з |G|! (факторіаломпорядку групиG). Кількість генераторів не обов'язково оцінюється порядком групи в разі, якщо характеристика поля ділить |G|[114], але Нетер не змогла визначити, чи застосовна ця оцінка у разі, коли характеристика поля ділить |G|!, але не |G|. 2000 року Мартін Флейшман, а 2001 року — Браян Фогарті довели, що межа Нетер є і в цьому випадку[115][116].
У своїй роботі 1926 року[117] Еммі Нетер поширила теорему Гільберта на випадок, коли характеристика поля ділить порядок групи. Цю теорему згодом поширили на випадок довільної редуктивної групи з доказом Вільяма Габоша[en] гіпотези Мамфорда[118]. У цій роботі Нетер також довела лему Нетер про нормалізацію, яка стверджує, що кінцево породжена область цілісності A над полем k містить набір алгебраїчно незалежних елементів x1, …, x1, … , xn, таких, що A є цілою над k[x1, … , xn].
Внесок у топологію
Безперервна деформація кружки в пончик (тор) і назад.
Герман Вейль та П. С. Александров у некрологах відзначають, що внесок Нетер у топологію ілюструє ту щедрість, з якою вона ділилася ідеями, а також те, як її здогади могли перетворювати цілі галузі математики. У топології математики вивчають властивості об'єктів, що залишаються незмінними при деформації, як, наприклад, зв'язність простору. Жартома кажуть, що тополог не може відрізнити пончик від кружки, оскільки їх можна безперервно продеформувати один в одного.
Еммі Нетер приписують авторство фундаментальних ідей, які сприяли розвиткові алгебраїчної топології, а саме, ідеї груп гомологій[119]. Влітку 1926 та 1927 року Нетер слухала топологічні курси Гопфа та Александрова, де вона постійно робила зауваження, часто глибокі й тонкі[120]. Александров писав:
Коли вона вперше познайомилася на наших лекціях з систематичною побудовою комбінаторної топології, вона одразу ж помітила, що доцільно розглядати безпосередньо групи алгебраїчних комплексів і циклів цього поліедра, а групі циклів - підгрупу циклів, гомологічних нулю; замість звичайного визначення чисел Бетті вона запропонувала відразу ж визначити групу Бетті як додаткову групу (фактор-группу) групи всіх циклів за підгрупою циклів, гомологічних до нуля. Це зауваження здається тепер цілком очевидним. Але в ті роки (1925-28), це був абсолютно новий погляд [...][121]
Оригінальний текст (рос.)
[Когда она впервые познакомилась на наших лекциях с систематическим построением комбинаторной топологии, она сейчас же заметила, что целесообразно рассматривать непосредственно группы алгебраических комплексов и циклов данного полиедра, а группе циклов — подгруппу циклов, гомологичных нулю; вместо обычного определения чисел Бетти она предложила сразу же определить группу Бетти как дополнительную группу (факторгруппу) группы всех циклов по подгруппе циклов, гомологичных нулю. Это замечание кажется теперь само собой разумеющимся. Но в те годы (1925-28), это была совершенно новая точка зрения […]] Помилка: {{Lang}}: текст вже має курсивний шрифт (допомога)
— П. С. Александров
Пропозицію Нетер, що топологію потрібно вивчати алгебраїчними методами, негайно прийняли Гопф, Александров та інші математики[121], і вона стала частою темою обговорення серед математиків Геттінгена. Нетер помітила, що систематичне використання поняття групи Бетті робить доказ загальної формули Ейлера — Пуанкаре простим і прозорим, і робота Гопфа на цю тему[122] «носить на собі печатку цих зауважень Еммі Нетер»[123].
Гельмут Гассе, співрозробник теорії центральних простих алгебр
Третій період (1927—1935)
Гіперкомплексні числа і теорія представлень
Велика робота в області гіперкомплексних чисел і представлень груп була зроблена в XIX і на початку XX століть, але залишалася різнорідною. Нетер об'єднала всі ці результати і створила першу загальну теорію представлень груп та алгебр[124]. Коротко, Нетер об'єднала структурну теорію асоціативних алгебр і теорію представлень груп в одній арифметичній теорії модулів та ідеалів у кільцях, які задовольняють умові обриву зростальних ланцюгів. Ця робота Нетер мала принципове значення для розвитку сучасної алгебри[125].
Некомутативна алгебра
Еммі Нетер разом з Емілем Артіном, Річардом Брауером і Гельмутом Гассе створила теорію центральних простих алгебр[126].
У своїй статті Нетер, Гассе і Брауер розглядали алгебри з діленням[127]. Вони довели дві важливі теореми: теорема про те, що якщо кінцева центральна алгебра з діленням над числовим полем розщеплюється на місцях усюди, то вона розщеплюється глобально (і тому тривіальна), «основну теорему», яка виходить з неї: кожна кінцевовимірна центральна алгебра з діленням над полем алгебраїчних чиселF розщеплюється над циклічним круговим розширенням. Ці теореми дозволяють класифікувати всі скінченновимірні алгебри з діленням над заданим числовим полем.
Оцінка та визнання
Еммі Нетер-кампус в університеті Зігена — місце математичних і фізичних відомств.
Праці Нетер, як і раніше, актуальні для розвитку теоретичної фізики і математики. Вона є однією з найвидатніших математиків ХХ століття. У некролозі голландський математик Бартель ван дер Варден написав, що математична своєрідність Нетер була «абсолютно поза конкуренцією»[128], а Герман Вейль казав, що Нетер «змінила вигляд алгебри своєю роботою»[129]. За життя і досі багато хто вважає Нетер найвизначнішою жінкою-математиком в історії[130][11], серед них Павло Александров[131], Герман Вейль[132] і Жан Д'єдонне[95].
2 січня 1935 року, за кілька місяців до її смерті, математик Норберт Вінер писав[133]:
Міс Нетер - це [...] найвизначніша жінка-математик в історії [...] і науковиця, яка перебуває принаймні на одному рівні з мадам Кюрі.
Оригінальний текст (англ.)
Miss Noether is... the greatest woman mathematician who has ever lived; and the greatest woman scientist of any sort now living, and a scholar at least on the plane of Madame Curie.
На Всесвітній виставці 1964 року, присвяченій сучасній математиці, Нетер була єдиною представницею жінок серед значущих математиків сучасного світу[134].
Нетер була удостоєна декількох меморіалів:
Асоціація математикинь проводить лекцію імені Нетер на честь жінок в математиці кожного року; Асоціація характеризує Нетер як «одного зі славетних математиків свого часу; Нетер працювала і боролася за те, що вона любила і у що вірила»[135].
Математичний та фізичний департаменти університету Зігена розташовані в «кампусі імені Еммі Нетер»[136].
Німецький дослідницький фонд «Німецьке дослідницьке співтовариство» заснував стипендію імені Еммі Нетер, яка забезпечує фінансування перспективних молодих вчених для їхніх подальших науково-дослідних і навчальних практик[137].
Середню школу в Ерланген перейменували в «Школу імені Еммі Нетер».
Інститут теоретичної фізики (Канада) щорічно нагороджує премією Еммі Нетер видатних[138] жінок — фізиків-теоретиків. Територія інституту є домом для Ради Еммі Нетер[138].
↑Duchin, Moon (December 2004), The Sexual Politics of Genius(PDF), University of Chicago, архів оригіналу(PDF) за 18 липня 2011, процитовано 23 March 2011 (Noether's birthday).
——— (1913), Rationale Funktionenkörper [Rational Function Fields], J. Ber. D. DMV (German) , DE: Uni Göttingen, 22: 316—19, архів оригіналу за 8 березня 2013, процитовано 18 листопада 2017.
——— (1918b), Invariante Variationsprobleme [Invariant Variation Problems], Nachr. D. König. Gesellsch. D. Wiss. (German) , Göttingen: Math-phys. Klasse, 1918: 235—257. English translation by M. A. Tavel (1918), arXiv:physics/0503066.
——— (1924), Eliminationstheorie und Idealtheorie, Jahresbericht der Deutschen Mathematiker-Vereinigung (German) , DE: Uni Göttingen, 33: 116—20, архів оригіналу за 8 березня 2013, процитовано 18 листопада 2017.
——— (1926b), Ableitung der Elementarteilertheorie aus der Gruppentheorie [Derivation of the Theory of Elementary Divisor from Group Theory], Jahresbericht der Deutschen Mathematiker-Vereinigung (German) , DE: Digizeitschriften, 34 (Abt. 2): 104, архів оригіналу за 8 березня 2013, процитовано 18 листопада 2017.
——— (1983), Jacobson, Nathan (ред.), Gesammelte Abhandlungen [Collected papers] (German) , Berlin, New York: Springer-Verlag, с. viii, 777, ISBN3-540-11504-8, MR0703862.
Додаткові джерела
Александров П. С.Памяти Эмми Нётер // УМН. — 1936. — Вип. 2. — С. 255–265.
Dick, Auguste (1981), Emmy Noether: 1882–1935, Boston: Birkhäuser, ISBN3-7643-3019-8. Trans. H. I. Blocher.
Kimberling, Clark (1981), Emmy Noether and Her Influence, у Brewer, James W; Smith, Martha K (ред.), Emmy Noether: A Tribute to Her Life and Work, New York: Marcel Dekker, с. 3—61, ISBN0-8247-1550-0.
Fleischmann, Peter (2000), The Noether bound in invariant theory of finite groups, Advances in Mathematics, 156 (1): 23—32, doi:10.1006/aima.2000.1952, MR1800251.
Gilmer, Robert (1981), Commutative Ring Theory, у Brewer, James W; Smith, Martha K (ред.), Emmy Noether: A Tribute to Her Life and Work, New York: Marcel Dekker, с. 131—43, ISBN0-8247-1550-0.
Mac Lane, Saunders (1981), Mathematics at the University of Göttingen 1831–1933, у Brewer, James W; Smith, Martha K (ред.), Emmy Noether: A Tribute to Her Life and Work, New York: Marcel Dekker, с. 65—78, ISBN0-8247-1550-0.
Taussky, Olga (1981), My Personal Recollections of Emmy Noether, у Brewer, James W; Smith, Martha K (ред.), Emmy Noether: A Tribute to Her Life and Work, New York: Marcel Dekker, с. 79—92, ISBN0-8247-1550-0.
——— (1985), A History of Algebra: from al-Khwārizmī to Emmy Noether, Berlin: Springer-Verlag, ISBN0-387-13610-X.
Weyl, Hermann (1935), Emmy Noether, Scripta Mathematica, 3 (3): 201—220, reprinted as an appendix to Dick, (1981).
Докторська дисертація Нетер (1908) — неопублікована[недоступне посилання з квітня 2019] і опублікована[недоступне посилання з квітня 2019] редакції (нім.).
.svg){kind=small}
