Cayley–Dickson construction