10. ВНЕШНИЕ ПРОИЗВЕДЕНИЯ МУЛЬТИВЕКТОРОВ
Для двух мультивекторов внешнее произведение можно ввести с помощью рекуррентной процедуры, полагая
Возможно также эквивалентное прямое определение как составляющей произведения принадлежащей подпространству -векторов.
Свойство введенной операции, выражающееся равенством
очевидно. Для проверки достаточно q раз воспользоваться соотношением
которое непосредственно вытекает из альтернированности.