且其乘法是在"formula_1"上交替的，很自然可以从包含"formula_1"的最一般的代数开始，也就是张量代数formula_225，然后通过合适的商来强制交替的性质。这样我们取formula_225中由所有形为formula_227的元素生成的双边理想formula_27，其中formula_33属于"formula_1"，并定义formula_218为商（并且使用formula_5为formula_218中的乘法的代号）。然后可以直接证明formula_218包含"formula_1"并且满足