Clifford algebra non-zero This should be a very easy question, but the proof in Lawson/Michelson (Spin geometry) is wrong and I do not find a really correct and complete argument:
Let V be a nonzero real vector space with scalar product: Why is the Clifford-algebra (constructed from the tensor algebra by quotiening out an ideal) non-zero?
 A: As Darij said, a way to prove this is to show a PBW theorem for the Clifford algebra. 
It is a consequence of a more general PBW theorem for quadratic algebras of Koszul type by Braverman and Gaitsgory (see Theorem 4.1, and $\S 5.3$ for its application to Clifford algebras). 
By the way, the result of Braverman and Gaitsgory works for $V$ being a module over a semi-simple ring (actually, I guess it works even if you start with a projective module $V$ over an arbitrary ring), while Darij's result might be a bit more general. 
A: Extremely long answer: The Clifford algebra and the Chevalley map - a computational approach Theorem 1 (or 2, or even 3). Actually the reason for writing this text was my disappointment with the wrong proof in Lawson-Michelson, and with the not sufficiently general proofs in the rest of literature. The heuristics for finding the proof are explained in §6.3 of my diploma thesis.
Yes, 90% of the proof are computations.
Now chances are high that you prefer a 1-page proof that works over $\mathbb R$ to a 40-pages one that works over any commutative ring, so you might be interested in the proof that uses orthogonal decomposition of the quadratic form (i. e., finding an orthogonal basis using Gram-Schmidt) and application of the fact that $\operatorname{Cl}\left(V\oplus W\right)\cong \left(\operatorname{Cl}V\right)\hat{\otimes}\left(\operatorname{Cl}W\right)$ (super-tensor product of superalgebras) for any two quadratic spaces $V$ and $W$. Such a proof can be found in Milne's ALA Theorem 18.18, and probably in many other places. As Guntram pointed out in the comment below, this proof only works for $V$ being finite-dimensional; however, the infinite-dimensional case follows from the fact that (unless I am mistaken) taking the Clifford algebra commutes with the direct limit. (Here we are using the fact that if $V$ and $W$ are two finite-dimensional quadratic spaces such that $V\subseteq W$, then the canonical map $\operatorname{Cl}V\to \operatorname{Cl}W$ is injective. This easily follows from the basis theorem for Clifford algebras of finite-dimensional quadratic spaces.)
A: Here is a braindead way to generate PBW theorems like this one:
One is given a presentation of an algebra, which allows one to put words in the generators $x_1,x_2,\dots,x_n$ into a "normal form" (in the case of the Clifford algebra, if $x_1,x_2,\dots,x_n$ is a basis of $V$, then a normal form might be words $x_{i_1} x_{i_2} \cdots x_{i_p}$ with $1 \leq i_1 < i_2 < \cdots < i_p \leq n$).  One suspects that the set of words in normal form is actually a basis for the algebra.  So one constructs the regular representation of the algebra in question.  If the theorem is to be true, there is no choice about this: it is the vector space spanned by words in normal form, and the left (and right) multiplication operators are determined by the relations.  Usually the easiest way to write down the formulas is recursively.  One is then left to check that these operators satisfy the defining relations.  This is "just linear algebra", but the computations in any particular example (or class of examples) may get messy.  When it works, it usually works in arbitrary characteristic (and even integrally).
In the case of the Clifford algebra and similar algebras (e.g. enveloping algebras of Lie algebras, symplectic reflection algebras and their generalizations) this all works without too much difficulty.  It also works for the Hecke algebra attached to a Coxeter system, though to make the calculations manageable in a case-free fashion it's good to use the Bourbaki trick of employing both the right and left representations simultaneously.  There is even a general theorem here, which usually goes by the name "Bergman diamond lemma" (but in the cases I'd care most about, checking that its conditions are satisfied is just about the same level of difficulty as doing the work directly).
A: To show that an algebra constructed as a quotient of the tensor algebra of a vector space is nonzero, one of the main ways to go is to construct representations.  We can do this for the Clifford algebra as follows.
Let $V$ be a vector space over a field $k$ and $(,):V\times V \to k$ a symmetric bilinear form on $V$.  The Clifford algebra (for this form) is given by 
$$Cl(V)= T(V)/\langle v \otimes v - (v,v)\rangle.$$
We will construct a representation of the Clifford algebra on the exterior algebra $\bigwedge (V)$.
For $v \in V$, define two $k$-endomorphisms of $\bigwedge(V)$ by
$$ l_v(x) = v \wedge x$$
and
$$ \delta_v(x) = \sum_{j=1}^k (-1)^{j-1}(v,x_j) x_1 \wedge \dots \wedge \widehat{x_j} \wedge \dots \wedge x_k$$
if $x = x_1 \wedge \dots \wedge x_k$.
Then check that $l_v^2 = \delta_v^2 = 0$, and moreover that $l_v \delta_v + \delta_v l_v = (v,v) \cdot \mathrm{id}$.
Extend the map linear $v \mapsto l_v + \delta_v$ to an algebra homomorphism from the tensor algebra $T(V)$ to $\mathrm{End}_k(\bigwedge(V))$.  By the previous remark, this descends to a map, let's call it $\phi$, from the Clifford algebra to $\mathrm{End}_k(\bigwedge(V))$.
In particular, $\phi(v)1 = v$, so $V$ injects into the Clifford algebra.
Edit: I believe also that the map
$$ x \mapsto \phi(x)1$$
gives a linear isomorphism of the Clifford algebra with the exterior algebra.
A great reference for this stuff is Chevalley's monograph, The Algebraic Theory of Clifford Algebras and Spinors.
A: If $V$ is a vector space and $q$, $q'$ are quadratic forms on $V$ then $Cl(V,q)$ and $Cl(V,q')$ are isomorphic as vector spaces (though obviously not as algebras).  Moreover the Clifford algebra of $V$ with $q = 0$ is precisely the exterior algebra.
Added:
In the finite dimensional case and when the ground field is $\mathbb{R}$ or $\mathbb{C}$, the isomorphism can be proved without too much difficulty by diagonalizing the quadratic form, though I suppose one does need a PBW-style description of the tensor algebra to prove that the exterior algebra is nonzero.  I see now that darij grinberg's answer already included these ideas.
In the infinite dimensional case or in the case where the ground field is more interesting, I suppose there really is something to this.  But in the most basic cases (and the ones most relevant to differential geometry) I think the argument is fairly elementary.
A: What about: Cl(-) is functorial, the Clifford algebra of a 1-dim real vector space is nonzero-checkable by hand, any nonzero real vector space w/-symmetric-bilinear form has a 1-dimensional summand-w/-symmetric-bilinear-form.
A: Consider the tensor algebra $T(V)$ as a filtered algebra with $T_{\le k} = \oplus_{i \le k} V^{\otimes i}$. This filtration induces a filtration on the Clifford algebra, $Cl_{\le k}(V) = \pi(T_{\le k}(V))$, where $\pi:T(V) \to Cl(V)$ is the canonical projection. Now it is easy to check that the associated graded algebra $gr Cl(V) := \oplus_k Cl_{\le k}(V)/Cl_{\le k-1}(V)$ is the quotient of the associated graded algebra $gr T(V) = T(V)$ by the ideal generated by the leading terms of the relations defining $Cl(V)$, that is by $v\otimes v$ for all $v \in V$. Thus $gr Cl(V) = \Lambda (V)$, hence $Cl(V)$ is nonzero.
