MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Dear experts,

I am looking for two facts about free pro-$p$ groups, and will be glad to receive some reference or suggestions

For convenience reasons, I'll post my questions in two different messages:

In "The structure of groups of prime power order"/Leedham-Green , it is written that there is a normal form of writing the elements in a free pro-$p$ group as a product of basic commutators. Although I am familiar with the collection process in finite groups, I can't understand what is this "normal" form in the free pro-$p$ context.

Does someone have an idea? Can someone tell me where can I find this "normal" form?

Thanks !!!!!

share|cite|improve this question
5… ;) – Yemon Choi Nov 23 '12 at 21:19
I haven't looked at the paper, but you can write any element in a profinite group as a sequence of elements in finite group quotients which are compatible. Since finite p-groups are nilpotent, one gets a filtration by the lower central p-series. So any element can be expressed as an infinite product of commutators, where the kth element lies in the lower p-central series of the k+1st finite p-group. – Ian Agol Nov 24 '12 at 7:08
OK... Thanks @Agol ! – Jeremy Young Nov 24 '12 at 9:16

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.