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

Let $K$ be the set of open-closed subsets of $\mathbb{Z}_p$. Let $M$ be the set of functions from $K$ to $C_p$ that are additive under disjoint unions. Then $M$ can be regarded as an elementary abelian pro-$p$ group: multiplication is pointwise in $C_p$, and a base of open subgroups is given by $\{ U_n \}$, where $U_n$ consists of those functions which map cosets of $p^n \mathbb{Z}_p$ to $0$. Moreover, $\mathbb{Z}_p$ has a translation action on $K$, and hence a continuous action on $M$ in which each of the $U_n$ is normalised. We use this action to construct a group $G = M \rtimes \mathbb{Z}_p$. This is realisable as an inverse limit of the groups $C_p \wr C_{p^n}$ (regular wreath product); in particular, it is a $2$-generator pro-$p$ group.

Now for the question: Is the group $G$ above isomorphic to a group arising from some standard construction, and if so does it have a nice name? I would be surprised if nobody has used this group before as an example of something or other. Also, there seems to be quite a general construction behind this.

Edit: the group described is a subgroup of the pro-$p$ group $C_p \wr_K \mathbb{Z}_p$. The unusual part is the extra condition that the functions should be additive (motivation: I wanted $G$ to have relatively few normal subgroups). Are there alternative conditions one could impose that would result in an isomorphic group? In particular, I'm relying on the fact that $C_p$ is abelian, which is bad for generalisations.

share|cite|improve this question
Is $C_p$ the cyclic group of order $p$? – Victor Protsak Jul 27 '10 at 18:05
Yes. The same construction would also work with any (profinite) abelian group in place of $C_p$. – Colin Reid Jul 29 '10 at 8:52
up vote 1 down vote accepted

I would call this group the pro-$p$ completion of $C_p \wr \mathbb{Z}$. Alternatively, it is the group given by the pro-$p$ presentation <$ a, b| a^p, [a, a^b]>$, along similiar lines.

It looks a lot like $C_p\wr \mathbb{Z}_p$, except we have the product of as many copies of $C_p$ as open subgroups of $\mathbb{Z}_p$ rather than elements. This does seem a natural, interesting, general construction, and unless I am mistaken is a generalistion of the pro-$p$ wreath product. (This particular example is nice especially by virtue of having a balanced pro-$p$ presentation).

share|cite|improve this answer
Yes, that sounds about right. It certainly contains a dense copy of $C_p \wr \mathbb{Z}$ (restricted wreath product), but I'm not sure if it contains a copy of the unrestricted wreath product. – Colin Reid Jul 29 '10 at 9:09

It appears to be a $p$-adic analog of the lamplighter group.

share|cite|improve this answer
Indeed, but I suspect there are several claimants to the name of 'lamplighter group' in the world of pro-$2$ groups. – Colin Reid Jul 29 '10 at 9:27

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.