In the
mathematical
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
fields of
representation theory
Representation theory is a branch of mathematics that studies abstract algebraic structures by ''representing'' their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essen ...
and
group theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups.
The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ...
, a
linear representation (
rho
Rho (uppercase Ρ, lowercase ρ or ; el, ρο or el, ρω, label=none) is the 17th letter of the Greek alphabet. In the system of Greek numerals it has a value of 100. It is derived from Phoenician letter res . Its uppercase form uses the sa ...
) of a
group is a monomial representation if there is a finite-index
subgroup
In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgrou ...
and a one-dimensional linear representation of , such that is equivalent to the
induced representation .
Alternatively, one may define it as a representation whose
image
An image is a visual representation of something. It can be two-dimensional, three-dimensional, or somehow otherwise feed into the visual system to convey information. An image can be an artifact, such as a photograph or other two-dimensio ...
is in the
monomial matrices
In mathematics, a monomial is, roughly speaking, a polynomial which has only one term. Two definitions of a monomial may be encountered:
# A monomial, also called power product, is a product of powers of variables with nonnegative integer expon ...
.
Here for example and may be
finite groups, so that ''induced representation'' has a classical sense. The monomial representation is only a little more complicated than the
permutation representation of on the
coset
In mathematics, specifically group theory, a subgroup of a group may be used to decompose the underlying set of into disjoint, equal-size subsets called cosets. There are ''left cosets'' and ''right cosets''. Cosets (both left and right) ...
s of . It is necessary only to keep track of
scalars coming from applied to elements of .
Definition
To define the monomial representation, we first need to introduce the notion of monomial space. A monomial space is a triple
where
is a finite-dimensional complex vector space,
is a finite set and
is a family of one-dimensional subspaces of
such that
.
Now Let
be a group, the monomial representation of
on
is a group homomorphism
such that for every element
,
permutes the
's, this means that
induces an action by permutation of
on
.
References
*
*
Representation theory of groups
{{Algebra-stub