# Wreath product of group of integers with group of integers

From Groupprops

This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this groupView a complete list of particular groups (this is a very huge list!)[SHOW MORE]

## Statement

The **wreath product of group of integers with group of integers** is defined as the restricted external wreath product:

,

where is the additive group of integers, and the permutation action is the regular group action. It can also be viewed as the semidirect product of the additive group of the Laurent polynomial ring over with the multiplicative cyclic group generated by .

## Facts

- This group gives an example of a finitely generated group that is not finitely presented.
`Further information: Finitely generated not implies finitely presented` - This group occurs as a subgroup in the general affine group , as follows: let be any transcendental real number. Consider the subgroup comprising maps of the form , where is any integer (possibly negative) and is any Laurent polynomial in . Here, the base of the wreath product is realized as translations , where is an integer, while the acting elements are of the form .