Noun
lamplighter group (plural lamplighter groups) (group theory) The restricted wreath product Z 2 ≀ Z {\displaystyle \mathbf {Z} _{2}\wr \mathbf {Z} } .