Algebra
Algebra on geometrian ja analyysin ohella yksi matematiikan päähaaroista. Algebrassa tutkimuskohteina ovat laskutoimitusten yleiset ominaisuudet jossakin perusjoukossa, jossa ne on määritelty. Tällaisia laskutoimituksia voivat olla esimerkiksi yhteen- ja kertolasku. Laskutoimitusten määritteleminen joukkoon tuottaa algebran perusrakenteet: ryhmän, renkaan ja kunnan. Esimerkiksi vektorit muodostavat ryhmän, kokonaisluvut renkaan, rationaaliluvut ja reaaliluvut kunnan.
Eri yhteyksissä algebralla voidaan tarkoittaa seuraavia:
Alkeisalgebrassa, jota opetetaan peruskoulun yläasteella ja lukiossa, otetaan käyttöön muuttujat. Lausekkeissa, joissa niitä esiintyy, käytetään rationaali- tai reaalilukujen laskutoimituksia.
Algebra nykyaikaisen matematiikan haarana on paljon laajempi kuin alkeisalgebra. Se tutkii paitsi tavallisia lukuja, myös mitä tahansa joukkoa, jossa alkioiden välille voidaan määritellä laskutoimituksia. Sen mukaan, mitkä laskutoimitukset joukossa on määritelty ja mitä ominaisuuksia niillä on, puhutaan erilaisista algebrallisista struktuureista, joista tärkeimpiä ovat:
Algebra on yksi puhtaan matematiikan päähaaroista geometrian, analyysin, topologian, kombinatoriikan ja lukuteorian ohella.
Algebran kehityksen voidaan katsoa alkaneen muinaisessa Babyloniassa, jossa kehitettiin aritmeettinen järjestelmä, jolla voitiin suorittaa laskutoimituksia algoritmisesti. Babylonialaiset keksivät kaavoja, joilla voitiin ratkaista probleemoja, jotka nykyisin ratkaistaisiin ensimmäisen tai toisen asteen yhtälön avulla. Sitä vastoin useimmat saman aikakauden egyptiläiset samoin kuin antiikin kreikkalaiset matemaatikot yleensä ratkaisivat yhtälöitä geometristen menetelmien avulla, joita on kuvattu esimerkiksi Rhindin papyruksessa sekä myöhemmin Eukleideen Elementassa. Kreikkalaisten geometrian tietämys, joka tyypillisimmillään esiintyy Elementassa, tarjosi lähtökohdan, jolla voitiin, paitsi ratkaista tiettyjä yhtälöitä, myös kehittää yleisempiä menetelmiä yhtälöiden laatimiseksi ja ratkaisemiseksi, joskin tämän toteuttivat vasta keskiajan islamilaiset matemaatikot.
Platonin aikaan mennessä kreikkalainen matematiikka oli suuresti muuttunut. Antiikin kreikkalaiset laativat geometrisen algebran, jossa suureita kuvattiin geometrisilla kohteilla, yleensä janoilla, joita merkittiin kirjaimilla.
Ajanlaskumme kolmannella vuosisadalla aleksandrialainen matemaatikko Diofantos, jota joskus sanotaan "algebran isäksi", laati "Arithmetica"-nimisen kirjasarjan. Nämä kirjat käsittelevät algebrallisten yhtälöiden ratkaisemista.
Sana "algebra" on peräisin arabian kielestä ( "" ja tarkoittaa uudelleenyhdistymistä. Monet algebran menetelmistä ovat islamilaisten matemaatikkojen kehittämiä. Huomattavimpia heistä oli Al-Khwarizmi (noin 800–850). Hän kirjoitti teoksen, jossa algebraa käsitellään aritmetiikasta ja geometriasta riippumatta..
Hellenistiset matemaatikot Heron Aleksandrialainen ja Diofantos samoin kuin intialaiset kuten Brahmagupta kehittivät Egyptistä ja Babyloniasta perittyä matematiikkaa. Heidän teoksistaan huomattavimmat ovat Diofantoksen "Arithmetica" ja Brahmaguptan "Brahmasphutasiddhanta" . Esimerkiksi varhaisin täydellinen toisen asteen yhtälön ratkaisu, jossa myös nolla ja negatiiviset luvut on otettu huomioon, on peräisin Brahmaguptalta. Myöhemmin arabialaiset matemaatikot kehittivät algebralliset menetelmät paljon korkeammalle tasolle. Sen sijaan, että Diofantos ja babylonialaiset matemaatikot käyttivät enimmäkseen erilaisia "ad hoc" -menetelmiä yhtälöiden ratkaisemiseksi, Al-Khwarizmi kehitti yleisempiä menetelmiä. Hän ratkaisi ensimmäisen ja toisen asteen yhtälöitä käyttämättä kuitenkaan algebrallisia symboleja, negatiivisia lukuja tai nollaa, ja sen vuoksi hän erotti useita eri yhtälötyyppejä.
Klassisen algebran kehitys alkoi François Vièten töistä 1500-luvun lopulla. Vuonna 1637, René Descartes julkaisi teoksen "La Géométrie", jossa hän esitteli keksimänsä analyyttisen geometrian ja otti käyttöön algebran nykyiset merkintätavat. Tärkeitä edistysaskelia olivat myös kolmannen ja neljännen asteen yhtälön ratkaisukaavojen keksiminen 1500-luvun puolivälissä. Determinantin idean esitti ensimmäisenä japanilainen Kowa Seki 1600-luvulla ja hänestä riippumatta Gottfried Leibniz kymmenen vuotta myöhemmin ratkaistaakseen lineaarisen yhtälöryhmän matriisien avulla. Myös Gabriel Cramer tutki matriiseja ja determinantteja 1700-luvulla. Permutaatioita tutki Joseph Lagrange vuonna 1770 artikkelissaan "Réflexions sur la résolution algébrique des équations". Paolo Ruffini esitti ensimmäisenä permutaatioryhmän käsitteen, edeltäjiensä tavoin algebrallisten yhtälöiden ratkaisemisen yhteydessä.
Abstrakti algebra kehitettiin 1800-luvulla. Myös sen lähtökohtana oli yhtälöiden ratkaiseminen, ja alkuvaiheessa keskeisiä tutkimuskohteita olivat Galois'n teoria ja kysymys lukujen konstruoituvuudesta. Alan huomattavimpia tutkijoita olivat Évariste Galois, Richard Dedekind ja Leopold Kronecker.