フルーリーの多重複素数
MCn−1 ⊂ MCn.
R ⊂ MCn.
D’où C ╲ {\displaystyle \textstyle \mathbb {C} \!\!\!\!\diagdown } ⊂ MCn.
C ⊂ MCn.
一つの元 e は e = −1 を満たし、かつその冪からなる有限列 (1, e, e, ..., e) は線型独立とする。このとき、MCn は、この列を生成系とする実多元環として定義される。