Lamplighter group

Definition
The lamplighter group is the defining ingredient::restricted regular wreath product with base group cyclic group:Z2 and acting group the group of integers.