Bikuaternion (atau kuaternion ganda) adalah bilangan hiperkompleks dan merupakan suatu kuaternion di mana variabelnya w, x, y, dan z adalah bilangan kompleks. Perkalian elemen dasar bikuaternion {i, i, j, k} sama dengan perkalian elemen dasar kuaternion berbilangan cacah (bilangan riil). Karena ada terdapat 3 jenis bilangan kompleks, maka begitu pula dengan bikuaternion, yaitu:
Sesuai dengan aturan aljabar abstrak, ketiga-tiga jenis bikuaternion ini memiliki definisi aritmetis yang sama, dan hanya definisi aritmetis variabelnya yang berbeda.