In
mathematics, the term permutation representation of a (typically finite)
group can refer to either of two closely related notions: a
representation
Representation may refer to:
Law and politics
*Representation (politics), political activities undertaken by elected representatives, as well as other theories
** Representative democracy, type of democracy in which elected officials represent a ...
of
as a group of
permutation
In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or p ...
s, or as a group of
permutation matrices. The term also refers to the combination of the two.
Abstract permutation representation
A permutation representation of a
group on a
set is a
homomorphism
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word ''homomorphism'' comes from the Ancient Greek language: () meaning "sa ...
from
to the
symmetric group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group ...
of
:
:
The image
is a
permutation group
In mathematics, a permutation group is a group ''G'' whose elements are permutations of a given set ''M'' and whose group operation is the composition of permutations in ''G'' (which are thought of as bijective functions from the set ''M'' to ...
and the elements of
are represented as permutations of
. A permutation representation is equivalent to an
action
Action may refer to:
* Action (narrative), a literary mode
* Action fiction, a type of genre fiction
* Action game, a genre of video game
Film
* Action film, a genre of film
* ''Action'' (1921 film), a film by John Ford
* ''Action'' (1980 fil ...
of
on the set
:
:
See the article on
group action
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphi ...
for further details.
Linear permutation representation
If
is a
permutation group
In mathematics, a permutation group is a group ''G'' whose elements are permutations of a given set ''M'' and whose group operation is the composition of permutations in ''G'' (which are thought of as bijective functions from the set ''M'' to ...
of degree
, then the permutation representation of
is the
linear representation of
:
which maps
to the corresponding
permutation matrix
In mathematics, particularly in matrix theory, a permutation matrix is a square binary matrix that has exactly one entry of 1 in each row and each column and 0s elsewhere. Each such matrix, say , represents a permutation of elements and, wh ...
(here
is an arbitrary
field).
That is,
acts on
by permuting the standard basis vectors.
This notion of a permutation representation can, of course, be composed with the previous one to represent an arbitrary abstract group
as a group of permutation matrices. One first represents
as a permutation group and then maps each permutation to the corresponding matrix. Representing
as a permutation group acting on itself by
translation
Translation is the communication of the Meaning (linguistic), meaning of a #Source and target languages, source-language text by means of an Dynamic and formal equivalence, equivalent #Source and target languages, target-language text. The ...
, one obtains the
regular representation
In mathematics, and in particular the theory of group representations, the regular representation of a group ''G'' is the linear representation afforded by the group action of ''G'' on itself by translation.
One distinguishes the left regular r ...
.
Character of the permutation representation
Given a group
and a finite set
with
acting on the set
then the
character
Character or Characters may refer to:
Arts, entertainment, and media Literature
* ''Character'' (novel), a 1936 Dutch novel by Ferdinand Bordewijk
* ''Characters'' (Theophrastus), a classical Greek set of character sketches attributed to The ...
of the permutation representation is exactly the number of fixed points of
under the action of
on
. That is
the number of points of
fixed by
.
This follows since, if we represent the map
with a matrix with basis defined by the elements of
we get a permutation matrix of
. Now the character of this representation is defined as the trace of this permutation matrix. An element on the diagonal of a permutation matrix is 1 if the point in
is fixed, and 0 otherwise. So we can conclude that the trace of the permutation matrix is exactly equal to the number of fixed points of
.
For example, if
and
the character of the permutation representation can be computed with the formula
the number of points of
fixed by
.
So
:
as only 3 is fixed
:
as no elements of
are fixed, and
:
as every element of
is fixed.
References
Representation theory of finite groups
Permutation groups
External links
*https://mathoverflow.net/questions/286393/how-do-i-know-if-an-irreducible-representation-is-a-permutation-representation
{{Abstract-algebra-stub