1: \begin{definition} Let $K/\mathbb{Q}_p$ be a finite extension with degree $d$, ramification degree $e$, residue degree $f$, and let $A$ be its ring of integers, $\pi$ a uniformizer for $A$, and $k$ the residue field of $A$.

2: Let $n$ be a positive integer, and let $\omega$ be a $\left(\frac{q^{en}-1}{q^{n}-1}\right)$th root, 

3: in $\overline{k}$,

4: of $\frac{\pi^e}{p}$. We have the restricted graded Lie algebras 

5: $PE_0k(\omega)[\strictAut({}_{\omega}\mathbb{G}_{1/n}^A)]$

6: and $PE_0k(\omega)[\strictAut({}_{1}\mathbb{G}_{1/dn}^{\hat{\mathbb{Z}}_p})]$

7: over $k(\omega)$, and we write $L^A_{\omega}(n)$ and $L(dn)$, respectively, as shorthand notations for them.

8: If $\ell$ is a positive integer, we will also write

9: $L(dn,\ell)$ for the quotient Lie algebra of $L(dn)$ in which we 

10: quotient out all generators $x_{i,j}$ for which $i>\ell$ (this notation agrees with that of Theorem~\ref{ravenels spectral sequences}); and

11: we will write $L^A_{\omega}(n,\ell)$ for the quotient Lie algebra of $L^A_{\omega}(n)$ in which we 

12: quotient out all generators $x_{i,j}^A$ for which $i>\ell$. We have an obvious commutative diagram

13: of homomorphisms of Lie algebras:

14: \[ \xymatrix{ L^A_{\omega}(n,\ell) \ar[r] & L(dn,\ell)  \\

15:  L^A_{\omega}(n)\ar[r]\ar[u] & L(dn)\ar[u].}\]\end{definition}

16: