La multiplicación es asociativa y todo cuaternión no nulo posee un único inverso.