MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 added 6 characters in body

Let G be a group. Let $G^p$ be the completion of G with respect to the mod p lower central series of G.i.e. $G^p=\varprojlim_{q} G/\gamma_qG$, where $\gamma_qG$ is defined generated by all ${[x_1,\cdots,x_q]^{p^t}:sp^t\geq {[x_1,\cdots,x_s]^{p^t}:sp^t\geq q, x_i\in G}$ and $[x_1,\cdots,x_q]$ [x_1,\cdots,x_s]$is the iterated commutator$[\cdots[x_1,x_2],\cdots,x_q]$.[\cdots[x_1,x_2],\cdots,x_s]$.

Is it true that the group ring of the completion ${\mathbb{Z}}/p[G^p]$ is the completion of the group ring ${\mathbb{Z}}/p[G]$ with respect to the products of the augmentation ideal? i.e. ${\mathbb{Z}}/p[G^p]\cong \varprojlim_{q}{\mathbb{Z}}/p[G]/I^q$, where $I$ is the augmentation ideal of the group ring ${\mathbb{Z}}/p[G]$?

2 edited tags; edited title

1

# relation of two completions with respect to mod-p lower central series and augmentation ideal respectively

Let G be a group. Let $G^p$ be the completion of G with respect to the mod p lower central series of G.i.e. $G^p=\varprojlim_{q} G/\gamma_qG$, where $\gamma_qG$ is defined by ${[x_1,\cdots,x_q]^{p^t}:sp^t\geq q, x_i\in G}$ and $[x_1,\cdots,x_q]$ is the iterated commutator $[\cdots[x_1,x_2],\cdots,x_q]$.

Is it true that the group ring of the completion ${\mathbb{Z}}/p[G^p]$ is the completion of the group ring ${\mathbb{Z}}/p[G]$ with respect to the products of the augmentation ideal? i.e. ${\mathbb{Z}}/p[G^p]\cong \varprojlim_{q}{\mathbb{Z}}/p[G]/I^q$, where $I$ is the augmentation ideal of the group ring ${\mathbb{Z}}/p[G]$?