Group of recursive permutations
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 group
View a complete list of particular groups (this is a very huge list!)[SHOW MORE]
History
Origin
The group of recursive permutations was first studied by Clement F. Kent in his paper Constructive Analogues of the Group of Permutations of the Natural Numbers.
Definition
Let denote the set of natural numbers. The group of recursive permutations of is the group of all those permutations of that arise via recursive functions.
This group contains the finitary symmetric group on the natural numbers, and is contained inside the symmetric group on natural numbers (the group of all permutations on the natural numbers).
References
- Constructive analogues of the group of permutations of the natural numbers by Clement F. Kent, Transactions of the American Mathematical Society, Vol. 104, No. 2. (Aug., 1962), pp. 347-362.
- Transversals and conjugacy classes in the group of recursive permutations by Graham Higman, Groups -- Canberra, 1989, Pages 142-160