Generalized symmetric group

From Groupprops
Jump to: navigation, search
This is a variation of symmetric group|Find other variations of symmetric group |

Definition

The generalized symmetric group with parameters m and n, denoted S(m,n), is defined in the following equivalent ways:

  1. It is the external wreath product of the cyclic group \mathbb{Z}_m of order m, and the symmetric group S_n (specifically, symmetric group on finite set) of degree n, with the natural action of the latter on a set of size n.
  2. It is the external semidirect product of the homocyclic group (\mathbb{Z}_m)^n and the symmetric group of degree n, where the latter has a natural action by coordinate permutations.
  3. It is the subgroup of the general linear group GL(n,\mathbb{C}) over the field of complex numbers comprising monomial matrices (i.e., matrices where every row has exactly one nonzero entry and every column has exactly one nonzero entry) where all the nonzero entries are m^{th} roots of unity. Note that the group also has a faithful monomial representation of degree n over any field where the polynomial x^m - 1 splits completely.
  4. It is the centralizer inside the symmetric group of degree mn of a permutation that is a product of n disjoint cycles of size m each.

Arithmetic functions

Function Value Explanation
order m^n \cdot n!

Particular cases

Two very special cases

GAP implementation

These groups can be constructed in GAP using the WreathProduct, CyclicGroup and SymmetricGroup functions, as follows:

WreathProduct(CyclicGroup(m),SymmetricGroup(n))