习题 1, § 3

令$\Gamma$为有限指标的Q(R)的子群和$P =\Gamma \cap R$。 代数 $\mathfrak{h}+\mathfrak{g}^P$ 是还原的，$\mathfrak{g}$ 包含 $\mathfrak{h}$ 的任何还原子代数都可以通过这种方式获得（使用章节VI, §1，练习6 b））。