8
$\begingroup$

I asked the following question in math.stackexchange and did not get any answer, so I am asking it here:

Let $G$ be a group and let $G_n$ be its series of dimension subgroups defined as follows:

$$ G _ n=\{ g \in G | g-1 \in \Delta^n \} $$ where $\Delta$ is the augmentation ideal.

This series has the property $[G_m,G_n]\leq G_{m+n}$. If $G_n/G_{n+1}$ are elementary abelian p groups It follows that $$ L(G)= \bigoplus (G_n/G_{n+1}) $$ forms a Lie algebra over $F_p$.

In a paper I am reading it is said that $L(G)$ and $L(\hat G)$ are isomorphic. (The group in consideration is a 2 group). Does this follow easily from the definitions? If not could you give me a reference for this?

$\endgroup$
2
  • 1
    $\begingroup$ What is $\hat G$? $\endgroup$
    – LSpice
    Jul 28, 2011 at 0:17
  • 2
    $\begingroup$ The profinite completion of G - the clue's in the question. $\endgroup$
    – HJRW
    Jul 28, 2011 at 2:00

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.