ormula_1的张量代数的理想（即双边理想），该理想是由所有形如formula_44的张量生成的（其中formula_45任意），则将formula_1上的外代数formula_47定义为商代数formula_48，即并且把formula_50的等价类formula_51记为formula_52，其中 formula_53。设formula_54 称 为formula_1的formula_18-阶外幂（formula_18th exterior power of formula_1），称form