Let $A$ is a (possibly infinite) set.
Let $G$ is a group of functions (more precisely, bijections) on $A$ with function composition.
How to call such a group?
- a group of permutations of $A$;
- a group of bijections on $A$;
- whatever.
Let $A$ is a (possibly infinite) set.
Let $G$ is a group of functions (more precisely, bijections) on $A$ with function composition.
How to call such a group?
I think it's typical to say:
"$G$ is a permutation group on $A$".
If we do a Google Scholar search for "G is a permutation group on"
(in quotes), it comes up with numerous respectable examples of this phrase being used.
This group G is commonly called "the symmetric group on A", especially if A is finite. A shorthand notation is $S_A$.