习题 6, § 6

令 $G$ 为有限生成的无扭转幂零群。 证明，如果$n$是足够大，则$G$可以嵌入到$\mathbf{Z}$上阶$n$的下严格三角形群中。 （令 $(i, \overline{G})$ 为 $G$、cf. § 5、习题 6 的 $\mathbf{P}$ 包络；以其规范的李代数结构 (习题 4)，$\overline{G}$ 是有限维幂零谎言$\mathbf{Q}$-代数。 将 Ado 的定理 (章 I, § 7) 应用于 $\overline{G}$ 并推导出 $\overline{G}$ 在 $\mathbf{Q}$ 上的严格三角形群中的嵌入。 通过合适的积分对角矩阵共轭，从 $\mathbf{Q}$ 传递到 $\mathbf{Z}$。）