Skip to main content
1 of 3
Qwert Otto
  • 985
  • 2
  • 11

Is Malcev completion an embedding?

The Malcev completion of an abstract group $G$ over a field $k$ of characteristic zero is defined by $$\hat G = \mathbb{G}(\widehat{k[G]}) ,$$ the group-like part of the completed (by the augmentation ideal) group ring.

Question: Suppose that $G$ is residually nilpotent and torsion-free. Then, is the natural map $G\to \hat G$ an injection?

I've heard that this is true for free groups, and in the first part of this MO post claims a nilpotent and torsion-free $G$ is embedded into $\hat G$ as a lattice, but without proofs in either case.

Any comments or references are appreciated.

Qwert Otto
  • 985
  • 2
  • 11