Osnovna ili apstraktna algebra je disciplina matematike koja se bavi primjenom logike za građenje formalne osnove za matematiku. Današnja se algebra može gledati kao pokušaj uopćavanja već tisućljećima znanih svojstava brojeva i aritmetičkih operacija (zbrajanja, oduzimanja, množenja, i dijeljenja) uz njih, a i postavljanjem istih već poznatih pravila na tvrdi temelj u današnoj formalnoj logici.

Formalna algebra počinje u osamnaestom stoljeću. U to vrijeme Leonard Euler pokreće svoje sistematsko istraživanje svojstava brojeva, posebno prim brojeva. Njegovi su rezultati postali osnovom discipline teorije brojeva. Kasnije se, u bližim istraživanjima poopćenih algebarskih struktura, pokazalo da prim brojevi igraju vodeću ulogu, jer je puno tih struktura u svojim osnovnim crtama identično malom broju "osnovnih", koje proizlaze iz dijeležnih svojstava cijelih brojeva.

Veliki doprinos algebri dao je mladi francuski genij Évariste Galois, koji je prvi sistematski uveo pojam grupe. Njegov je rad doprinio slavljenom teoremu o nerješivosti jednadžbi stupnja višljeg od 5 pomoću radikala i četiriju aritmetičkih operacija.

Od vremena Galoisa pa do naših dana, moderna algebra je prošla dugu evoluciju. Danas se algebra koristi u teoretskoj fizici, u informatici te kao osnova za izgradnju ostalih ogranaka matematike, kao što su analiza, geometrija, kombinatorika, i teorija brojeva.

Algebra se bavi istraživanjem skupova i funkcija koje su definirani uz njih. Najčešće je funkcija binarna (s dvama argumentima) i odlikuje se zatvorenošću: naime, svaki par argumenata daje ishod u izvornom skupu. (Primjer zatvorene operacije: zbrajanje na skupu cijelih brojeva većih od nule ${\displaystyle \mathbb {N} }$. Primjer nezatvorene operacije: oduzimanje na istom skupu (jer, naprimjer, 1 - 1 nije veći broj od 0, makar i 1 i 3 jesu).

• Linearna algebra
• Booleova algebra