合成代数は多元体(ノルム多元体)か、さもなくば分解型多元環("split algebra")であり、それはヌルベクトル(を満たす非零元)の存在によって決まる。