Clifford Algebra of diagonal quadratic form Just curious as I am studying quadratic forms. Is there a special way of viewing the Clifford algebra $C(q)$, given the diagonal quadratic form $q = \langle a_1, a_2, \ldots, a_n\rangle$, where $a_i \in K^{\times}$, $K$ is a field?
The reason I ask is because I want to show that given a field $K$, where char $K \neq 2$ and $a_i \in K^\times$, then we have
$C_0(\langle a_1, a_2, \ldots, a_n\rangle) \simeq C(\langle b_2, \ldots, b_n\rangle)$, with $b_i = -a_1a_i$.
Note: $C_0$ denotes the even component (sub-algebra) of the Clifford algebra $C$. By $q = \langle a_1, a_2, \ldots, a_n\rangle$, I mean that $q(\sum_{i=1}^n x_ie_i) = \sum_{i=1}^n a_ix_i^2$.
 A: $\newcommand{\Cl}{\mathrm{C}\ell}$Write
$$\tilde{q} = \langle b_2, \dots, b_n \rangle$$
and let $\{e_1, \dots, e_n\}$ be the standard basis for $K^n$. Define a map
$$f: K^{n-1} = \operatorname{span} \{e_2, \dots, e_n\} \longrightarrow \Cl^0(q)$$
by
$$f(e_i) = e_1 \cdot e_i$$
for $i > 1$ and extending linearly. Given
$$x = \sum_{i = 2}^n x_i e_i \in \operatorname{span} \{e_2, \dots, e_n\} = K^{n-1},$$
we have
\begin{align}
f(x) \cdot f(x) & = \sum_{i,j} x_i x_j e_1 \cdot e_i \cdot e_1 \cdot e_j \\
& = - \sum_{i,j} x_i x_j e_1 \cdot e_1 \cdot e_i \cdot e_j \\
& = \sum_{i,j} x_i x_j (-a_1) e_i \cdot e_j \\
& = \sum_{i = 2}^n (-a_1 a_i) x_i^2 \\
& = \tilde{q}(x) \cdot 1.
\end{align}
Hence $f$ is a Clifford map and by the universal property of Clifford algebras, it extends uniquely to a map
$$\tilde{f}: \Cl(\tilde{q}) \longrightarrow \Cl^0(q).$$
Now it is easy to check that $\tilde{f}$ is an isomorphism, so that
$$\Cl^0(\langle a_1, \dots, a_n \rangle) \cong \Cl(\langle b_2, \dots, b_n \rangle).$$
