Aljabar
aljabar ditemukan dalam "Al-Jabr" adalah sedikit lebih elementer daripada aljabar yang ditemukan dalam "Arithmetica" dan bahwa "Arithmetica" lebih diperingkas, sedangkan "Al-Jabr" sepenuhnya retoris. Mereka yang mendukung poin Al-Khwarizmi terhadap fakta bahwa dia memperkenalkan metode "reduksi" dan "penyetimbangan" (transposisi suku-suku yang
diambil ke ruas lain suatu persamaan, yaitu, pencoretan suku-suku yang memiliki variabel dan pangkat sama pada ruas lain suatu persamaan), yang dirujuk oleh "al-jabr" pada mulanya, dan bahwa dia memberikan penjelasan yang panjang-lebar tentang penyelesaian persamaan kuadrat, didukung oleh bukti-bukti geometris, sambil memperlakukan aljabar sebagai
disiplin yang merdeka dan memiliki hak sendiri. Aljabarnya juga tidak lagi berurusan "dengan sederet soal untuk diselesaikan, tetapi sebuah eksposisi yang bermula dengan suku-suku primitif dimana kombinasi harus memberikan semua purwarupa yang mungkin untuk persamaan, yang untuk selanjutnya secara eksplisit membentuk objek kajian yang sebenarnya". Dia
juga mengkaji persamaan untuk kepentingannya sendiri dan "dalam cara yang umum, sejauh itu tidak hanya muncul dalam penyelesaian masalah, namun secara khusus dipanggil untuk mendefinisikan kelas masalah yang tak terbatas".
Matematikawan Persia lainnya, Umar Khayym diakui jasanya sebagai pengidentifikasi dasar-dasar geometri aljabar dan penemu solusi geometris umum untuk persamaan kubik. Bukunya "Risalah tentang Peragaan Soal-Soal Aljabar" (1070), yang menetapkan prinsip-prinsip aljabar, adalah bagian dari tubuh Matematika Persia yang sebenarnya dikirimkan ke Eropa. Matematikawan Persia lainnya,
Sharaf al-Din al-Tusi, menemukan solusi aljabar dan numerik untuk beberapa kasus persamaan kubik. Dia juga mengembangkan konsep mengenai fungsi. Matematikawan India, Mahavira dan Bhskara II, Matematikawan Persia Al-Karaji, dan Matematikawan Tiongkok, Zhu Shijie, menyelesaikan beberapa kasus persamaan kubik, kuartik, kuintik, dan persamaan-persamaan polinomial berorde lebih
tinggi menggunakan metode numerik. Pada abad ke-13, penyelesaian persamaan kubik oleh Fibonacci adalah wakil dari awal kebangkitan aljabar Eropa. Ab al-asan ibn Al al-Qalad (1412-1486) mengambil "langkah-langkah pertama menuju perkenalan simbolisme aljabar". Dia juga menghitung "n", "n" dan menggunakan metode pendekatan berurutan (suksesif) untuk menentukan akar
kuadrat. Ketika dunia Islam mengalami kemunduran, dunia Eropa mengalami kebangkitan. Dan pada ketika itulah aljabar berkembang lebih jauh.
Karya François Viète mengenai aljabar baru pada penutupan abad ke-16 adalah sebuah langkah penting menuju aljabar modern. Pada tahun 1637, René Descartes menerbitkan "La Géométrie", menemukan geometri analitis dan memperkenalkan notasi aljabar modern. Peristiwa penting lainnya dalam pengembangan aljabar lebih lanjut adalah penyelesaian aljabar umum untuk persamaan kubik dan kuartik, yang
dikembangkan pada pertengahan abad ke-16. Gagasan mengenai determinan dikembangkan oleh matematikawan Jepang Seki Kwa pada abad ke-17, diikuti secara mandiri oleh Gottfried Leibniz sepuluh tahun kemudian, untuk tujuan memecahkan sistem persamaan linear simultan dengan menggunakan matriks. Gabriel Cramer juga melakukan beberapa pekerjaan mengenai matriks dan determinan pada abad ke-18. Permutasi dipelajari oleh
Joseph-Louis de Lagrange dalam karyanya pada tahun 1770 yang berjudul "Réflexions sur la résolution algébrique des équations" (Refleksi pada resolusi aljabar suatu persamaan), dikhususkan untuk menentukan penyelesaian suatu persamaan aljabar, dimana dia memperkenalkan resolven Lagrange. Paolo Ruffini adalah orang pertama yang mengembangkan teori dari grup permutasi, dan seperti pendahulunya, juga dalam konteks memecahkan persamaan aljabar.
Aljabar abstrak dikembangkan pada abad ke-19, yang berasal dari ketertarikan dalam memecahkan persamaan, awalnya berfokus pada apa yang sekarang disebut teori Galois, dan pada permasalahan konstruktibilitas. George Peacock adalah pelopor pemikiran aksiomatis dalam aritmetika dan aljabar. Augustus De Morgan menemukan aljabar relasi dalam karyanya "Syllabus of a Proposed System of Logic"
(Silabus dari Sistem Logika yang Diusulkan). Josiah Willard Gibbs mengembangkan aljabar dari vektor-vektor dalam ruang tiga-dimensi, dan Arthur Cayley mengembangkan aljabar matriks (ini adalah aljabar tak-komutatif).
Beberapa bidang matematika yang memenuhi klasifikasi aljabar abstrak memuat kata aljabar dalam nama mereka; aljabar linear adalah salah satu contoh. Tetapi ada juga yang tidak, misalnya: teori grup, teori gelanggang, dan teori bidang. Yang berikut ini adalah beberapa bidang matematika yang memuat kata "aljabar" dalam namanya. Banyak struktur matematika disebut aljabar:
Aljabar elementer adalah bentuk aljabar paling dasar. Aljabar elementer diajarkan kepada siswa/mahasiswa yang dianggap tidak memiliki pengetahuan tentang matematika lebih dari sekadar prinsip-prinsip dasar aritmetika. Di dalam aritmetika, hanya bilangan dan operasi aritmetika (seperti +, , , ) yang muncul. Di dalam aljabar, bilangan seringkali diwakili oleh simbol, yang disebut variabel (seperti "a", "n", "x", "y", atau "z"). Ini berguna, karena:
Polinomial atau suku banyak adalah sebuah ekspresi yang merupakan jumlah bilangan berhingga dari suku-suku tak-nol, tiap-tiap suku memuat perkalian dari sebuah konstanta dan sejumlah berhingga variabel yang muncul dengan seluruh pangkat bilangan. Misalnya, "x" + 2"x"  3 adalah polinomial dalam variabel tunggal "x". Sebuah ekspresi polinomial
adalah ekspresi yang dapat ditulis ulang sebagai polinomial, dengan menggunakan sifat-sifat komutativitas, asosiativitas, dan distributivitas perjumlahan dan perkalian. Misalnya, ("x"  1)("x" + 3) adalah sebuah ekspresi polinomial. Sebuah fungsi polinomial adalah fungsi yang didefinisikan oleh polinomial, atau, secara ekivalen, oleh sebuah ekspresi polinomial. Dua contoh tersebut mendefinisikan fungsi polinomial yang sama.
Dua soal yang penting dan berhubungan di dalam aljabar adalah faktorisasi polinomial, yaitu, mengekspresikan suatu polinomial sebagai perkalian dari polinomial-polinomial lainnya yang tidak dapat difaktorkan lagi, dan komputasi faktor persekutuan terbesar polinomial. Contoh polinomial di atas dapat difaktorkan sebagai ("x"  1)("x" + 3). Sebuah kelas soal yang behubungan adalah pencarian ekspresi aljabar untuk akar suatu polinomial dalam variabel tunggal.
Telah dianjurkan bahwa aljabar elementer harus diajarkan kepada siswa yang sudah berusia 11 tahun, meskipun dalam waktu dekat ini terdapat kecenderungan semakin lazimnya pengenalan aljabar elementer pada kelas delapan ( 13 tahun ) di Amerika Serikat. Meskipun demikian, di beberapa sekolah Amerika Serikat, aljabar mulai diperkenalkan pada kelas 9.
Sejak tahun 1997, Institut Politeknik dan Universitas Negeri Virginia dan beberapa universitas lain telah mulai menggunakan sebuah model pengajaran aljabar yang sudah dipersonalisasi yang mengombinasikan umpan-balik instan dari peranti lunak komputer terspesialisasi dengan bimbingan satu-satu dan bimbingan kelompok kecil, yang telah mengurangi biaya dan menaikkan capaian siswa.
Aljabar abstrak memperluas konsep-konsep yang biasa ditemukan dalam aljabar elementer dan aritmetika bilangan ke konsep-konsep yang lebih umum. Yang berikut ini adalah konsep-konsep dasar di dalam aljabar abstrak.
Himpunan: Lebih dari sekadar memperhatikan jenis-jenis bilangan yang berbeda-beda, aljabar abstrak berurusan dengan konsep "himpunan" yang lebih umum: sekumpulan objek-objek (disebut elemen) yang dipilih oleh sifat spesifik untuk himpunan. Semua kumpulan jenis-jenis bilangan yang lazim dikenal merupakan himpunan. Contoh himpunan lainnya adalah himpunan semua