Абстрактная алгебра

Отделение математики

Перестановки кубика Рубика образуют группу — фундаментальное понятие абстрактной алгебры.

В математике , точнее, в алгебре , абстрактной алгебре или современной алгебре, изучаются алгебраические структуры . ^[1] Алгебраические структуры включают группы , кольца , поля , модули , векторные пространства , решетки и алгебры над полем . Термин «абстрактная алгебра» был придуман в начале 20-го века, чтобы отличить его от старых частей алгебры, а точнее от элементарной алгебры , использования переменных для представления чисел в вычислениях и рассуждениях. Абстрактная точка зрения на алгебру стала настолько фундаментальной для высшей математики, что ее называют просто «алгеброй», тогда как термин «абстрактная алгебра» используется редко, за исключением педагогики .

Алгебраические структуры и связанные с ними гомоморфизмы образуют математические категории . Теория категорий дает единую основу для изучения свойств и конструкций, схожих для различных структур.

Универсальная алгебра — смежный предмет, изучающий типы алгебраических структур как отдельные объекты. Например, структура групп — это единый объект универсальной алгебры, который называется многообразием групп .

История

До девятнадцатого века алгебра определялась как изучение многочленов . ^[2] Абстрактная алгебра возникла в девятнадцатом веке по мере развития более сложных проблем и методов решения. Конкретные задачи и примеры взяты из теории чисел, геометрии, анализа и решения алгебраических уравнений . Большинство теорий, которые сейчас признаны частью абстрактной алгебры, начинались как совокупность разрозненных фактов из различных разделов математики, приобретали общую тему, служившую ядром, вокруг которого группировались различные результаты, и, наконец, стали едиными на основе общего набора. концепций. Это объединение произошло в первые десятилетия 20-го века и привело к формальным аксиоматическим определениям различных алгебраических структур , таких как группы, кольца и поля. ^[3] Это историческое развитие почти противоположно трактовке, встречающейся в популярных учебниках, таких как « Современная алгебра» Ван дер Вардена , ^[4] в которых каждая глава начинается с формального определения структуры, а затем следуют конкретные примеры. ^[5]

Элементарная алгебра

Изучение полиномиальных уравнений или алгебраических уравнений имеет долгую историю. в.  В 1700 году до нашей эры вавилоняне умели решать квадратные уравнения в виде текстовых задач. Этот этап словесной задачи классифицируется как риторическая алгебра и был доминирующим подходом до 16 века. Аль-Хорезми придумал слово «алгебра» в 830 году нашей эры, но его работы были полностью риторической алгеброй. Полностью символическая алгебра не появлялась до « Новой алгебры» Франсуа Вьета 1591 года , и даже в ней были некоторые прописанные слова, которым были даны символы в « Геометрии» Декарта 1637 года . ^[6] Формальное изучение решения символических уравнений привело Леонарда Эйлера в конце 18 века к принятию того, что тогда считалось «бессмысленными» корнями, такими как отрицательные числа и мнимые числа . ^[7] Однако европейские математики, по большей части, сопротивлялись этим концепциям вплоть до середины XIX века. ^[8]

«Трактат по алгебре» Джорджа Пикока 1830 года был первой попыткой поставить алгебру на строго символическую основу. Он выделил новую символическую алгебру , отличную от старой арифметической алгебры . В то время как в арифметической алгебре ограничивается , в символической алгебре все правила операций выполняются без ограничений. Используя этот Павлин , можно было бы показать такие законы , как , впустив . Пикок использовал то, что он назвал принципом постоянства эквивалентных форм , чтобы обосновать свой аргумент, но его рассуждения страдали от проблемы индукции . ^[9] Например, это справедливо для неотрицательных действительных чисел , но не для общих комплексных чисел . ${\displaystyle a-b}$ ${\displaystyle a\geq b}$ ${\displaystyle (-a)(-b)=ab}$ ${\displaystyle a=0,c=0}$ ${\displaystyle (a-b)(c-d)=ac+bd-ad-bc}$ ${\displaystyle {\sqrt {a}}{\sqrt {b}}={\sqrt {ab}}}$

Ранняя теория групп

Несколько областей математики привели к изучению групп. Исследование Лагранжем в 1770 году решений уравнения пятой степени привело к созданию группы Галуа многочлена . Исследование Гауссом малой теоремы Ферма в 1801 году привело к кольцу целых чисел по модулю n , мультипликативной группе целых чисел по модулю n и к более общим понятиям циклических групп и абелевых групп . Программа Кляйна в Эрлангене 1872 года изучала геометрию и привела к таким группам симметрии , как евклидова группа и группа проективных преобразований . В 1874 году Ли представил теорию групп Ли , стремясь к «теории Галуа дифференциальных уравнений». В 1876 году Пуанкаре и Кляйн ввели группу преобразований Мёбиуса и ее подгруппы, такие как модулярная группа и фуксова группа , на основе работ по автоморфным функциям в анализе. ^[10]

Абстрактное понятие группы медленно возникло в середине девятнадцатого века. Галуа в 1832 году был первым, кто использовал термин «группа», ^[11] обозначающий совокупность перестановок, замкнутых относительно композиции. ^[12] В статье Артура Кэли 1854 года «Теория групп» группа определялась как множество с ассоциативной операцией композиции и тождеством 1, сегодня называемое моноидом . ^[13] В 1870 году Кронекер определил абстрактную бинарную операцию, которая была замкнутой, коммутативной, ассоциативной и имела свойство левого сокращения , ^[14] аналогично современным законам для конечной абелевой группы . ^[15] Определение группы, данное Вебером в 1882 году, представляло собой закрытую бинарную операцию, которая была ассоциативной и имела левое и правое сокращение. ^[16] Вальтер фон Дейк в 1882 году был первым, кто потребовал обратные элементы как часть определения группы. ^[17] ${\displaystyle b\neq c\to a\cdot b\neq a\cdot c}$

Как только появилась эта абстрактная концепция группы, результаты были переформулированы в этой абстрактной обстановке. Например, теорема Силова была опровергнута Фробениусом в 1887 году непосредственно на основе законов конечной группы, хотя Фробениус заметил, что эта теорема следует из теоремы Коши о группах подстановок и того факта, что каждая конечная группа является подгруппой группы подстановок. ^{[18] [19]} Отто Гёльдер был особенно плодовитым в этой области, определив факторгруппы в 1889 году, групповые автоморфизмы в 1893 году, а также простые группы. Он также завершил теорему Джордана-Гёльдера . Дедекинд и Миллер независимо охарактеризовали гамильтоновы группы и ввели понятие коммутатора двух элементов. Бернсайд, Фробениус и Молиен создали теорию представлений конечных групп в конце девятнадцатого века. ^[18] В монографии Ж. А. де Сегье 1905 года « Элементы теории абстрактных групп» многие из этих результатов представлены в абстрактной, общей форме, относя «конкретные» группы в приложение, хотя оно и ограничивалось конечными группами. Первой монографией как о конечных, так и о бесконечных абстрактных группах была « Абстрактная теория групп» О. К. Шмидта 1916 года . ^[20]

Ранняя теория колец

Некоммутативная теория колец началась с расширения комплексных чисел до гиперкомплексных чисел , в частности, кватернионов Уильяма Роуэна Гамильтона в 1843 году. Вскоре последовали многие другие системы счисления. В 1844 году Гамильтон представил бикватернионы , Кэли ввёл октонионы , а Грассман ввёл внешние алгебры . ^[21] Джеймс Кокл представил тессарины в 1848 году ^[22] и кокватернионы в 1849 году. ^[23] Уильям Кингдон Клиффорд представил расщепленные бикватернионы в 1873 году. Кроме того, Кэли представил групповые алгебры над действительными и комплексными числами в 1854 году и квадратные матрицы в двух статьях. 1855 и 1858 гг. ^[24]

Раз уж примеров было достаточно, оставалось их классифицировать. В монографии 1870 года Бенджамин Пирс классифицировал более 150 гиперкомплексных систем счисления размерности ниже 6 и дал явное определение ассоциативной алгебры . Он определил нильпотентные и идемпотентные элементы и доказал, что любая алгебра содержит тот или иной элемент. Он также определил разложение Пирса . Фробениус в 1878 году и Чарльз Сандерс Пирс в 1881 году независимо друг от друга доказали, что единственными конечномерными алгебрами с делением являются действительные числа, комплексные числа и кватернионы. В 1880-х годах Киллинг и Картан показали, что полупростые алгебры Ли можно разложить на простые, и классифицировали все простые алгебры Ли. Вдохновленные этим, в 1890-х годах Картан, Фробениус и Молиен доказали (независимо), что конечномерная ассоциативная алгебра над или однозначно разлагается в прямые суммы нильпотентной алгебры и полупростой алгебры, которая является произведением некоторого числа простых алгебр. , квадратные матрицы над алгебрами с делением. Картан был первым, кто определил такие понятия, как прямая сумма и простая алгебра, и эти концепции оказались весьма влиятельными. В 1907 году Веддерберн распространил результаты Картана на произвольное поле в том, что сейчас называется основной теоремой Веддерберна и теоремой Артина-Веддерберна . ^[25] ${\displaystyle \mathbb {R} }$ ${\displaystyle \mathbb {R} }$ ${\displaystyle \mathbb {C} }$

Что касается коммутативных колец, несколько областей вместе привели к созданию теории коммутативных колец. ^[26] В двух статьях в 1828 и 1832 годах Гаусс сформулировал гауссовы целые числа и показал, что они образуют уникальную область факторизации (UFD), и доказал биквадратичный закон взаимности . Якоби и Эйзенштейн примерно в то же время доказали кубический закон взаимности для целых чисел Эйзенштейна . ^[25] Изучение последней теоремы Ферма привело к созданию целых алгебраических чисел . В 1847 году Габриэль Ламе думал, что он доказал FLT, но его доказательство было ошибочным, поскольку он предполагал, что все круговые поля были UFD, но, как указал Куммер, не были UFD. ^[27] В 1846 и 1847 годах Куммер ввел идеальные числа и доказал уникальную факторизацию в идеальные простые числа для круговых полей. ^[28] Дедекинд расширил это в 1871 году, чтобы показать, что каждый ненулевой идеал в области целых чисел поля алгебраических чисел является уникальным произведением простых идеалов , предшественник теории областей Дедекинда . В целом, работа Дедекинда создала предмет алгебраической теории чисел . ^[29] ${\displaystyle \mathbb {Q} (\zeta _{23}))}$

В 1850-х годах Риман ввёл фундаментальное понятие римановой поверхности . Методы Римана основывались на предположении, которое он назвал принципом Дирихле ^[30] , которое в 1870 году было подвергнуто сомнению Вейерштрассом. Намного позже, в 1900 году, Гильберт обосновал подход Римана, разработав прямой метод вариационного исчисления . ^[31] В 1860-1870-х годах Клебш, Гордан, Брилл и особенно М. Нётер изучали алгебраические функции и кривые. В частности, Нётер изучала, какие условия необходимы для того, чтобы многочлен был элементом идеала, порождённого двумя алгебраическими кривыми в кольце многочленов , хотя Нётер не использовала этот современный язык. В 1882 году Дедекинд и Вебер, по аналогии с более ранними работами Дедекинда по теории алгебраических чисел, создали теорию полей алгебраических функций , которая позволила дать первое строгое определение римановой поверхности и строгое доказательство теоремы Римана-Роха . Кронекер в 1880-х годах, Гильберт в 1890 году, Ласкер в 1905 году и Маколи в 1913 году продолжили исследование идеалов колец многочленов, неявно заложенных в работах Э. Нётер . Ласкер доказал частный случай теоремы Ласкера-Нётер , а именно, что каждый идеал в кольце многочленов является конечным пересечением первичных идеалов . Маколей доказал единственность этого разложения. ^[32] В целом эта работа привела к развитию алгебраической геометрии . ^[26] ${\displaystyle \mathbb {R} [x,y]}$

В 1801 году Гаусс ввёл двоичные квадратичные формы над целыми числами и определил их эквивалентность . Далее он определил дискриминант этих форм, который является инвариантом двоичной формы . Между 1860-ми и 1890-ми годами теория инвариантов развивалась и стала основной областью алгебры. Кэли, Сильвестр, Гордан и другие нашли якобиан и гессиан для бинарных форм четвертой степени и кубических форм. ^[33] В 1868 году Гордан доказал, что градуированная алгебра инвариантов бинарной формы над комплексными числами конечно порождена, т. е. имеет базис. ^[34] Гильберт написал диссертацию по инвариантам в 1885 году, а в 1890 году показал, что любая форма любой степени или числа переменных имеет основу. В 1890 году он расширил это до базовой теоремы Гильберта . ^[35]

После того как эти теории были разработаны, прошло еще несколько десятилетий, прежде чем появилась абстрактная концепция кольца. Первое аксиоматическое определение было дано Абрахамом Френкелем в 1914 году. ^[35] Его определение состояло в основном из стандартных аксиом: множество с двумя операциями сложения, которое образует группу (не обязательно коммутативную), и умножения, которое является ассоциативным, распределяет по сложению. и имеет элемент идентификации. ^[36] Кроме того, у него были две аксиомы о «регулярных элементах», вдохновленные работой над p-адическими числами , которые исключали теперь распространенные кольца, такие как кольцо целых чисел. Это позволило Френкелю доказать, что сложение коммутативно. ^[37] Работа Френкеля была направлена ​​на перенос определения полей Стейница 1910 года на кольца, но она не была связана с существующими работами по конкретным системам. Определение Масазо Соно 1917 года было первым эквивалентом нынешнего. ^[38]

В 1920 году Эмми Нётер в сотрудничестве с В. Шмейдлером опубликовала работу о теории идеалов , в которой определили левый и правый идеалы в кольце . В следующем году она опубликовала знаковую статью под названием Idealtheorie in Ringbereichen ( «Идеальная теория в кольцах» ), в которой анализировались условия восходящей цепи с учетом (математических) идеалов. Публикация породила термин « нётерово кольцо », а также несколько других математических объектов, названных нётеровскими . ^{[39] [40]} Известный алгебраист Ирвинг Каплански назвал эту работу «революционной»; ^{В [39]} было показано, что результаты, которые, казалось, неразрывно связаны со свойствами колец многочленов, следуют из одной аксиомы. ^[41] Артин, вдохновленный работой Нётер, придумал условие нисходящей цепи . Эти определения ознаменовали рождение абстрактной теории колец. ^[42]

Ранняя теория поля

В 1801 году Гаусс ввёл целые числа по модулю p , где p — простое число. Галуа распространил это в 1830 году на конечные поля с элементами. ^[43] В 1871 году Рихард Дедекинд ввёл для набора действительных или комплексных чисел, замкнутых при четырёх арифметических операциях, ^[44] немецкое слово Körper , которое означает «тело» или «корпус» (что означает органически замкнутую сущность). ). Английский термин «поле» был введен Муром в 1893 году. ^[45] В 1881 году Леопольд Кронекер определил то, что он назвал областью рациональности , которая в современных терминах представляет собой поле рациональных дробей . ^[46] Первое четкое определение абстрактного поля было дано Генрихом Мартином Вебером в 1893 году. В нем отсутствовал ассоциативный закон умножения, но оно охватывало конечные поля, а также поля теории алгебраических чисел и алгебраической геометрии. ^[47] В 1910 году Стейниц синтезировал накопленные к настоящему времени знания абстрактной теории поля. Он дал аксиоматическое определение полям в современном понимании, классифицировал их по характеристикам и доказал множество широко известных сегодня теорем. ^[48] ${\displaystyle p^{n}}$

Другие основные направления

• Решение систем линейных уравнений , приведшее к линейной алгебре ^[49]

Современная алгебра

В конце XIX — начале XX века произошел сдвиг в методологии математики. Абстрактная алгебра возникла примерно в начале 20 века под названием « современная алгебра» . Его изучение было частью стремления к большей интеллектуальной строгости в математике. Первоначально предположения в классической алгебре , от которых зависит вся математика (и основные части естественных наук ), приняли форму аксиоматических систем . Не довольствуясь установлением свойств конкретных объектов, математики начали обращать внимание на общую теорию. Формальные определения некоторых алгебраических структур начали появляться в 19 веке. Например, результаты о различных группах перестановок стали рассматриваться как примеры общих теорем, касающихся общего понятия абстрактной группы . На первый план вышли вопросы строения и классификации различных математических объектов. ^{[ нужна цитата ]}

Эти процессы происходили во всей математике, но особенно ярко проявились в алгебре. Формальное определение посредством примитивных операций и аксиом было предложено для многих основных алгебраических структур, таких как группы , кольца и поля . Следовательно, такие понятия, как теория групп и теория колец, заняли свое место в чистой математике . Алгебраические исследования общих полей Эрнста Стейница и коммутативных, а затем общих колец Давида Гильберта , Эмиля Артина и Эмми Нётер , основанные на работах Эрнста Куммера , Леопольда Кронекера и Рихарда Дедекинда , которые рассматривали идеалы в коммутативных кольцах, и Георг Фробениус и Иссаи Шур , занимаясь теорией представлений групп, пришли к определению абстрактной алгебры. Эти разработки последней четверти XIX и первой четверти XX веков были систематически изложены в « Современной алгебре » Бартеля ван дер Вардена , двухтомной монографии , опубликованной в 1930–1931 годах, которая переориентировала идею алгебры из теории алгебры. уравнения к теории алгебраических структур . ^{[ нужна цитата ]}

Базовые концепты

Абстрагируя различное количество деталей, математики определили различные алгебраические структуры, которые используются во многих областях математики. Например, почти все изучаемые системы представляют собой множества , к которым применимы теоремы теории множеств . Те множества, над которыми определена определенная бинарная операция, образуют магмы , к которым применимы понятия, касающиеся магм, а также понятия, касающиеся множеств. Мы можем добавить дополнительные ограничения на алгебраическую структуру, такие как ассоциативность (для формирования полугрупп ); тождество и инверсия (для образования групп ); и другие более сложные конструкции. При наличии дополнительной структуры можно было бы доказать больше теорем, но общность снизится. «Иерархия» алгебраических объектов (с точки зрения общности) создает иерархию соответствующих теорий: например, теоремы теории групп могут быть использованы при изучении колец (алгебраических объектов, имеющих две бинарные операции с определенными аксиомами), поскольку кольцо представляет собой группу над одной из своих операций. В целом существует баланс между степенью общности и богатством теории: более общие структуры обычно имеют меньше нетривиальных теорем и меньше приложений. ^{[ нужна цитата ]}

Алгебраические структуры между магмами и группами . Например, моноиды — это полугруппы с единицей.

Примеры алгебраических структур с одной бинарной операцией :

• Магма
• Квазигруппа
• Моноид
• Полугруппа
• Группа

Примеры, включающие несколько операций, включают:

• Кольцо
• Поле
• Модуль
• Векторное пространство
• Алгебра над полем
• Ассоциативная алгебра
• Алгебра Ли
• Решетка
• Булева алгебра

Разделы абстрактной алгебры

Теория групп

Группа — это набор вместе с «групповым произведением», бинарной операцией . Группа удовлетворяет следующим определяющим аксиомам (см. Группа (математика) § Определение ): ${\displaystyle G}$ ${\displaystyle \cdot :G\times G\rightarrow G}$

Идентичность : существует такой элемент, что для каждого элемента в он содержит это . ${\displaystyle e}$ ${\displaystyle a}$ ${\displaystyle G}$ ${\displaystyle e\cdot a=a\cdot e=a}$

Обратное : для каждого элемента существует такой элемент , что . ${\displaystyle a}$ ${\displaystyle G}$ ${\displaystyle b}$ ${\displaystyle a\cdot b=b\cdot a=e}$

Ассоциативность : для каждой тройки элементов в выполняется это . ${\displaystyle a,b,c}$ ${\displaystyle G}$ ${\displaystyle (a\cdot b)\cdot c=a\cdot (b\cdot c)}$

Теория колец

Кольцо — это набор с двумя двоичными операциями : сложением и умножением, удовлетворяющим следующим аксиомам . ${\displaystyle R}$ ${\displaystyle (x,y)\mapsto x+y,}$ ${\displaystyle (x,y)\mapsto xy}$

• ${\displaystyle R}$является коммутативной группой по сложению.
• ${\displaystyle R}$является моноидом при умножении.
• Умножение распределительно по отношению к сложению.

Приложения

Из-за своей общности абстрактная алгебра используется во многих областях математики и естественных наук. Например, алгебраическая топология использует алгебраические объекты для изучения топологий. Гипотеза Пуанкаре , доказанная в 2003 году, утверждает, что фундаментальная группа многообразия, которая кодирует информацию о связности, может использоваться для определения того, является ли многообразие сферой или нет. Алгебраическая теория чисел изучает различные числовые кольца , обобщающие множество целых чисел. Используя инструменты алгебраической теории чисел, Эндрю Уайлс доказал Великую теорему Ферма . ^{[ нужна цитата ]}

В физике группы используются для представления операций симметрии, а использование теории групп может упростить дифференциальные уравнения. В калибровочной теории требование локальной симметрии можно использовать для вывода уравнений, описывающих систему. Группы, описывающие эти симметрии, являются группами Ли , и изучение групп Ли и алгебр Ли многое говорит о физической системе; например, число носителей силы в теории равно размерности алгебры Ли, и эти бозоны взаимодействуют с силой, которую они опосредуют, если алгебра Ли неабелева. ^[50]

Смотрите также

• Математический портал

• Теория кодирования
• Теория групп
• Список публикаций по абстрактной алгебре

Рекомендации

1. Финстон, Дэвид Р.; Моранди, Патрик Дж. (29 августа 2014 г.). Абстрактная алгебра: структура и применение. Спрингер. п. 58. ИСБН 978-3-319-04498-9. Большая часть нашего изучения абстрактной алгебры включает анализ структур и их операций.
2. Кляйнер 2007, с. 1.
3. Кляйнер 2007, стр. xi-xii.
4. ван дер Варден, Бартель Леендерт (1949). Современная алгебра. Том I. Перевод Блюма, Фред. Нью-Йорк, штат Нью-Йорк: Издательство Frederick Ungar Publishing Co., MR  0029363.
5. Кляйнер 2007, с. 41.
6. Кляйнер 2007, стр. 1–13.
7. Эйлер, Леонард (1748). Introductio in Analysin Infinitorum [ Введение в анализ бесконечного ] (на латыни). Том. 1. Люцерн, Швейцария: Marc Michel Bosquet & Co., с. 104.
8. Мартинес, Альберто (2014). Негативная математика . Издательство Принстонского университета. стр. 80–109.
9. Кляйнер 2007, стр. 13–14.
10. Кляйнер 2007, стр. 17–22.
11. О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Понятие абстрактной группы», Архив истории математики MacTutor , Университет Сент-Эндрюс
12. Кляйнер 2007, с. 23.
13. Кэли, А. (1854). «К теории групп в зависимости от символического уравнения θn = 1». Философский журнал . 4-я серия. 7 (42): 40–47. дои : 10.1080/14786445408647421.
14. Кронекер, Леопольд (1895). «Auseinandeesetzung einiger eigenschaften der klassenanzahl Idealer Complexer Zahlen» [Изложение некоторых свойств числа классов идеальных комплексных чисел]. В Хенселе, Курт (ред.). Работа Леопольда Кронекера: Herausgegeben auf veranlassung der Königlich preussischen akademie der wissenschaften. Лейпциг; Берлин: Б. Г. Тойбнер. п. 275.
15. Кляйнер 2007, с. 27.
16. Кляйнер 2007, с. 32.
17. Кляйнер 2007, с. 33.
18. Кляйнер 2007, с. 34.
19. Фробениус, Г. (апрель 2008 г.) [1887]. Перевод Гутфрайнд, Саша. «Neuer Beweis des Sylowschen Satzes» [Новое доказательство теоремы Силова] (PDF) . Журнал für die reine und angewandte Mathematik (на немецком языке). 1887 (100): 179–181. дои : 10.1515/crll.1887.100.179. S2CID  117970003.
20. Кляйнер 2007, с. 35.
21. Кляйнер 2007, стр. 42–43.
22. Кокл, Джеймс (1848). «О некоторых функциях, напоминающих кватернионы, и о новом воображении в алгебре». Лондонский, Эдинбургский и Дублинский философский журнал и научный журнал . Тейлор и Фрэнсис. 33 : 435–9. дои : 10.1080/14786444808646139.
23. Кокл, Джеймс (1849). «О системах алгебры, включающих более одного воображаемого». Лондонский, Эдинбургский и Дублинский философский журнал и научный журнал . Тейлор и Фрэнсис. 35 : 434–7. дои : 10.1080/14786444908646384.
24. Кляйнер 2007, с. 43.
25. Kleiner 2007, стр. 43–47.
26. Кляйнер 2007, с. 42.
27. Кляйнер 2007, с. 48.
28. Кляйнер 2007, с. 50.
29. Кляйнер 2007, стр. 51–52.
30. Кляйнер 2007, с. 54.
31. Monna 1975, стр. 55–56, цитирует Гильберта, Дэвида (1905), «Über das Dirichletsche Prinzip», Journal für die reine und angewandte Mathematik (на немецком языке), vol. 129, стр. 63–67.
32. Кляйнер 2007, стр. 54–57.
33. Кляйнер 2007, стр. 57–58.
34. Гордан, Пол (1868), «Beweis, dass jede Covariante und Invariante einer binären Form eine ganze Funktion mit numerischen Coeffizienten einer endlichen Anzahl solcher Formen ist», Journal für die reine und angewandte Mathematik , vol. 1868, нет. 69, стр. 323–354, doi : 10.1515/crll.1868.69.323, S2CID  120689164
35. Кляйнер 2007, с. 58.
36. Франкель, А. (1914) «Über die Teiler der Null und die Zerlegung von Ringen». Дж. Рейн Анжью. Математика. 145: 139–176
37. Корри, Лео (январь 2000 г.). «Истоки определения абстрактных колец». Современная логика . 8 (1–2): 5–27. ISSN  1047-5982.
38. Кляйнер 2007, стр. 58–59.
39. Кимберлинг 1981, стр. 18.
40. Дик, Огюст (1981), Эмми Нётер: 1882–1935 , перевод Блохера, HI, Birkhäuser , ISBN 3-7643-3019-8, п. 44–45.
41. Кляйнер 2007, с. 59.
42. Кляйнер 2007, с. 60.
43. Кляйнер 2007, с. 70.
44. Кляйнер 2007, с. 66.
45. «Самые ранние известные варианты использования некоторых математических слов (F)» .
46. Кляйнер 2007, с. 67.
47. Кляйнер 2007, стр. 72–73.
48. Кляйнер 2007, стр. 74–76.
49. Харт, Роджер (2011). Китайские корни линейной алгебры. Балтимор, Мэриленд: Издательство Университета Джонса Хопкинса. ISBN 978-0-8018-9958-4. ОСЛК  794700410.
50. Шумм, Брюс (2004), Deep Down Things , Балтимор: Издательство Университета Джонса Хопкинса, ISBN 0-8018-7971-Х

Библиография

• Грей, Джереми (2018). История абстрактной алгебры: от алгебраических уравнений к современной алгебре. Серия Springer по математике для студентов. Чам, Швейцария. дои : 10.1007/978-3-319-94773-0. ISBN 978-3-319-94773-0. S2CID  125927783.{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
• Кимберлинг, Кларк (1981). «Эмми Нётер и ее влияние». В Брюэре, Джеймсе В.; Смит, Марта К. (ред.). Эмми Нётер: дань уважения ее жизни и творчеству . Марсель Деккер . стр. 3–61.
• Кляйнер, Израиль (2007). Кляйнер, Израиль (ред.). История абстрактной алгебры. Бостон, Массачусетс: Биркхойзер. дои : 10.1007/978-0-8176-4685-1. ISBN 978-0-8176-4685-1.
• Монна, AF (1975), Принцип Дирихле: математическая комедия ошибок и ее влияние на развитие анализа , Остхук, Шелтема и Холкема, ISBN 978-9031301751

дальнейшее чтение

• Алленби, RBJT (1991), Кольца, поля и группы , Баттерворт-Хейнеманн, ISBN 978-0-340-54440-2
• Артин, Майкл (1991), Алгебра , Прентис Холл , ISBN 978-0-89871-510-1
• Беррис, Стэнли Н.; Санкаппанавар, HP (1999) [1981], Курс универсальной алгебры
• Гилберт, Джимми; Гилберт, Линда (2005), Элементы современной алгебры , Томсон Брукс/Коул, ISBN 978-0-534-40264-8
• Ланг, Серж (2002), Алгебра , Тексты для выпускников по математике , том. 211 (пересмотренное третье издание), Нью-Йорк: Springer-Verlag, ISBN. 978-0-387-95385-4, МР  1878556
• Сетураман, BA (1996), Кольца, поля, векторные пространства и теория групп: введение в абстрактную алгебру посредством геометрической конструктивности , Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-387-94848-5
• Уайтхед, К. (2002), Руководство по абстрактной алгебре (2-е изд.), Houndmills: Palgrave, ISBN 978-0-333-79447-0
• В. Кейт Николсон (2012) Введение в абстрактную алгебру , 4-е издание, John Wiley & Sons ISBN 978-1-118-13535-8 . 
• Джон Р. Дурбин (1992) Современная алгебра: введение , John Wiley & Sons

Внешние ссылки

• Чарльз К. Пинтер (1990) [1982] Книга абстрактной алгебры , второе издание, из Университета Мэриленда.