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$.
$\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).$$