複素数の絶対値
任意の合成代数 A は共軛と呼ばれる対合 x ↦ x* を備えている。各元 x とその共軛元 x* との積 N(x) ≔ xx* は x のノルムと呼ばれる。
実数体 R, 複素数体 C, 四元数体 H は何れも正定値二次形式によって与えられるノルムを持つ合成代数であり、これら多元体における絶対値は上記合成代数としてのノルムの平方根:
で与えられる。
一般には合成代数のノルムは二次形式として不定値となり得るし、等方ベクトルも持ち得る。それでも上記の多元体の場合と同様に非零ノルムを持つ元 x は必ず乗法逆元として x*/N(x) を持つ。