stringtranslate.com

Алгебра

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

Элементарная алгебра — это основная форма алгебры, преподаваемая в школе, которая изучает математические утверждения с использованием переменных для неопределенных значений. Она стремится определить, для каких значений утверждения верны. Для этого она использует различные методы преобразования уравнений для изоляции переменных. Линейная алгебра — это тесно связанная область, исследующая переменные, которые появляются в нескольких линейных уравнениях , называемых системой линейных уравнений . Она предоставляет методы для нахождения значений, которые решают все уравнения в системе одновременно, и для изучения множества этих решений.

Абстрактная алгебра изучает алгебраические структуры, которые состоят из набора математических объектов вместе с одной или несколькими операциями, определенными на этом наборе. Это обобщение элементарной и линейной алгебры, поскольку она допускает математические объекты, отличные от чисел и неарифметических операций. Она различает различные типы алгебраических структур, такие как группы , кольца и поля , на основе количества операций, которые они используют, и законов, которым они следуют . Универсальная алгебра предоставляет общую основу для исследования абстрактных моделей, которые характеризуют различные классы алгебраических структур.

Алгебраические методы впервые были изучены в античный период для решения конкретных задач в таких областях, как геометрия . Последующие математики исследовали общие методы решения уравнений независимо от их конкретных приложений. Они описывали уравнения и их решения с помощью слов и сокращений до 16-го и 17-го веков, когда был разработан строгий символический формализм. В середине 19-го века сфера алгебры расширилась за пределы теории уравнений, чтобы охватить различные типы алгебраических операций и структур. Алгебра имеет отношение ко многим разделам математики, таким как геометрия, топология , теория чисел и исчисление , а также к другим областям исследования, таким как логика и эмпирические науки .

Определение и этимология

Алгебра — это раздел математики, изучающий алгебраические структуры и операции [a], которые они используют. [2] Алгебраическая структура — это непустое множество математических объектов , таких как целые числа , вместе с алгебраическими операциями, определенными на этом множестве, такими как сложение и умножение . [3] Алгебра изучает законы, общие характеристики и типы алгебраических структур. В рамках определенных алгебраических структур она изучает использование переменных в уравнениях и то, как манипулировать этими уравнениями. [4] [b]

Алгебра часто понимается как обобщение арифметики . [8] Арифметика изучает такие операции, как сложение, вычитание , умножение и деление , в определенной области чисел, например, действительных числах. [9] Элементарная алгебра составляет первый уровень абстракции. Как и арифметика, она ограничивает себя определенными типами чисел и операций. Она обобщает эти операции, допуская неопределенные количества в виде переменных в дополнение к числам. [10] Более высокий уровень абстракции находится в абстрактной алгебре , которая не ограничивается определенной областью и исследует алгебраические структуры, такие как группы и кольца . Она выходит за рамки типичных арифметических операций, также охватывая другие типы операций. [11] Универсальная алгебра еще более абстрактна в том смысле, что она не интересуется конкретными алгебраическими структурами, а исследует характеристики алгебраических структур в целом. [12]

Титульный лист «Книги о расчетах путем завершения и балансировки»
Слово «алгебра» происходит от названия книги аль-Хорезми «Аль-Джабр» . [13]

Термин «алгебра» иногда используется в более узком смысле для обозначения только элементарной алгебры или только абстрактной алгебры. [14] При использовании в качестве исчисляемого существительного алгебра представляет собой определенный тип алгебраической структуры , которая включает векторное пространство , оснащенное определенным типом бинарной операции . [15] В зависимости от контекста, «алгебра» может также относиться к другим алгебраическим структурам, таким как алгебра Ли или ассоциативная алгебра . [16]

Слово алгебра происходит от арабского термина الجبر ( al-jabr ), который первоначально относился к хирургическому лечению вправления костей . В IX веке термин получил математическое значение, когда персидский математик Мухаммад ибн Муса аль-Хорезми использовал его для описания метода решения уравнений и использовал его в названии трактата по алгебре al-Kitāb al-Mukhtaṣar fī Ḥisāb al-Jabr wal-Muqābalah [ The Compendious Book on Calculation by Completion and Balancing ], который был переведен на латынь как Liber Algebrae et Almucabola . [c] Слово вошло в английский язык в XVI веке из итальянского , испанского и средневековой латыни . [18] Первоначально его значение ограничивалось теорией уравнений , то есть искусством манипулирования полиномиальными уравнениями с целью их решения. Это изменилось в 19 веке [d], когда сфера алгебры расширилась, чтобы охватить изучение различных типов алгебраических операций и структур вместе с их базовыми аксиомами , законами, которым они следуют. [21]

Основные отрасли

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

Схема алгебраического выражения
Обозначение алгебраического выражения:
  1 – степень (экспонента)
  2 – коэффициент
  3 – член
  4 – оператор
  5 – постоянный член – константа – переменные
 
 

Элементарная алгебра, также называемая школьной алгеброй, колледжной алгеброй и классической алгеброй, [22] является старейшей и самой базовой формой алгебры. Это обобщение арифметики , которое опирается на переменные и изучает, как математические утверждения могут быть преобразованы. [23]

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

Элементарная алгебра опирается на те же операции, допуская переменные в дополнение к обычным числам. Переменные являются символами для неопределенных или неизвестных величин. Они позволяют устанавливать отношения, для которых неизвестны точные значения, и выражать общие законы, которые верны, независимо от того, какие числа используются. Например, уравнение относится к арифметике и выражает равенство только для этих конкретных чисел. Заменяя числа переменными, можно выразить общий закон, который применяется к любой возможной комбинации чисел, как коммутативное свойство умножения , которое выражается в уравнении . [23]

Алгебраические выражения формируются с помощью арифметических операций для объединения переменных и чисел. По соглашению строчные буквы , и представляют переменные. В некоторых случаях добавляются нижние индексы для различения переменных, как в , и . Строчные буквы , и обычно используются для констант и коэффициентов . [e] Выражение представляет собой алгебраическое выражение, созданное путем умножения числа 5 на переменную и добавления числа 3 к результату. Другими примерами алгебраических выражений являются и . [25]

Некоторые алгебраические выражения принимают форму утверждений, которые связывают два выражения друг с другом. Уравнение — это утверждение, сформированное путем сравнения двух выражений, утверждающее, что они равны. Это можно выразить с помощью знака равенства ( ), как в . Неравенства включают другой тип сравнения, утверждающий, что две стороны различны. Это можно выразить с помощью таких символов, как знак «меньше» ( ), знак «больше» ( ) и знак неравенства ( ). В отличие от других выражений, утверждения могут быть истинными или ложными, и их истинностное значение обычно зависит от значений переменных. Например, утверждение истинно, если равно либо 2, либо −2, и ложно в противном случае. [26] Уравнения с переменными можно разделить на уравнения тождества и условные уравнения. Уравнения тождества истинны для всех значений, которые могут быть присвоены переменным, например, уравнение . Условные уравнения истинны только для некоторых значений. Например, уравнение истинны, только если равно 5. [27]

Основная цель элементарной алгебры — определить значения, для которых утверждение является истинным. Этого можно достичь, преобразуя и манипулируя утверждениями в соответствии с определенными правилами. Ключевой принцип, определяющий этот процесс, заключается в том, что любая операция, применяемая к одной стороне уравнения, также должна быть применена к другой стороне. Например, если вычесть 5 из левой стороны уравнения, то нужно также вычесть 5 из правой стороны, чтобы сбалансировать обе стороны. Целью этих шагов обычно является выделение интересующей переменной с одной стороны, процесс, известный как решение уравнения для этой переменной. Например, уравнение можно решить, добавив 7 к обеим сторонам, что изолирует левую сторону и приводит к уравнению . [28]

Существует множество других методов решения уравнений. Упрощение используется для замены сложного выражения эквивалентным более простым. Например, выражение можно заменить выражением так как по свойству дистрибутивности. [29] Факторизация используется для переписывания выражения в виде произведения нескольких множителей. Этот метод обычно используется для определения значений многочлена [ f] , которые оцениваются как ноль . Например, многочлен можно разложить на множители как . Многочлен в целом равен нулю тогда и только тогда, когда один из его множителей равен нулю, т. е. если равно либо −2, либо 5. [31] Для утверждений с несколькими переменными подстановка является распространенным методом замены одной переменной эквивалентным выражением, которое не использует эту переменную. Например, если известно, что, то можно упростить выражение, чтобы получить . Аналогичным образом, если известно значение одной переменной, можно использовать его для определения значений других переменных. [32]

График уравнения "y = 0,5x - 1"
Алгебраические уравнения можно использовать для описания геометрических фигур. Все значения для и , которые решают уравнение, интерпретируются как точки. Они изображены в виде красной, восходящей линии на графике выше.

Алгебраические уравнения можно интерпретировать геометрически, чтобы описать пространственные фигуры в виде графика . Для этого различные переменные в уравнении понимаются как координаты , а значения, которые решают уравнение, интерпретируются как точки графика. Например, если в уравнении установлено значение ноль , то должно быть −1, чтобы уравнение было истинным. Это означает, что -пара является частью графика уравнения. -пара , напротив, не решает уравнение и, следовательно, не является частью графика. Граф охватывает совокупность -пар, которые решают уравнение. [33]

Полиномы

Полином — это выражение, например, которое является суммой членов, которые являются произведениями коэффициента (часто числа) и произведения неотрицательных целых степеней переменных (часто называемых неопределенными). Моном — это полином с одним членом, в то время как двух- и трехчленные полиномы называются биномами и триномами. Степень полинома — это максимальное значение (среди его членов) суммы показателей степеней переменных (4 в приведенном выше примере). [34] Полиномы первой степени называются линейными полиномами . Линейная алгебра изучает системы линейных полиномов. [35] Полином называется одномерным или многомерным , в зависимости от того, использует ли он одну или несколько переменных. [36]

До 19 века большая часть алгебры была посвящена полиномиальным уравнениям , то есть уравнениям, полученным путем приравнивания полинома нулю. Первые попытки решения полиномиальных уравнений состояли в выражении решений в терминах корней n- й степени . Решение полиномиального уравнения второй степени вида дается квадратной формулой [37] Решения для степеней 3 и 4 даются кубическими и четвертыми формулами. Общих решений для более высоких степеней не существует, что было доказано в 19 веке так называемой теоремой Абеля–Руффини . [38]

Основная теорема алгебры утверждает, что каждое (одномерное) полиномиальное уравнение положительной степени с действительными или комплексными коэффициентами имеет по крайней мере одно комплексное решение. Следовательно, каждый полином положительной степени может быть разложен на линейные полиномы. Эта теорема была доказана в начале 19 века, но это не закрывает проблему, поскольку теорема не дает никакого способа вычисления решений. [39]

Линейная алгебра

Линейная алгебра использует методы элементарной алгебры для изучения систем линейных уравнений . [40] [g] Уравнение является линейным, если его можно выразить в виде , где , , ..., и являются константами. Это означает, что никакие переменные не умножаются друг на друга и никакие переменные не возводятся в степень, большую единицы. Например, уравнения и являются линейными, в то время как уравнения и являются нелинейными . Несколько уравнений образуют систему уравнений, если все они опираются на один и тот же набор переменных. [42]

Системы линейных уравнений часто выражаются через матрицы [h] и векторы [i] для представления всей системы в одном уравнении. Это можно сделать, переместив переменные в левую часть каждого уравнения и переместив постоянные члены в правую часть. Затем система выражается путем формулирования матрицы, содержащей все коэффициенты уравнений, и умножения ее на вектор-столбец, составленный из переменных. [45] Например, система уравнений может быть записана как

Как и элементарная алгебра, линейная алгебра интересуется манипулированием и преобразованием уравнений для их решения. Она выходит за рамки элементарной алгебры, имея дело с несколькими уравнениями одновременно и ища значения, для которых все уравнения истинны одновременно. Например, если система состоит из двух уравнений, а затем используются значения 1 и 3 для и не решает систему уравнений, потому что она решает только первое, но не второе уравнение. [46]

Два центральных вопроса в линейной алгебре: имеет ли система уравнений какие-либо решения и, если да, имеет ли она единственное решение. Система уравнений не имеет решений, если она несовместима , то есть два или более уравнений противоречат друг другу. Например, уравнения и противоречат друг другу, поскольку не существует значений и , которые решают оба уравнения одновременно. Только непротиворечивые системы уравнений имеют решения. [47]

Имеет ли непротиворечивая система уравнений единственное решение, зависит от числа переменных и независимых уравнений . Несколько уравнений независимы друг от друга, если они не предоставляют одну и ту же информацию и не могут быть выведены друг из друга. Единственное решение существует, если число переменных равно числу независимых уравнений. Недоопределенные системы , напротив, имеют больше переменных, чем независимых уравнений, и имеют бесконечное число решений, если они непротиворечивы. [48]

График двух линейных уравнений
Линейные уравнения с двумя переменными можно геометрически интерпретировать как линии. Решение системы линейных уравнений находится там, где линии пересекаются.

Многие методы, используемые в элементарной алгебре для решения уравнений, также применяются в линейной алгебре. Метод подстановки начинается с одного уравнения и изолирует в нем одну переменную. Он переходит к следующему уравнению и заменяет изолированную переменную найденным выражением, тем самым уменьшая количество неизвестных переменных на единицу. Он снова применяет тот же процесс к этому и оставшимся уравнениям, пока не будут определены значения всех переменных. [49] Метод исключения создает новое уравнение, добавляя одно уравнение к другому уравнению. Таким образом, можно исключить одну переменную, которая появляется в обоих уравнениях. Для системы, содержащей уравнения и , можно исключить, добавив первое ко второму уравнению, тем самым обнаружив, что равно 13. В некоторых случаях уравнение необходимо умножить на константу перед добавлением его к другому уравнению. [50] Многие передовые методы реализуют алгоритмы, основанные на матричных вычислениях, такие как правило Крамера , исключение Гаусса-Жордана и разложение LU . [51]

Системы уравнений можно интерпретировать как геометрические фигуры. Для систем с двумя переменными каждое уравнение представляет собой линию в двумерном пространстве . Точка пересечения двух линий является решением всей системы, поскольку это единственная точка, которая решает как первое, так и второе уравнение. Для несовместных систем две линии идут параллельно, что означает, что решения нет, поскольку они никогда не пересекаются. Если два уравнения не являются независимыми, то они описывают одну и ту же линию, что означает, что каждое решение одного уравнения является также решением другого уравнения. Эти соотношения позволяют искать решения графически, строя уравнения и определяя, где они пересекаются. [52] Те же принципы применимы и к системам уравнений с большим количеством переменных, с той разницей, что уравнения описывают не линии, а фигуры более высокой размерности. Например, уравнения с тремя переменными соответствуют плоскостям в трехмерном пространстве , а точки пересечения всех плоскостей решают систему уравнений. [53]

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

Абстрактная алгебра, также называемая современной алгеброй, [54] изучает различные типы алгебраических структур . Алгебраическая структура — это основа для понимания операций над математическими объектами , таких как сложение чисел. В то время как элементарная алгебра и линейная алгебра работают в рамках конкретных алгебраических структур, абстрактная алгебра использует более общий подход, который сравнивает, как алгебраические структуры отличаются друг от друга, и какие типы алгебраических структур существуют, такие как группы , кольца и поля . [55] Ключевое различие между этими типами алгебраических структур заключается в количестве операций, которые они используют, и законах, которым они подчиняются. [56] В математическом образовании абстрактная алгебра относится к продвинутому курсу бакалавриата , который изучают математики после завершения курсов линейной алгебры. [57]

Диаграмма бинарной операции
Многие алгебраические структуры основаны на бинарных операциях, которые принимают два объекта в качестве входных данных и объединяют их в один объект в качестве выходных данных, как это делают сложение и умножение.

На формальном уровне алгебраическая структура представляет собой набор [j] математических объектов, называемых базовым набором, вместе с одной или несколькими операциями. [k] Абстрактная алгебра в первую очередь интересуется бинарными операциями , [l] которые берут любые два объекта из базового набора в качестве входных данных и отображают их в другой объект из этого набора в качестве выходных данных. [61] Например, алгебраическая структура имеет натуральные числа ( ) в качестве базового набора и сложение ( ) в качестве своей бинарной операции. [59] Базовый набор может содержать математические объекты, отличные от чисел, и операции не ограничиваются обычными арифметическими операциями. [62] Например, базовый набор группы симметрии геометрического объекта состоит из геометрических преобразований , таких как вращения , при которых объект остается неизменным . Его бинарная операция — это композиция функций , которая принимает два преобразования в качестве входных данных и имеет преобразование, полученное в результате применения первого преобразования, за которым следует второе, в качестве своего выходного значения. [63]

Абстрактная алгебра классифицирует алгебраические структуры на основе законов или аксиом , которым подчиняются ее операции, и количества операций, которые она использует. Одним из самых основных типов является группа, которая имеет одну операцию и требует, чтобы эта операция была ассоциативной и имела элемент тождества и обратные элементы . Операция ассоциативна, если порядок нескольких применений не имеет значения, т. е. если [m] такой же, как для всех элементов. Операция имеет элемент тождества или нейтральный элемент, если существует один элемент e , который не изменяет значение любого другого элемента, т. е. если . Операция имеет обратные элементы, если для любого элемента существует обратный элемент , который отменяет . Если элемент действует на свой обратный элемент, то результатом является нейтральный элемент e , формально выраженный как . Каждая алгебраическая структура, которая удовлетворяет этим требованиям, является группой. [65] Например, — это группа, образованная множеством целых чисел вместе с операцией сложения. Нейтральным элементом является 0, а обратным элементом любого числа является . [66] Натуральные числа со сложением, напротив, не образуют группу, поскольку они содержат только положительные целые числа и, следовательно, не имеют обратных элементов. [67]

Кольцо — это алгебраическая структура с двумя операциями ( и ), которые работают аналогично сложению и умножению. Все требования групп также применимы к первой операции: она ассоциативна и имеет единичный элемент и обратные элементы. Кроме того, она коммутативна, что означает, что это верно для всех элементов. Аксиома дистрибутивности управляет тем, как две операции взаимодействуют друг с другом. Она гласит, что и . [68] Кольцо целых чисел — это кольцо, обозначенное как . [69] [n] Кольцо становится полем, если обе операции следуют аксиомам ассоциативности, коммутативности и дистрибутивности и если обе операции имеют единичный элемент и обратные элементы. [71] [o] Кольцо целых чисел не образует поля, поскольку в нем отсутствуют мультипликативные обратные элементы. Например, мультипликативный обратный элемент — это , который не является частью целых чисел. Рациональные числа , действительные числа и комплексные числа образуют поле с операциями сложения и умножения. [73]

Диаграмма отношений между некоторыми алгебраическими структурами
Диаграмма отношений между некоторыми алгебраическими структурами. Например, ее верхняя правая часть показывает, что магма становится полугруппой , если ее операция ассоциативна.

Помимо групп, колец и полей, существует множество других алгебраических структур, изучаемых алгеброй. Они включают магмы , полугруппы , моноиды , абелевы группы , коммутативные кольца , модули , решетки , векторные пространства , алгебры над полем , а также ассоциативные и неассоциативные алгебры . Они отличаются друг от друга в отношении типов объектов, которые они описывают, и требований, которым удовлетворяют их операции. Многие связаны друг с другом тем, что базовую структуру можно превратить в более продвинутую структуру, добавив дополнительные требования. [56] Например, магма становится полугруппой, если ее операция ассоциативна. [74]

Гомоморфизмы являются инструментами для изучения структурных особенностей путем сравнения двух алгебраических структур. [75] Гомоморфизм — это функция из базового набора одной алгебраической структуры в базовый набор другой алгебраической структуры, которая сохраняет определенные структурные характеристики. Если две алгебраические структуры используют бинарные операции и имеют вид и тогда функция является гомоморфизмом, если она удовлетворяет следующему требованию: . Существование гомоморфизма показывает, что операция во второй алгебраической структуре играет ту же роль, что и операция в первой алгебраической структуре. [76] Изоморфизмы — это особый тип гомоморфизма, который указывает на высокую степень сходства между двумя алгебраическими структурами. Изоморфизм — это биективный гомоморфизм, то есть он устанавливает взаимно-однозначное отношение между элементами двух алгебраических структур. Это подразумевает, что каждый элемент первой алгебраической структуры отображается в один уникальный элемент во второй структуре без каких-либо неотображенных элементов во второй структуре. [77]

Диаграмма Венна множества и его подмножества
Подалгебры ограничивают свои операции подмножеством базового множества исходной алгебраической структуры.

Другим инструментом сравнения является отношение между алгебраической структурой и ее подалгеброй . [78] Алгебраическая структура и ее подалгебра используют одни и те же операции, [p], которые следуют одним и тем же аксиомам. Единственное отличие состоит в том, что базовый набор подалгебры является подмножеством базового набора алгебраической структуры. [q] Все операции в подалгебре должны быть замкнуты в ее базовом наборе, что означает, что они производят только элементы, принадлежащие этому набору. [78] Например, набор четных целых чисел вместе со сложением является подалгеброй полного набора целых чисел вместе со сложением. Это так, потому что сумма двух четных чисел снова является четным числом. Но набор нечетных целых чисел вместе со сложением не является подалгеброй, потому что он не замкнут: сложение двух нечетных чисел дает четное число, которое не является частью выбранного подмножества. [79]

Области изучения

Различные подполя посвящены изучению конкретных алгебраических структур. Например, теория групп изучает природу групп с помощью таких основных теорем, как фундаментальная теорема о конечных абелевых группах и теорема Фейта–Томпсона . [81] Теория колец — это изучение колец, изучающее такие понятия, как подкольца , фактор-кольца , полиномиальные кольца и идеалы , а также такие теоремы, как теорема Гильберта о базисе . [82] Теория поля занимается полями, изучая расширения полей , алгебраические замыкания и различные конкретные поля, такие как рациональные , действительные и комплексные числа , а также конечные поля . [83] Теория Галуа исследует связь между теорией полей и теорией групп, опираясь на фундаментальную теорему теории Галуа . [84]

Универсальная алгебра — это изучение алгебраических структур в целом. В рамках своей общей перспективы она не занимается конкретными элементами, составляющими базовые множества, а рассматривает операции с более чем двумя входами, такие как тернарные операции . Она обеспечивает основу для исследования того, какие структурные особенности имеют общие черты у различных алгебраических структур. [85] [r] Одна из этих структурных особенностей касается тождеств , которые истинны в различных алгебраических структурах. В этом контексте тождество — это универсальное уравнение или уравнение, которое истинно для всех элементов базового множества. Например, коммутативность — это универсальное уравнение, которое утверждает, что идентично для всех элементов. [87] Многообразие — это класс всех алгебраических структур, которые удовлетворяют определенным тождествам. Например, если две алгебраические структуры удовлетворяют коммутативности, то они обе являются частью соответствующего многообразия. [88] [s] [u]

Теория категорий изучает, как математические объекты связаны друг с другом с помощью концепции категорий . Категория — это совокупность объектов вместе с совокупностью так называемых морфизмов . Морфизмы связывают два объекта из категории и обычно принимают форму функций. [92] [v] Категории широко используются в современной математике, поскольку они обеспечивают объединяющую структуру для описания и анализа многих фундаментальных математических концепций. Например, множества можно описать с помощью категории множеств , точно так же, как группы можно описать с помощью категории групп . [93]

История

Папирус Ринда
Математический папирус Ринда из Древнего Египта , датируемый примерно  1650 годом до н. э. , является одним из самых ранних документов, в которых обсуждаются алгебраические проблемы.

Происхождение алгебры лежит в попытках решить математические задачи, включающие арифметические вычисления и неизвестные величины. Эти разработки произошли в древний период в Вавилонии , Египте , Греции , Китае и Индии . Одним из самых ранних документов по алгебраическим проблемам является математический папирус Ринда из Древнего Египта, который был написан около 1650 г. до н. э. [w] В нем обсуждаются решения линейных уравнений , как выражено в задачах типа «Количество; к нему прибавляется четвертая часть. Получается пятнадцать. Каково количество?» Вавилонские глиняные таблички примерно того же времени объясняют методы решения линейных и квадратных полиномиальных уравнений , такие как метод завершения квадрата . [95]

Многие из этих идей нашли свой путь к древним грекам. Начиная с 6-го века до н. э. их главным интересом была геометрия, а не алгебра, но они использовали алгебраические методы для решения геометрических задач. Например, они изучали геометрические фигуры, принимая их длины и площади в качестве неизвестных величин для определения, как это показано в формулировке Пифагора метода разности двух квадратов и позднее в « Началах » Евклида . [96] В 3-м веке н. э. Диофант подробно изложил, как решать алгебраические уравнения, в серии книг под названием «Арифметика» . Он был первым, кто экспериментировал с символической записью для выражения многочленов. [97] В Древнем Китае «Девять глав о математическом искусстве» , книга, составленная в период с 10-го века до н. э. по 2-й век н. э., [98] исследовала различные методы решения алгебраических уравнений, включая использование матрично-подобных конструкций. [99]

Спорным является то, в какой степени эти ранние разработки следует считать частью собственно алгебры, а не предшественниками. Они предлагали решения алгебраических проблем, но не рассматривали их в абстрактной и общей манере, сосредоточившись вместо этого на конкретных случаях и приложениях. [100] Это изменилось с персидским математиком аль-Хорезми , [x] который опубликовал свою «Сводную книгу по вычислениям путем завершения и балансировки » в 825 году н. э. В ней представлено первое подробное рассмотрение общих методов, которые можно использовать для манипулирования линейными и квадратными уравнениями путем «сокращения» и «балансировки» обеих сторон. [102] Другие влиятельные вклады в алгебру внесли арабский математик Табит ибн Курра также в 9 веке и персидский математик Омар Хайям в 11 и 12 веках. [103]

В Индии Брахмагупта исследовал, как решать квадратные уравнения и системы уравнений с несколькими переменными в 7 веке н. э. Среди его нововведений было использование нуля и отрицательных чисел в алгебраических уравнениях. [104] Индийские математики Махавира в 9 веке и Бхаскара II в 12 веке еще больше усовершенствовали методы и концепции Брахмагупты. [105] В 1247 году китайский математик Цинь Цзюшао написал « Математический трактат в девяти разделах» , который включает алгоритм для численной оценки многочленов , включая многочлены более высоких степеней. [106]

Франсуа Виет (слева) и Рене Декарт изобрели символическую запись для выражения уравнений в абстрактной и краткой форме.

Итальянский математик Фибоначчи привёз идеи и методы аль-Хорезми в Европу в книгах, включая его Liber Abaci . [107] В 1545 году итальянский полимат Джероламо Кардано опубликовал свою книгу Ars Magna , которая охватывала многие темы алгебры, обсуждала мнимые числа и была первой, кто представил общие методы решения кубических и четвертых уравнений . [108] В XVI и XVII веках французские математики Франсуа Виет и Рене Декарт ввели буквы и символы для обозначения переменных и операций, что позволило выражать уравнения абстрактно и кратко. Их предшественники полагались на словесные описания задач и решений. [109] Некоторые историки рассматривают это развитие как ключевой поворотный момент в истории алгебры и считают то, что было до этого, предысторией алгебры, поскольку ей не хватало абстрактной природы, основанной на символических манипуляциях. [110]

Фото Гаррета Биркоффа
Гаррет Биркгоф разработал многие из основополагающих концепций универсальной алгебры.

Многие попытки в 17-м и 18-м веках найти общие решения [y] для многочленов пятой степени и выше потерпели неудачу. [38] В конце 18-го века немецкий математик Карл Фридрих Гаусс доказал основную теорему алгебры , которая описывает существование нулей многочленов любой степени, не предоставляя общего решения. [19] В начале 19-го века итальянский математик Паоло Руффини и норвежский математик Нильс Хенрик Абель смогли показать , что не существует общего решения для многочленов пятой степени и выше. [38] В ответ на их открытия и вскоре после них французский математик Эварист Галуа разработал то, что позже стало известно как теория Галуа , которая предложила более глубокий анализ решений многочленов, а также заложила основу теории групп . [20] Математики вскоре осознали значимость теории групп для других областей и применили ее к таким дисциплинам, как геометрия и теория чисел. [112]

Начиная с середины 19 века интерес к алгебре сместился от изучения многочленов, связанных с элементарной алгеброй, к более общему исследованию алгебраических структур, что ознаменовало возникновение абстрактной алгебры . Этот подход исследовал аксиоматическую основу произвольных алгебраических операций. [113] Изобретение новых алгебраических систем, основанных на различных операциях и элементах, сопровождало это развитие, например, булева алгебра , векторная алгебра и матричная алгебра . [114] Влиятельные ранние разработки в абстрактной алгебре были сделаны немецкими математиками Давидом Гильбертом , Эрнстом Штайницем и Эмми Нётер , а также австрийским математиком Эмилем Артином . Они исследовали различные формы алгебраических структур и классифицировали их на основе их базовых аксиом по типам, таким как группы, кольца и поля. [115] Идея еще более общего подхода, связанного с универсальной алгеброй, была задумана английским математиком Альфредом Нортом Уайтхедом в его книге 1898 года «Трактат об универсальной алгебре» . Начиная с 1930-х годов американский математик Гаррет Биркгоф расширил эти идеи и разработал многие из основополагающих концепций этой области. [116] Тесно связанными разработками были формулировка теории моделей , теории категорий , топологической алгебры , гомологической алгебры , алгебр Ли , свободных алгебр и групп гомологии . [117]

Приложения

Влияние алгебры широко и охватывает многие разделы математики, а также эмпирические науки. Алгебраические обозначения и принципы играют ключевую роль в физике и смежных дисциплинах для выражения научных законов и решения уравнений. [118] Они также используются в таких областях, как инженерия , экономика , информатика и география для выражения отношений, решения проблем и моделирования систем. [119]

Другие разделы математики

Алгебраизация математики — это процесс применения алгебраических методов и принципов к другим разделам математики . Это происходит путем использования символов в форме переменных для выражения математических идей на более общем уровне, что позволяет математикам разрабатывать формальные модели, описывающие, как объекты взаимодействуют и соотносятся друг с другом. [120] Это возможно, поскольку абстрактные закономерности, изучаемые алгеброй, имеют множество конкретных приложений в таких областях, как геометрия , топология , теория чисел и исчисление . [121]

Визуализированное изображение сферы
Алгебраическое уравнение описывает сферу в начале координат с радиусом 1.

Геометрия интересуется геометрическими фигурами, которые можно описать с помощью алгебраических утверждений. Например, уравнение описывает линию в двумерном пространстве, в то время как уравнение соответствует сфере в трехмерном пространстве. Особый интерес для алгебраической геометрии представляют алгебраические многообразия , [z], которые являются решениями систем полиномиальных уравнений , которые можно использовать для описания более сложных геометрических фигур. [123] Алгебраические рассуждения также могут решать геометрические задачи. Например, можно определить, пересекается ли и где линия, описанная с окружностью, описанной с помощью , решая систему уравнений, составленную из этих двух уравнений. [124] Топология изучает свойства геометрических фигур или топологических пространств , которые сохраняются при операциях непрерывной деформации . Алгебраическая топология опирается на алгебраические теории, такие как теория групп, для классификации топологических пространств. Например, гомотопические группы классифицируют топологические пространства на основе существования в них петель или дырок . [125] Теория чисел занимается свойствами и отношениями между целыми числами. Алгебраическая теория чисел применяет алгебраические методы и принципы к этой области исследования. Теоретики чисел используют алгебраические выражения для описания общих законов, таких как Великая теорема Ферма , и анализируют, как числа образуют алгебраические структуры, такие как кольцо целых чисел . [126] Понимание алгебры также имеет отношение к исчислению, которое использует математические выражения для изучения скоростей изменения и накопления . Оно опирается на алгебру, чтобы понять, как эти выражения могут быть преобразованы и какую роль в них играют переменные. [127]

Изображение кубика Рубика
Грани кубика Рубика можно вращать, чтобы изменить расположение цветных пятен. Полученные перестановки образуют группу, называемую группой кубика Рубика . [128]

Абстрактная алгебра имеет различные применения в прикладной математике , от электроники и робототехники до криптографии . [129] Различные алгебраические инструменты могут быть использованы для анализа оригами . [130] Аналогично, теория групп используется для изучения головоломок, включая судоку и кубик Рубика . [131] В физических науках теория групп широко используется в кристаллографии и квантовой механике . [132]

Логика

Логика — это изучение правильного рассуждения. [133] Алгебраическая логика использует алгебраические методы для описания и анализа структур и моделей, лежащих в основе логического рассуждения . [134] Одна ее часть заинтересована в понимании самих математических структур без учета конкретных последствий, которые они имеют для деятельности по выведению выводов . Другая часть исследует, как проблемы логики могут быть выражены на языке алгебры и как понимание, полученное посредством алгебраического анализа, влияет на логику. [135]

Булева алгебра является влиятельным инструментом в алгебраической логике для описания пропозициональной логики . [136] Пропозиции — это утверждения, которые могут быть истинными или ложными. [137] Пропозициональная логика использует логические связки для объединения двух предложений для формирования сложного предложения. Например, связку «если  ... то» можно использовать для объединения предложений «идет дождь» и «улицы мокрые» для формирования сложного предложения «если идет дождь, то улицы мокрые». Пропозициональная логика интересуется тем, как истинностное значение сложного предложения зависит от истинностных значений его составляющих. [138] С помощью булевой алгебры эту проблему можно решить, интерпретируя истинностные значения как числа: 0 соответствует ложному, а 1 соответствует истинному. Логические связки понимаются как бинарные операции, которые принимают два числа в качестве входных данных и возвращают выход, который соответствует истинностному значению сложного предложения. [139] Алгебраическая логика также интересуется тем, как более сложные системы логики могут быть описаны посредством алгебраических структур и к каким многообразиям и квазимногообразиям принадлежат эти алгебраические структуры. [140]

Образование

Схема весов
Весы используются в преподавании алгебры, чтобы помочь учащимся понять, как можно преобразовать уравнения для определения неизвестных значений. [141]

Алгебраическое образование в основном фокусируется на элементарной алгебре, что является одной из причин, по которой элементарную алгебру также называют школьной алгеброй. Обычно ее не вводят до среднего образования , поскольку она требует овладения основами арифметики, одновременно создавая новые когнитивные проблемы, связанные с абстрактными рассуждениями и обобщениями. [142] Она направлена ​​на то, чтобы познакомить учащихся с формальной стороной математики, помогая им понять математическую символику, например, как переменные могут использоваться для представления неизвестных величин. Дополнительная трудность для учащихся заключается в том, что, в отличие от арифметических вычислений, алгебраические выражения часто трудно решить напрямую. Вместо этого учащимся необходимо научиться преобразовывать их в соответствии с определенными законами, часто с целью определения неизвестной величины. [143]

Некоторые инструменты для знакомства студентов с абстрактной стороной алгебры основаны на конкретных моделях и визуализациях уравнений, включая геометрические аналогии, манипулятивы, включая палочки или чашки, и «функциональные машины», представляющие уравнения в виде диаграмм потоков . Один метод использует весы в качестве наглядного подхода, чтобы помочь студентам понять основные проблемы алгебры. Масса некоторых объектов на весах неизвестна и представляет собой переменные. Решение уравнения соответствует добавлению и удалению объектов с обеих сторон таким образом, чтобы стороны оставались в равновесии до тех пор, пока единственным объектом, оставшимся с одной стороны, не станет объект неизвестной массы. [144] Текстовые задачи являются еще одним инструментом, показывающим, как алгебра применяется к реальным жизненным ситуациям. Например, студентам может быть представлена ​​ситуация, в которой у брата Наоми вдвое больше яблок, чем у Наоми. Учитывая, что у обоих вместе есть двенадцать яблок, затем студентов просят найти алгебраическое уравнение, которое описывает эту ситуацию ( ), и определить, сколько яблок у Наоми ( ). [145]

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

Ссылки

Примечания

  1. ^ При самом широком понимании алгебраическая операция — это функция от декартовой степени множества в это множество , формально выражаемая как . Сложение действительных чисел — пример алгебраической операции: она принимает два числа в качестве входных данных и выдает одно число в качестве выходных данных. Она имеет форму . [1]
  2. ^ Алгебра охватывается разделом 512 в Десятичной классификации Дьюи [5] и подклассом QA 150-272.5 в Классификации Библиотеки Конгресса . [6] Она охватывает несколько областей в Классификации предметов математики . [7]
  3. ^ Точное значение термина аль-джабр в работе аль-Хорезми оспаривается. В некоторых отрывках он выражает, что количество, уменьшенное вычитанием, восстанавливается до своего первоначального значения, подобно тому, как костоправ восстанавливает сломанные кости, приводя их в правильное положение. [17]
  4. ^ Эти изменения были частично вызваны открытиями, которые решили многие старые проблемы алгебры. Например, доказательство фундаментальной теоремы алгебры продемонстрировало существование комплексных решений полиномов [19] , а введение теории Галуа охарактеризовало полиномы, имеющие общие решения . [20]
  5. ^ Константы представляют собой фиксированные числа, которые не изменяются в ходе изучения конкретной проблемы. [24]
  6. ^ Полином — это выражение, состоящее из одного или нескольких членов, которые складываются или вычитаются друг из друга. Каждый член — это константа, переменная или произведение константы и переменных. Каждая переменная может быть возведена в положительную целую степень. Примерами являются и . [30]
  7. ^ Другой подход определяет линейную алгебру как изучение линейных отображений между конечномерными векторными пространствами. Линейное отображение — это функция, которая преобразует векторы из одного векторного пространства в другое, сохраняя операции сложения векторов и скалярного умножения . Линейные отображения могут использоваться для представления, анализа и решения систем линейных уравнений. [41]
  8. ^ Матрица — это таблица чисел, [43] например
  9. ^ Вектор — это массив чисел или матрица с одним столбцом, [44] например
  10. ^ Множество — это неупорядоченная коллекция отдельных элементов, таких как числа, векторы или другие множества. Теория множеств описывает законы и свойства множеств. [58]
  11. ^ Согласно некоторым определениям, алгебраические структуры включают в себя выделенный элемент как дополнительный компонент, такой как элемент тождества в случае умножения. [59]
  12. ^ Некоторые из алгебраических структур, изучаемых абстрактной алгеброй, включают унарные операции в дополнение к бинарным операциям. Например, нормированные векторные пространства имеют норму , которая является унарной операцией, часто используемой для связывания вектора с его длиной. [60]
  13. ^ Символы и используются в этой статье для обозначения любой операции, которая может напоминать или не напоминать арифметические операции. [64]
  14. ^ Некоторые определения дополнительно требуют, чтобы вторая операция была ассоциативной. [70]
  15. ^ Для второй операции обычно имеется один элемент, соответствующий 0, который не требует обратного элемента. [72]
  16. ^ Согласно некоторым определениям, подалгебра также может иметь меньше операций. [79]
  17. ^ Это означает, что все элементы первого набора являются также элементами второго набора, но второй набор может содержать элементы, не найденные в первом наборе. [80]
  18. ^ Несколько иной подход понимает универсальную алгебру как изучение одного типа алгебраических структур, известных как универсальные алгебры. Универсальные алгебры определяются в общем виде, чтобы включать большинство других алгебраических структур. Например, группы и кольца являются особыми типами универсальных алгебр. [86]
  19. ^ Не каждый тип алгебраической структуры образует многообразие. Например, и группы, и кольца образуют многообразия, но поля — нет. [89]
  20. ^ Условия принимают форму оговорки Хорна . [90]
  21. ^ Помимо тождеств, универсальная алгебра также интересуется структурными особенностями, связанными с квазитождествами . Квазитождество — это тождество, которое должно присутствовать только при определенных условиях. [t] Это обобщение тождества в том смысле, что каждое тождество является квазитождеством, но не каждое квазитождество является тождеством. Квазимногообразие — это класс всех алгебраических структур, которые удовлетворяют определенным квазитождествам. [91]
  22. ^ Кроме того, морфизмы в коллекции должны подчиняться определенным аксиомам, таким как тождественность и ассоциативность.
  23. ^ Точная дата оспаривается, и некоторые историки предполагают более позднюю дату около 1550 г. до н.э. [94]
  24. Некоторые историки считают его «отцом алгебры», в то время как другие оставляют этот титул за Диофантом. [101]
  25. ^ Общее решение или решение в радикалах — это замкнутое алгебраическое уравнение, которое изолирует переменную с одной стороны. Например, общее решение квадратных уравнений вида описывается квадратной формулой Отсутствие общих решений не означает, что нет численных решений. [111]
  26. ^ Алгебраические многообразия, изучаемые в геометрии, отличаются от более общих многообразий, изучаемых в универсальной алгебре. [122]

Цитаты

  1. ^ Баранович 2023, Ведущий раздел
  2. ^
    • Мерзляков и Ширшов 2020, Ведущая секция
    • Гилберт и Николсон 2004, стр. 4
  3. ^
    • Фиш и Эбютерн, 2013, с. 326
    • Мерзляков и Ширшов 2020, § Предмет алгебры, ее основные разделы и связь с другими разделами математики.
    • Гилберт и Николсон 2004, стр. 4
  4. ^
    • Pratt 2022, Lead section, § 1. Элементарная алгебра, § 2. Абстрактная алгебра, § 3. Универсальная алгебра
    • Мерзляков и Ширшов 2020, § Предмет алгебры, ее основные разделы и связь с другими разделами математики.
  5. ^ Хайэм 2019, стр. 296
  6. Библиотека Конгресса, стр. 3.
  7. ^ zbMATH Open 2024
  8. ^
    • Мэддокс 2008, стр. 129
    • Бургин 2022, стр. 45
  9. ^ аб
    • Романовский 2008, стр. 302–303.
    • Персонал HC 2022
    • Персонал MW 2023
    • Бухштаб и Печаев 2020
  10. ^
    • Мэддокс 2008, стр. 129–130
    • Pratt 2022, Ведущий раздел, § 1. Элементарная алгебра
    • Вагнер и Киран 2018, стр. 225
  11. ^
    • Мэддокс 2008, стр. 131–132
    • Pratt 2022, Lead section, § 2. Абстрактная алгебра
    • Вагнер и Киран 2018, стр. 225
  12. ^
    • Пратт 2022, § 3. Универсальная алгебра
    • Грийе 2007, стр. 559
    • Денеке и Висмат 2018, стр. v
    • Кон 2012, стр. xiii
  13. ^
    • Крессвелл 2010, стр. 11
    • Персонал ОУП
    • Менини и Ойстайен, 2017, с. 722
  14. ^
    • Вайсштейн 2003, стр. 46
    • Вальц 2016, Алгебра
  15. ^
    • Вайсштейн 2003, стр. 46
    • Брешар 2014, стр. xxxiii
    • Голан 1995, стр. 219–227
  16. ^ Сотрудники EoM 2017
  17. ^
    • Оукс и Алхатиб 2007, стр. 45–46, 58
    • Гандз 1926, стр. 437
  18. ^
    • Крессвелл 2010, стр. 11
    • Персонал ОУП
    • Менини и Ойстайен, 2017, с. 722
    • Хоад 1993, стр. 10
  19. ^ аб
    • Тантон 2005, стр. 10
    • Квас 2006, стр. 308
    • Корри 2024, § Основная теорема алгебры
  20. ^ аб
    • Квас 2006, стр. 314–345
    • Мерзляков и Ширшов 2020, § Исторический обзор
    • Corry 2024, § Теория Галуа, § Приложения теории групп
  21. ^
    • Тантон 2005, стр. 10
    • Корри 2024, § Структурная алгебра
    • Хазевинкель 1994, стр. 73–74
  22. ^
    • Аркави, Дрейверс и Стейси, 2016, с. 2
    • Бенсон 2003, стр. 111–112
  23. ^ аб
    • Мэддокс 2008, стр. 129
    • Берггрен 2015, Ведущая секция
    • Пратт 2022, § 1. Элементарная алгебра
    • Мерзляков и Ширшов 2020, § 1. Исторический обзор
  24. ^ Соболев 2015
  25. ^
    • Мэддокс 2008, стр. 129–130
    • Янг 2010, стр. 999
    • Маевский 2004, стр. 347
    • Пратт 2022, § 1. Элементарная алгебра
    • Сорелл 2000, стр. 19
  26. ^
    • Мэддокс 2008, стр. 129–130
    • Цокос и Вутен 2015, стр. 451
    • Мишра 2016, стр. 1.2
  27. ^
    • Массер, Петерсон и Бургер 2013, стр. 16
    • Гудман 2001, стр. 5
    • Уильямс 2022
  28. ^
    • Мэддокс 2008, стр. 130
    • МакКиг 1986, стр. 51–54
    • Пратт 2022, § 1. Элементарная алгебра
    • Мерзляков и Ширшов 2020, § 1. Исторический обзор
  29. ^
    • Тан, Стииб и Харди 2012, стр. 306
    • Ламанья 2019, стр. 150
  30. ^ Маркушевич 2015
  31. ^
    • Лукас 2022, стр. 47–49
    • Берггрен 2015, § Алгебраические выражения, § Решение алгебраических уравнений
  32. ^
    • Берггрен 2015, § Решение систем алгебраических уравнений
    • МакКег 2014, стр. 386
    • МакКиг 1986, стр. 148
  33. ^
    • Мэддокс 2008, стр. 130–131
    • Роде и др. 2012, стр. 89
    • Вальц 2016, Алгебра
  34. ^
    • Брэкен и Миллер 2014, стр. 386–387
    • Кауфманн и Швиттерс 2011, с. 220
  35. ^
    • Сахаи и Бист 2002, стр. 21
    • Мэддокс 2008, стр. 131
    • Баррера-Мора 2023, стр. ix, 1–2.
  36. ^ Геддес, Цапор и Лабан 2007, стр. 46
  37. ^
    • Сан и Чжан 2020, стр. 94
    • Берггрен 2015, § Решение алгебраических уравнений
    • Корри 2024, § Классическая алгебра
  38. ^ абв
    • Тантон 2005, стр. 10
    • Мерзляков и Ширшов 2020, § Исторический обзор
    • Корри 2024, § Тупик с радикальными методами
  39. ^
    • Берггрен 2015, § Решение алгебраических уравнений
    • Тантон 2005, стр. 10
    • Квас 2006, стр. 308
    • Корри 2024, § Основная теорема алгебры
  40. ^
    • Мэддокс 2008, стр. 131
    • Баррера-Мора 2023, стр. ix, 1–2,
  41. ^
    • Валенца 2012, стр. vii
    • Чахал 2018, § 1.1 Что такое линейная алгебра?
    • Соломон 2014, стр. 57–58, 61–62
    • Рикардо 2009, стр. 389
  42. ^
    • Антон и Роррес, 2013 г., стр. 2–3.
    • Мэддокс 2008, стр. 131
    • Войцеховский 2011
  43. ^
    • Саикия 2008, стр. 1
    • Лал 2017, стр. 31
  44. ^ Мирахор и Кричене 2014, с. 107
  45. ^
    • Баррера-Мора 2023, стр. ix, 1, 12–13.
    • Янг 2010, стр. 726–727
    • Антон и Роррес, 2013, стр. 32–34.
  46. ^
    • Мэддокс 2008, стр. 131
    • Андрилли и Хеккер 2022, стр. 57–58
  47. ^
    • Антон и Роррес, 2013, стр. 3–7.
    • Мортенсен 2013, стр. 73–74
    • Янг 2023, стр. 714–715
  48. ^
    • Мэддокс 2008, стр. 131
    • Харрисон и Уолдрон 2011, стр. 464
    • Антон 2013, стр. 255
  49. ^
    • Янг 2010, стр. 697–698
    • Мэддокс 2008, стр. 131
    • Салливан 2010, стр. 53–54
  50. ^
    • Антон и Роррес, 2013, стр. 7–8.
    • Салливан 2010, стр. 55–56
    • Атанасиу и Микусински 2019, с. 75
  51. ^
    • Мэддокс 2008, стр. 131
    • Антон и Роррес 2013, стр. 7–8, 11, 491.
  52. ^
    • Антон и Роррес, 2013 г., стр. 3–5.
    • Янг 2010, стр. 696–697
    • Снейд, Фьюстер и Макгилливрей 2022, стр. 211
  53. ^
    • Антон и Роррес, 2013 г., стр. 3–5.
    • Янг 2010, стр. 713
    • Снейд, Фьюстер и Макгилливрей 2022, стр. 211
  54. ^
    • Гилберт и Николсон 2004, стр. 1
    • Доминич 2008, стр. 19
  55. ^
    • Мэддокс 2008, стр. 131–132
    • Pratt 2022, Lead section, § 2. Абстрактная алгебра
    • Гилберт и Николсон 2004, стр. 1–3
    • Доминич 2008, стр. 19
  56. ^ аб
    • Pratt 2022, Lead section, § 2. Абстрактная алгебра
    • Мерзляков и Ширшов 2020, Предмет алгебры, ее основные разделы и связь с другими разделами математики.
    • Бурбаки 1998, с. 428–430, 446
  57. ^ Хаусбергер 2020, Преподавание и изучение абстрактной алгебры
  58. ^
    • Тантон 2005, стр. 460
    • Мурти 2012, стр. 1.3
  59. ^ ab Овчинников 2015, стр. 27
  60. ^ Гриле 2007, стр. 247
  61. ^
    • Уайтлоу 1995, стр. 61
    • Николсон 2012, стр. 70
    • Фиш и Эбютерн, 2013, с. 326
    • Pratt 2022, Lead section, § 2. Абстрактная алгебра
  62. ^
    • Мэддокс 2008, стр. 131–132
    • Pratt 2022, Lead section, § 2. Абстрактная алгебра
  63. ^
    • Олвер 1999, стр. 55–56
    • Абас и Салман 1994, стр. 58–59.
    • Häberle 2009, стр. 640
  64. ^ Гилберт и Николсон 2004, стр. 4
  65. ^
    • Каргаполов и Мерзляков 2016, § Определение
    • Кхаттар и Агравал 2023, стр. 4–6
    • Мэддокс 2008, стр. 131–132
    • Pratt 2022, Lead section, § 2. Абстрактная алгебра
    • Нери 2019, стр. 258
  66. ^
    • Кхаттар и Агравал 2023, стр. 6–7
    • Мэддокс 2008, стр. 131–132
    • Адхикари и Адхикари 2013, с. 72
  67. ^
    • МакВини 2002, стр. 6
    • Крамер и Пиппих 2017, стр. 49
  68. ^
    • Вайсштейн 2003, стр. 2579
    • Иванова 2016
    • Максвелл 2009, стр. 73–74
    • Пратт 2022, § 2.3 Кольца
  69. ^ Смит 2015, стр. 161
  70. ^ Вайсштейн 2003, стр. 2579
  71. ^
    • Вайсштейн 2003, стр. 1047, 2579.
    • Пратт 2022, § 2.4 Поля
  72. ^ Вайсштейн 2003, стр. 1047
  73. ^
    • Ирвинг 2004, стр. 77, 236
    • Вайсштейн 2003, стр. 1047, 2579.
    • Негр 2022, стр. 365
  74. ^ Купер 2011, стр. 60
  75. ^
    • Роуэн 2006, стр. 12
    • Пратт 2022, § 3.3 Теорема Биркгофа
    • Гретцер 2008, стр. 34
  76. ^
    • Пратт 2022, § 3.3 Теорема Биркгофа
    • Роуэн 2006, стр. 12
    • Сильвия и Робинсон 1979, стр. 82
    • Адхикари 2016, стр. 5–6
  77. ^
    • Нери 2019, стр. 278–279
    • Иванова и Смирнов 2012
    • Део 2018, стр. 295
    • Оно 2019, стр. 84
  78. ^ аб
    • Индуркхья 2013, стр. 217–218
    • Пратт 2022, § 3.3 Теорема Биркгофа
    • Гретцер 2008, стр. 34
  79. ^ аб Индурхья 2013, стр. 217–218.
  80. ^ Ефимов 2014
  81. ^
    • Тантон 2005, стр. 242
    • Бхаттачарья, Джайн и Нагпол 1994, с. 141
    • Вайсштейн 2003, стр. 1020
  82. ^
    • Серовайский 2020, § Комната 4Б.5 Кольца
    • Кляйнер 2007, стр. 63
    • Клайн 1990, стр. 1153
  83. ^
    • Варден, Артин и Нётер 2003, стр. 110–114, 231, 246.
    • Карпиловский 1989, стр. 45
    • Кляйнер 2007, стр. 63
  84. ^
    • Ланг 2005, стр. 261–262
    • Кокс 2012, стр. 161–162
  85. ^
    • Пратт 2022, § 3. Универсальная алгебра
    • Кон 2012, стр. xiii
  86. ^
    • Смирнов 2020
    • Гретцер 2008, стр. 7–8
    • Бахтурин 2013, стр. 346
  87. ^
    • Пратт 2022, § 3.2 Эквациональная логика
    • Мальцев 1973, стр. 210–211
  88. ^
    • Мальцев 1973, стр. 210–211
    • Кон 2012, стр. 162
    • Розен 2012, стр. 779
    • Хазевинкель 1994, стр. 406
  89. ^ Кон 1995, стр. 8
  90. ^ Мальцев 1973, стр. 211
  91. ^
    • Мальцев 1973, стр. 210–211
    • Пратт 2022, § 3. Универсальная алгебра
    • Артамонов 2003, стр. 873
  92. ^
    • Вайсштейн 2003, стр. 347–348
    • Гауэрс, Барроу-Грин и Лидер 2010, стр. 6, 165
  93. ^
    • Гауэрс, Барроу-Грин и Лидер 2010, стр. 6, 165
    • Борсо 1994, стр. 20
    • Лаос 1998, стр. 100
  94. ^
    • Corry 2024, § Решение проблем в Египте и Вавилоне
    • Брезински, Меран и Редиво-Залья, 2022, с. 34
  95. ^
    • Тантон 2005, стр. 9
    • Квас 2006, стр. 290
    • Corry 2024, § Решение проблем в Египте и Вавилоне
  96. ^
    • Тантон 2005, стр. 9
    • Квас 2006, стр. 290
    • Корри 2024, § Пифагорейцы и Евклид
  97. ^
    • Мерзляков и Ширшов 2020, § Исторический обзор
    • Сиаларос 2018, стр. 55
    • Musielak 2020, стр. 36
    • Корри 2024, § Диофант
  98. ^ Бургин 2022, стр. 10
  99. ^ Хиггинс 2015, стр. 89
  100. ^
    • Квас 2006, стр. 290–291
    • Сиаларос 2018, стр. 55
    • Бойер и Мерцбах 2011, стр. 161
    • Дербишир 2006, стр. 31
  101. ^
    • Бойер и Мерцбах 2011, стр. 161
    • Дербишир 2006, стр. 31
  102. ^
    • Тантон 2005, стр. 10
    • Квас 2006, стр. 291–293
    • Мерзляков и Ширшов 2020, § Исторический обзор
  103. ^
    • Варден 2013, стр. 3, 15–16, 24–25.
    • Дженкинс 2010, стр. 82
    • Пиковер 2009, стр. 90
  104. ^
    • Тантон 2005, стр. 9–10
    • Корри 2024, § Уравнение в Индии и Китае
  105. ^
    • Шешадри 2010, стр. 156
    • Эмч, Шридхаран и Шринивас 2005, стр. 20
  106. ^
    • Сморинский 2007, стр. 137
    • Цвиллингер 2002, стр. 812
  107. ^
    • Вэрден 2013, стр. 32–35
    • Тантон 2005, стр. 10
    • Квас 2006, стр. 293
  108. ^
    • Тантон 2005, стр. 10
    • Квас 2006, стр. 293
    • Корри 2024, § Кардано и решение кубических и четвертых уравнений
    • Мияке 2002, стр. 268
  109. ^
    • Тантон 2005, стр. 10
    • Квас 2006, стр. 291–292, 297–298, 302
    • Мерзляков и Ширшов 2020, § Исторический обзор
    • Corry 2024, § Виет и формальное уравнение, § Аналитическая геометрия
  110. ^
    • Хазевинкель 1994, стр. 73
    • Мерзляков и Ширшов 2020, § Исторический обзор
  111. ^
    • Игараси и др. 2014, стр. 103
    • Сан и Чжан 2020, стр. 94
  112. ^
    • Корри 2024, § Приложения теории групп
    • Буэно и Френч 2018, стр. 73–75
  113. ^
    • Мерзляков и Ширшов 2020, § Исторический обзор
    • Тантон 2005, стр. 10
    • Корри 2024, § Структурная алгебра
    • Хазевинкель 1994, стр. 73–74
  114. ^
    • Мерзляков и Ширшов 2020, § Исторический обзор
    • Тантон 2005, стр. 10
    • Corry 2024, § Матрицы, § Кватернионы и векторы
  115. ^
    • Мерзляков и Ширшов 2020, § Исторический обзор
    • Corry 2024, § Гильберт и Стейниц, § Нётер и Артин
    • Хазевинкель 1994, стр. 73–74
  116. ^
    • Гретцер 2008, стр. vii
    • Чанг и Кейслер 1990, стр. 603
    • Кнобель 2011, стр. 5
    • Хазевинкель 1994, стр. 74–75
  117. ^
    • Хазевинкель 1994, стр. 74–75
    • Гретцер 2008, стр. 338
    • Пратт 2022, § 6. Свободные алгебры
  118. ^
    • Хьюстон 2004, стр. 319
    • Коррочано и Собчик 2011, с. XVII
    • Нери 2019, стр. xii
  119. ^
    • Коррочано и Собчик 2011, с. XVII
    • Нери 2019, стр. xii
    • Алескеров, Эрсель и Пионтковский 2011, стр. 1–9.
    • Страффин 1980, стр. 269
  120. ^
    • Манкосу 1999, стр. 84–85
    • Кляйнер 2007, стр. 100
    • Пратт 2022, § 5. Алгебраизация математики
  121. ^
    • Кляйнер 2007, стр. 100
    • Пратт 2022, § 5. Алгебраизация математики
    • Мэддокс 2008, стр. 130
  122. ^
    • Пратт 2022, § 1.4 Декартова геометрия, § 3. Универсальная алгебра
    • Данилов 2006, стр. 174
  123. ^
    • Пратт 2022, § 5.1 Алгебраическая геометрия
    • Данилов 2006, стр. 172, 174
  124. ^ Винс 2007, стр. 133
  125. ^
    • Пратт 2022, § 5.3 Алгебраическая топология
    • Рабадан и Блумберг 2019, стр. 49–50
    • Накахара 2018, стр. 121
    • Вайсштейн 2003, стр. 52–53
  126. ^
    • Пратт 2022, § 5.2 Алгебраическая теория чисел
    • Джарвис 2014, стр. 1
    • Витербо и Хонг 2011, стр. 127
  127. ^
    • Килти и МакАллистер 2018, стр. x, 347, 589
    • Брессо 2021, стр. 64
  128. ^ Джойнер 2008, стр. 92
  129. ^
    • Menini & Oystaeyen 2017, стр. v
    • Ловетт 2015, стр. ix
  130. ^ Халл 2021, стр. 5, 48
  131. ^ Террас 2019, стр. 63–64, 142.
  132. ^
    • Климов 2014, стр. ix
    • Бенгтссон и Жичковски, 2017, стр. 313–353.
  133. ^ Hintikka 2019, Ведущий раздел, § Природа и разновидности логики
  134. ^
    • Халмош 1956, стр. 363
    • Burris & Legris 2021, § 1. Введение
  135. ^ Андрека, Немети и Сайн, 2001, стр. 133–134.
  136. ^
    • Андрека, Мадарас и Немети 2020, § Конкретная алгебраическая логика
    • Пратт 2022, § 5.4 Алгебраическая логика
    • Плоткин 2012, стр. 155–156
    • Jansana 2022, Ведущая секция
  137. ^ McGrath & Frank 2023, Ведущий раздел
  138. ^
    • Боскини, Хансен и Вольф 2022, стр. 21
    • Броди 2006, стр. 535–536
    • Франки 2023, Ведущая секция
  139. ^
    • Андрека, Мадарас и Немети 2020, § Конкретная алгебраическая логика
    • Плоткин 2012, стр. 155–156
    • Качру и Озбай, 2018, стр. 176–177.
  140. ^
    • Андрека, Мадарас и Немети 2020, § Абстрактная алгебраическая логика
    • Джансана 2022, § 4. Алгебры
  141. ^
    • Киран 2006, стр. 15
    • Капут 2018, стр. 186
    • Гарделла и ДеЛюсия 2020, стр. 19–22.
  142. ^
    • Аркави, Дрейверс и Стейси, 2016, с. xiii
    • Деккер и Долк 2011, стр. 69
  143. ^
    • Аркави, Дрейверс и Стейси, 2016 г., стр. 2–5.
    • Дрейверс, Годдейн и Киндт, 2011 г., стр. 8–10, 16–18.
  144. ^
    • Киран 2006, стр. 15
    • Капут 2018, стр. 186
    • Гарделла и ДеЛюсия 2020, стр. 19–22.
    • Стар и др. 2015, стр. 16–17
  145. ^
    • Аркави, Дрейверс и Стейси, 2016 г., стр. 58–59.
    • Дрейверс, Годдейн и Киндт, 2011, с. 13

Источники

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