Изучение свойств композиций разного вида привело к мысли, что основная задача алгебры - изучение свойств операций, рассматриваемых независимо от объектов, к которым они применяются. Иными словами, алгебра стала рассматриваться как общая наука о свойствах законов композиции, свойствах операций. При этом два множества, в каждом из которых заданы композиции, стали считаться тождественными с точки зрения алгебры (или, как говорят, «изоморфными»), если между этими множествами можно установить взаимно-однозначное соответствие, переводящее один закон композиции в другой. Если два множества с композициями изоморфны, то, изучая одно из них, мы узнаем алгебраические свойства другого.
Поскольку совокупность различных множеств с заданными в них законами композиции необозрима, были выделены типы таких множеств, которые хотя и не изоморфны друг другу, но обладают общими свойствами композиции. Например, изучив свойства операций сложения и умножения в множествах рациональных, действительных и комплексных чисел, математики создали общее понятие поля – множества, где определены эти две операции, причем выполняются их обычные свойства. Исследование операции умножения матриц привело к выделению понятия группы, которое является сейчас одним из важнейших не только в алгебре, но и во всей математике.
В наши дни алгебра – одна из важнейших частей математики, находящая приложения как в сугубо теоретических отраслях науки, так и во многих практических вопросах.
АЛГЕБРАИЧЕСКОЕ УРАВНЕНИЕ
Алгебраические уравнения – уравнения вида
P(x1, ..., xn) = O,
где P - многочлен от переменных x1, ..., xn. Эти переменные называют неизвестными. Упорядоченный набор чисел (a1, ..., an) удовлетворяет этому уравнению, если при замене x1 на a1, x2 на a2 и т.д. получается верное числовое равенство (например, упорядоченная тройка чисел (3, 4, 5) удовлетворяет уравнению x2 + y2 = z2, поскольку 32 + 42 = 52). Число, удовлетворяющее алгебраическому уравнению с одним неизвестным, называют корнем этого уравнения. Множество всех наборов чисел, удовлетворяющих данному уравнению, есть множество решений этого уравнения. Два алгебраических уравнения, имеющих одно и то же множество решений, называются равносильными. Степень многочлена P называется степенью уравнения P(x1, ..., xn) = O. Например, Зx — 5у + z = c - уравнение первой степени, x2 + y2 = z2 - второй степени, а x4 - Зx3 + 1 = 0 - четвертой степени. Уравнения первой степени называют также линейными (см. Линейные уравнения).
x2 + y2 = 10, x2 - y2 = 8 таково: {(3; 1), (3; -1), (-3; 1), (-3; -1)}.
НИЛЬС ГЕНРИХ АБЕЛЬ
(1802-1829)
В Королевском парке в Осло стоит скульптура сказочного юноши, попирающего двух поверженных чудовищ: по цоколю идет надпись "ABEL".
Что же символизируют чудовища? Первое из них, несомненно – алгебраические уравнения 5-й степени. Еще в последних классах школы Абелю показалось, что он нашел формулу для их решения, подобную тем, которые существуют для уравнений степени, не превышающей четырех. Никто в провинциальной Норвегии не смог проверить доказательство. Абель сам нашел у себя ошибку, он уже знал, что не существует выражения для корней в радикалах. Тогда Абель не знал, что итальянский математик П. Руффини опубликовал доказательство этого утверждения, содержащее, однако, пробелы.
К тому времени Абель был уже студентом университета в Осло (тогда Христиании). Он был совершенно лишен средств к существованию, и первое время стипендию ему выплачивали профессора из собственных средств. Затем он получил государственную стипендию, которая позволила ему провести два года за границей. В Норвегии были люди, которые понимали, сколь одарен Абель, но не было таких, кто мог бы понять его работы. Будучи в Германии. Абель так и не решился посетить К. Гаусса.
Во Франции Абель с интересом собирает математические новости, пользуется каждой возможностью увидеть П. Лапласа или А. Лежандра, С. Пуассона или О. Коши, но серьезных научных контактов с великими математиками установить не удалось. Представленный в академию «Мемуар об одном очень общем классе трансцендентных функций» не был рассмотрен, рукопись Абеля была обнаружена через сто лет. (В скульптуре эту работу олицетворяло второе поверженное чудовище.) Речь шла о рассмотрении некоторого класса замечательных функций, получивших название эллиптических и сыгравших принципиальную роль в дальнейшем развитии математического анализа. Абель не знал, что 30 лет назад в этих вопросах далеко продвинулся Гаусс, но ничего не опубликовал.
В 1827 г. Абель возвращается на родину, и там выясняется, что для него нет работы. Он получает временную работу вместо профессора, уехавшего в длительную экспедицию в Сибирь. Долги становятся его вечным уделом, но работоспособность Абеля не уменьшается. Он продолжает развивать теорию эллиптических функций, близок к пониманию того, какие уравнения решаются в радикалах. Неожиданно появляется соперник К. Г. Якоби, который был на два года моложе Абеля. Якоби публикует замечательные результаты в области, которую Абель считал своей собственностью. И Абель работает еще интенсивнее и наконец сообщает: «Я нокаутировал Якоби».
К работам Абеля пришло признание, математики стали проявлять заботу о его судьбе. Французские академики-математики обращаются с посланием к шведскому королю, правившему Норвегией, с просьбой принять участие в судьбе Абеля. Тем временем у Абеля быстро прогрессирует туберкулез, и 6 апреля 1829 г. его не стало.
------------------------------------------
Алгебраические уравнения 1-й степени с одним неизвестным решали уже в Древнем Египте и Древнем Вавилоне. Вавилонские писцы умели решать и квадратные уравнения, а также простейшие системы линейных уравнений и уравнений 2-й степени. С помощью особых таблиц они решали и некоторые уравнения 3-й степени, например x3 + x = a. В Древней Греции квадратные уравнения решали с помощью геометрических построений. Греческий математик Диофант (III в.) разработал методы решения алгебраических уравнений и систем таких уравнений со многими неизвестными в рациональных числах. Например, он решил в рациональных числах уравнение x4 - y4 + z4 = n2, систему уравнений y3 + x2 = u2, z2 + x2 = v3 и т.д. (см. Диофантовы уравнения).