Dalam bidang matematik, kuaternion adalah sistem nombor yang memanjangkan sistem nombor kompleks. Kuaternion ditulis dalam bentuk:
dimana pekalia, b, c dan d ialah nombor nyata dan i, j dan k ialah unit khayalan. Ia diperhatikan bahawa unit i, j dan k selalunya ditaip dengan font math bold font. Set yang mewakili kuaternion dilambangkan dengan atau [1]. Kegunaan huruf H untuk mewakili set kuaternion datang dari penciptanya, ahli matematik Irish William Rowan Hamilton.[2]
Unit khayalan i, j dan k ditakrifkan dalam satu persamaan:
Beberapa hukum boleh diperolehi dari persamaan tersebut:
Pendaraban unit khayalan kuaternion tidak berhukum kalis tukar tertib, iaitu . Tetapi, ia penting untuk nota bahawa kuaternion masih memperolehi hukum kalis sekutuan. Suatu kuaternion ialah gabungan pekali nombor nyata dan unit khayalan dalam bentuk:
dimana , , dan adalah pekali nombor nyata dan i, j dan k ialah unit khayalan. Unit khayalan kuaternion juga boleh dianggap sebagai unit vektor. Secara komponenan, pekali digelar sebagai bahagian skalar (atau bahagian nyata) dan sebagai bahagian vektor kuaternion. Kuaternion dimana bahagian nyatanya sama dengan kuaternion tersebut digelar sebagai kuaternion nyata.
Kuaternion dimana setiap komponennya ialah 0 digelar sebagai kuaternion sifar.
Hasil darab antara dua kuaternion dan dipanggil sebagai hasil darab Hamilton. Untuk melaksanakan pendaraban tersebut, hukum yang ditunjukkan serta hukum kalis agihan digunakan. Andaikan dan .,
Gunakan hukum-hukum unit khayalan untuk mendarabkan unit khayalan tersebut dan faktorkan unit khayalan keluar kurungan untuk mendapat: