Editing Exterior algebra (section)

==== Basis and dimension ====
If the [[dimension (linear algebra)|dimension]] of <math>V</math> is <math>n</math> and <math>\{e_1,\dots,e_n\}</math> is a [[basis (linear algebra)|basis]] for <math>V</math>, then the set
: <math>
\{\,e_{i_1} \wedge e_{i_2} \wedge \cdots \wedge e_{i_k} ~
\big| ~~ 1 \le i_1 < i_2 < \cdots < i_k \le n \,\}
</math>
is a basis for {{tmath|{\textstyle\bigwedge}^{\!k}(V)}}.  The reason is the following: given any exterior product of the form
: <math> v_1 \wedge \cdots \wedge v_k , </math>
every vector <math>v_j</math> can be written as a [[linear combination]] of the basis vectors {{tmath|e_i}}; using the bilinearity of the exterior product, this can be expanded to a linear combination of exterior products of those basis vectors.  Any exterior product in which the same basis vector appears more than once is zero; any exterior product in which the basis vectors do not appear in the proper order can be reordered, changing the sign whenever two basis vectors change places.  In general, the resulting coefficients of the basis {{mvar|k}}-vectors can be computed as the [[minor (linear algebra)|minor]]s of the [[matrix (mathematics)|matrix]] that describes the vectors <math>v_j</math> in terms of the basis {{tmath|e_i}}.

By counting the basis elements, the dimension of <math>{\textstyle\bigwedge}^{\!k}(V)</math> is equal to a [[binomial coefficient]]:
: <math> \dim {\textstyle\bigwedge}^{\!k}(V) = \binom{n}{k} ,</math>
where {{tmath|n}} is the dimension of the ''vectors'', and {{tmath|k}} is the number of vectors in the product.  The binomial coefficient produces the correct result, even for exceptional cases; in particular, <math>{\textstyle\bigwedge}^{\!k}(V) = \{ 0 \}</math> for {{tmath|k > n}}.

Any element of the exterior algebra can be written as a sum of [[p-vector|{{math|''k''}}-vector]]s.  Hence, as a vector space the exterior algebra is a [[Direct sum of modules|direct sum]]
: <math>
{\textstyle\bigwedge}(V)
= {\textstyle\bigwedge}^{\!0}(V)
  \oplus {\textstyle\bigwedge}^{\!1}(V)
  \oplus {\textstyle\bigwedge}^{\!2}(V)
  \oplus \cdots \oplus {\textstyle\bigwedge}^{\!n}(V)
</math>
(where, by convention, {{tmath|1={\textstyle\bigwedge}^{\!0}(V) = K}}, the [[field (mathematics)|field]] underlying {{tmath|V}}, and {{tmath|1={\textstyle\bigwedge}^{\!1}(V) = V}}), and therefore its dimension is equal to the sum of the binomial coefficients, which is {{tmath|2^n}}.