го знака для сложения еще не было), краткая запись правил умножения положительных и отрицательных чисел. На дальнейшее развитие алгебры сильное влияние оказали разобранные Диофантом задачи, приводящие к сложным системам алгебраических уравнений, в том числе к системам, где число уравнений было меньше числа неизвестных. Для таких уравнений Диофант искал лишь положительные рациональные решения (см. Диофантовы уравнения).
С VI в. центр математических исследований перемещается в Индию и Китай, страны Ближнего Востока и Средней Азии. Китайские ученые разработали метод последовательного исключения неизвестных (см. Неизвестных исключение) для решения систем линейных уравнений, дали новые методы приближенного решения уравнений высших степеней. Индийские математики использовали отрицательные числа и усовершенствовали буквенную символику. Однако лишь в трудах ученых Ближнего Востока и Средней Азии алгебра оформилась в самостоятельную ветвь математики, трактующую вопросы, связанные с решением уравнений. В IX в. узбекский математик и астроном Мухаммед ал-Хорезми написал трактат «Китаб аль-джебр валь-мука-бала», где дал общие правила для решения уравнений первой степени. Слово «аль-джебр» (восстановление), от которого новая наука алгебра получила свое название, означало перенос отрицательных членов уравнения из одной его части в другую с изменением знака. Ученые Востока изучали и решение кубических уравнений, хотя не сумели получить общей формулы для их корней.
В Западной Европе изучение алгебры началось в XIII в. Одним из крупных математиков этого времени был итальянец Леонардо Пизанский (Фибоначчи) (ок. 1170 – после 1228). Его «Книга абака» (1202) - трактат, который содержал сведения об арифметике и алгебре до квадратных уравнений включительно (см. Числа Фибоначчи). Первым крупным самостоятельным достижением западноевропейских ученых было открытие в XVI в. формулы для решения кубического уравнения. Это было заслугой итальянских алгебраистов С. дель Ферро, Н. Тарталья и Дж. Кардано. Ученик последнего – Л. Феррари решил и уравнение 4-й степени (см. Алгебраическое уравнение). Изучение некоторых вопросов, связанных с корнями кубических уравнений, привело итальянского алгебраиста Р. Бомбелли к открытию комплексных чисел.
Отсутствие удобной и хорошо развитой символики сковывало дальнейшее развитие алгебры: самые сложные формулы приходилось излагать в словесной форме. В конце XVI в. французский математик Ф. Виет ввел буквенные обозначения не только для неизвестных, но и для произвольных постоянных. Символика Виета была усовершенствована многими учеными. Окончательный вид ей придал в начале XVII в. французский философ и математик Р. Декарт, который ввел (употребляемые и поныне) обозначения для показателей степеней.
Постепенно расширялся запас чисел, с которыми можно было производить действия. Завоевывали права гражданства отрицательные числа, потом – комплексные, ученые стали свободно применять иррациональные числа (см. Число). При этом оказалось, что, несмотря на такое расширение запаса чисел, ранее установленные правила алгебраических преобразований сохраняют свою силу. Наконец, Декарту удалось освободить алгебру от несвойственной ей геометрической формы.
Все это позволило рассматривать вопросы решения уравнений в самом общем виде, применять уравнения к решению геометрических задач. Например, задача об отыскании точки пересечения двух линий свелась к решению системы уравнений, которым удовлетворяли точки этих линий. Такой метод решения геометрических задач получил название аналитической геометрии.
Развитие буквенной символики позволило установить общие утверждения, касающиеся алгебраических уравнений: теорему Безу о делимости многочлена P(x) на двучлен x-a, где a - корень этого многочлена; соотношения Виета между корнями уравнения и его коэффициентами; правила, позволяющие оценивать число действительных корней уравнения; общие методы исключения неизвестных из систем уравнений и т.д.
Особенно далеко было продвинуто в XVIII в. решение систем линейных уравнений – для них были получены формулы, позволяющие выразить решения через коэффициенты и свободные члены. Дальнейшее изучение таких систем уравнений привело к созданию теории матриц и определителей. В конце XVIII в. было доказано, что любое алгебраическое уравнение с комплексными коэффициентами имеет хотя бы один комплексный корень. Это утверждение носит название основной теоремы алгебры.
В течение двух с половиной столетий внимание алгебраистов было приковано к задаче о выводе формулы для решения общего уравнения 5-й степени. Надо было выразить корни этого уравнения через его коэффициенты с помощью арифметических операций и извлечений корней (решить уравнение в радикалах). Лишь в начале XIX в. итальянец П. Руффини и норвежец Н. Абель независимо друг от друга доказали, что такой формулы не существует. Эти исследования были завершены французским математиком Э. Галуа, методы которого позволяют для каждого данного уравнения определить, решается ли оно в радикалах.
Один из крупнейших математиков – К. Гаусс выяснил, при каких условиях можно построить циркулем и линейкой правильный n-угольник: вопрос оказался связанным с изучением корней уравнения xn = 1. Выяснилось, что эта задача разрешима лишь в случае, когда число n является простым числом Ферма или произведением нескольких различных простых чисел Ферма (простыми числами Ферма называются простые числа, представимые в виде ; до сих пор известны лишь пять таких чисел: 3, 5, 17, 257, 65 537). Тем самым молодой студент (Гауссу было в то время лишь 19 лет) решил задачу, которой безуспешно занимались ученые более двух тысячелетий.
В начале XIX в. были решены основные задачи, стоявшие перед алгеброй в первом тысячелетии ее развития. Она получила самостоятельное обоснование, не опирающееся на геометрические понятия, и, более того, алгебраические методы стали применяться для решения геометрических задач. Были разработаны правила буквенного исчисления для рациональных и иррациональных выражений, выяснен вопрос о разрешимости уравнений в радикалах и построена строгая теория комплексных чисел. Поверхностному наблюдателю могло показаться, что теперь математики будут решать новые и новые классы алгебраических уравнений, доказывать новые алгебраические тождества и т.д. Однако развитие алгебры пошло иным путем: из науки о буквенном исчислении и уравнениях она превратилась в общую науку об операциях и их свойствах.
«Алгебра есть не что иное, как математический язык, приспособленный для обозначения отношений между количествами». И. Ньютон
После создания теории комплексных чисел возник вопрос о существовании «гиперкомплексных чисел» - чисел с несколькими «мнимыми единицами». Такую систему чисел, имевших вид a + bi + cj + dk, где i2 = j2 = k2 = -1, построил в 1843 г. ирландский математик У. Гамильтон, который назвал их «кватернионами». Правила действий над кватернионами напоминают правила обычной алгебры, однако их умножение не обладает свойством коммутативности (переместительности): например, ij = k, a ji = -k..
С операциями, свойства которых лишь отчасти напоминают свойства арифметических операций, математики XIX в. столкнулись и в других вопросах. В 1858 г. английский математик А. Кэли ввел общую операцию умножения матриц и изучил ее свойства. Оказалось, что к умножению матриц сводятся и многие изучавшиеся ранее операции. Английский логик Дж. Буль в середине XIX в. начал изучать операции над высказываниями, позволявшие из двух данных высказываний построить третье, а в конце XIX в. немецкий математик Г. Кантор ввел операции над множествами: объединение, пересечение и т.д. Оказалось, что как операции над высказываниями, так и операции над множествами обладают свойствами коммутативности (переместительности), ассоциативности (сочетательности) и дистрибутивности (распределительности), но некоторые их свойства не похожи на свойства операций над числами.
Таким образом, в течение XIX в. в математике возникли разные виды алгебр: обычных чисел, комплексных чисел, кватернионов, матриц, высказываний, множеств и т.д. Каждая из них имела свои правила, свои тождества, свои методы решения уравнений. При этом для некоторых видов алгебр правила были очень похожими. Например, правила алгебры рациональных чисел не отличаются от правил алгебры действительных чисел. Именно поэтому формулы, которые в VI классе устанавливают для рациональных значений букв, оказываются верными и для любых действительных (и даже любых комплексных) значений тех же букв. Одинаковыми оказались и правила в алгебре высказываний и в алгебре множеств. Все это привело к созданию абстрактного понятия композиции, т.е. операции, которая каждой паре (a,b) элементов некоторого множества X сопоставляет третий элемент c того же множества. Композициями были сложение и умножение как натуральных, так и любых целых, а также рациональных, действительных и комплексных чисел, «умножение» матриц, пересечение и объединение подмножеств некоторого множества U и т.д. А вычитание и деление в множестве натуральных чисел не являются композициями, так как и разность, и частное могут не быть натуральными числами.
Изучение свойств композиций разного вида привело к мысли, что основная задача алгебры - изучение свойств операций, рассматриваемых независимо от объектов, к которым они применяются. Иными словами, алгебра стала рассматриваться как общая наука о свойствах законов композиции, свойствах операций. При этом два множества, в каждом из которых заданы композиции, стали считаться тождественными с точки зрения алгебры (или, как говорят, «изоморфными»), если между этими множествами можно установить взаимно-однозначное соответствие, переводящее один закон композиции в другой. Если два множества с композициями изоморфны, то, изучая одно из них, мы узнаем алгебраические свойства другого.
Поскольку совокупность различных множеств с заданными в них законами композиции необозрима, были выделены типы таких множеств, которые хотя и не изоморфны друг другу, но обладают общими свойствами композиции. Например, изучив свойства операций сложения и умножения в множествах рациональных, действительных и комплексных чисел, математики создали общее понятие поля – множества, где определены эти две операции, причем выполняются их обычные свойства. Исследование операции умножения матриц привело к выделению понятия группы, которое является сейчас о