习题 8, § 6

令$k$为特征零的域，E为$k$上的分级左大数（代数，第III, §11, no. 4章，定义3）。假设 E 是反交换且反共交换的，且 $E_m= 0$ 对应 $m$ 足够大。用 E 的原语元素的 P 集合表示（cf. 第 II, §1 章）。

a) 证明 P 的每个齐次元素都是奇数次数（扩展 $c(x^m)$ 以获得$m$ 大）。推断出存在一个典型的分级左大数态射$\varphi :\wedge \wedge (P)\rightarrow E$（$\wedge \wedge (P)$的分级左大数结构是在代数，第III, §11，练习6中定义的）。

b) 证明$\varphi$是同构（改编II, §1, no. 6第1章的证明）。