In
mathematics, more specifically in
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 ...
, the character of a
group representation
In the mathematical field of representation theory, group representations describe abstract groups in terms of bijective linear transformations of a vector space to itself (i.e. vector space automorphisms); in particular, they can be used t ...
is a
function
Function or functionality may refer to:
Computing
* Function key, a type of key on computer keyboards
* Function model, a structured representation of processes in a system
* Function object or functor or functionoid, a concept of object-orie ...
on the
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...
that associates to each group element the
trace
Trace may refer to:
Arts and entertainment Music
* ''Trace'' (Son Volt album), 1995
* ''Trace'' (Died Pretty album), 1993
* Trace (band), a Dutch progressive rock band
* ''The Trace'' (album)
Other uses in arts and entertainment
* ''Trace'' ...
of the corresponding
matrix
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** '' The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchi ...
. The character carries the essential information about the representation in a more condensed form.
Georg Frobenius
Ferdinand Georg Frobenius (26 October 1849 – 3 August 1917) was a German mathematician, best known for his contributions to the theory of elliptic functions, differential equations, number theory, and to group theory. He is known for the famo ...
initially developed
representation theory of finite groups
The representation theory of groups is a part of mathematics which examines how groups act on given structures.
Here the focus is in particular on operations of groups on vector spaces. Nevertheless, groups acting on other groups or on sets are ...
entirely based on the characters, and without any explicit matrix realization of representations themselves. This is possible because a
complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
representation of a
finite group is determined (up to
isomorphism
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word i ...
) by its character. The situation with representations over a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
of positive
characteristic, so-called "modular representations", is more delicate, but
Richard Brauer
Richard Dagobert Brauer (February 10, 1901 – April 17, 1977) was a leading German and American mathematician. He worked mainly in abstract algebra, but made important contributions to number theory. He was the founder of modular represent ...
developed a powerful theory of characters in this case as well. Many deep theorems on the structure of finite groups use characters of
modular representations.
Applications
Characters of
irreducible representations encode many important properties of a group and can thus be used to study its structure. Character theory is an essential tool in the
classification of finite simple groups
In mathematics, the classification of the finite simple groups is a result of group theory stating that every finite simple group is either cyclic, or alternating, or it belongs to a broad infinite class called the groups of Lie type, or els ...
. Close to half of the
proof
Proof most often refers to:
* Proof (truth), argument or sufficient evidence for the truth of a proposition
* Alcohol proof, a measure of an alcoholic drink's strength
Proof may also refer to:
Mathematics and formal logic
* Formal proof, a con ...
of the
Feit–Thompson theorem In mathematics, the Feit–Thompson theorem, or odd order theorem, states that every finite group of odd order is solvable. It was proved by .
History
conjectured that every nonabelian finite simple group has even order. suggested using ...
involves intricate calculations with character values. Easier, but still essential, results that use character theory include
Burnside's theorem (a purely group-theoretic proof of Burnside's theorem has since been found, but that proof came over half a century after Burnside's original proof), and a theorem of
Richard Brauer
Richard Dagobert Brauer (February 10, 1901 – April 17, 1977) was a leading German and American mathematician. He worked mainly in abstract algebra, but made important contributions to number theory. He was the founder of modular represent ...
and
Michio Suzuki Michio Suzuki may refer to:
*, Japanese businessman, inventor and founder of the Suzuki Motor Corporation
*, Japanese mathematician
{{hndis, Suzuki, Michio ...
stating that a finite
simple group
SIMPLE Group Limited is a conglomeration of separately run companies that each has its core area in International Consulting. The core business areas are Legal Services, Fiduciary Activities, Banking Intermediation and Corporate Service.
The da ...
cannot have a
generalized quaternion group
In group theory, the quaternion group Q8 (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset
\ of the quaternions under multiplication. It is given by the group presentation
:\mathrm_8 ...
as its
Sylow -subgroup.
Definitions
Let be a
finite-dimensional
In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to d ...
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but ...
over a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
and let be 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 a group on . The character of is the function given by
:
where is the
trace
Trace may refer to:
Arts and entertainment Music
* ''Trace'' (Son Volt album), 1995
* ''Trace'' (Died Pretty album), 1993
* Trace (band), a Dutch progressive rock band
* ''The Trace'' (album)
Other uses in arts and entertainment
* ''Trace'' ...
.
A character is called irreducible or simple if is an
irreducible representation. The degree of the character is the
dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coor ...
of ; in characteristic zero this is equal to the value . A character of degree 1 is called linear. When is finite and has characteristic zero, the kernel of the character is the
normal subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G ...
:
:
which is precisely the kernel of the representation . However, the character is ''not'' a group homomorphism in general.
Properties
* Characters are
class function
In mathematics, especially in the fields of group theory and representation theory of groups, a class function is a function on a group ''G'' that is constant on the conjugacy classes of ''G''. In other words, it is invariant under the conjug ...
s, that is, they each take a constant value on a given
conjugacy class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other w ...
. More precisely, the set of irreducible characters of a given group into a field form a
basis
Basis may refer to:
Finance and accounting
*Adjusted basis, the net cost of an asset after adjusting for various tax-related items
*Basis point, 0.01%, often used in the context of interest rates
* Basis trading, a trading strategy consisting o ...
of the -vector space of all class functions .
*
Isomorphic representations have the same characters. Over a field of
characteristic , two representations are isomorphic
if and only if
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bi ...
they have the same character.
* If a representation is the
direct sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a mo ...
of
subrepresentation In representation theory, a subrepresentation of a representation (\pi, V) of a group ''G'' is a representation (\pi, _W, W) such that ''W'' is a vector subspace
In mathematics, and more specifically in linear algebra, a linear subspace, also ...
s, then the corresponding character is the sum of the characters of those subrepresentations.
* If a character of the finite group is restricted to a
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 ...
, then the result is also a character of .
* Every character value is a sum of -th
roots of unity
In mathematics, a root of unity, occasionally called a de Moivre number, is any complex number that yields 1 when raised to some positive integer power . Roots of unity are used in many branches of mathematics, and are especially important i ...
, where is the degree (that is, the dimension of the associated vector space) of the representation with character and is the
order
Order, ORDER or Orders may refer to:
* Categorization, the process in which ideas and objects are recognized, differentiated, and understood
* Heterarchy, a system of organization wherein the elements have the potential to be ranked a number of ...
of . In particular, when , every such character value is an
algebraic integer
In algebraic number theory, an algebraic integer is a complex number which is integral over the integers. That is, an algebraic integer is a complex root of some monic polynomial (a polynomial whose leading coefficient is 1) whose coefficien ...
.
* If and is irreducible, then
is an
algebraic integer
In algebraic number theory, an algebraic integer is a complex number which is integral over the integers. That is, an algebraic integer is a complex root of some monic polynomial (a polynomial whose leading coefficient is 1) whose coefficien ...
for all in .
* If is
algebraically closed
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in .
Examples
As an example, the field of real numbers is not algebraically closed, becaus ...
and does not divide the
order
Order, ORDER or Orders may refer to:
* Categorization, the process in which ideas and objects are recognized, differentiated, and understood
* Heterarchy, a system of organization wherein the elements have the potential to be ranked a number of ...
of , then the number of irreducible characters of is equal to the number of
conjugacy class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other w ...
es of . Furthermore, in this case, the degrees of the irreducible characters are divisors of the order of (and they even divide if ).
Arithmetic properties
Let ρ and σ be representations of . Then the following identities hold:
*
*
*
*