Luku
Korkeammalla abstraktiotasolla lukualuetta voidaan edelleen laajentaa muodostamalla kompleksiluvut. Historiallisesti ne otettiin ensimmäiseksi käyttöön yritettäessä muodostaa ratkaisukaavoja kolmannen ja neljännen asteen yhtälöille. Tässä yhteydessä otettiin käyttöön uusi luku, −1:n neliöjuuri, imaginaariyksikkö, jolle Leonhard Euler otti käyttöön merkinnän "i". Kompleksilukuja ovat kaikki muotoa 
olevat luvut, missä "a" ja "b" ovat reaalilukuja. Merkinnässä "a + bi" lukua "a" sanotaan kompleksiluvun reaaliosaksi ja lukua "b" sen imaginaariosaksi. Jos luvun reaaliosa on nolla, sitä sanotaan "puhtaasti imaginaariseksi". Jos taas imaginaariosa on nolla, luku on reaaliluku. Reaaliluvut muodostavat siis kompleksilukujen osajoukon. Kompleksilukuja, joiden sekä reaali- että imaginaariosa ovat kokonaislukuja, sanotaan Gaussin kokonaisluvuiksi.
Kokonaisluku
Algebralla tarkoitetaan lukujen laskutoimitusten ominaisuuksia. Edellä todettiin, että vähennyslasku voidaan kokonaisluvuilla käsitellä aina vastalukujen yhteenlaskulla. Tämän vuoksi kokonaislukujen algebrassa käsitellään vain yhteenlaskusääntöjä. Kokonaislukujen kertolaskun tulos on aina kokonaisluku, mutta lukujen jakolaskun tulos ei aina ole kokonaisluku. Jakolaskun tulosten aukottomaan käsitteltyyn tulee käyttää rationaalilukujen algebraa. Seuraavat laskutoimituksien ominaisuudet ovat voimassa kaikille kokonaisluvuille a, b ja c. Niissä käytetään vain yhteenlaskua ja kertolaskua:Kokonaisluvuille on olemassa käänteisalkiot yhteislaskun suhteen, mutta ei kertolaskun suhteen. Yhteenlaskussa käänteisalkioita kutsutaan vastaluvuiksi ja sellainen voidaan osoittaa jokaiselle kokonaisluvulle. Positiivisen kokonaisluvun vasta-alkio on negatiivinen kokonaisluku, ja päinvastoin. Nollan vastaluku on nolla itse. Kertolaskussa käänteisalkioita eli käänteislukuja voidaan määrittää vasta rationaaliluvuille, tosin ykkösen käänteisluku on luku yksi itse.