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 ...
, a branch of
abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...
, a character table is a two-dimensional table whose rows correspond to
irreducible representation
In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation (\rho, V) or irrep of an algebraic structure A is a nonzero representation that has no proper nontrivial subrepresentation (\rho, _W,W ...
s, and whose columns correspond to
conjugacy classes
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 wor ...
of group elements. The entries consist of
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 ...
s, the
traces
Traces may refer to:
Literature
* ''Traces'' (book), a 1998 short-story collection by Stephen Baxter
* ''Traces'' series, a series of novels by Malcolm Rose
Music Albums
* ''Traces'' (Classics IV album) or the title song (see below), 1969
* ''Tra ...
of the matrices representing group elements of the column's class in the given row's group representation. In
chemistry
Chemistry is the science, scientific study of the properties and behavior of matter. It is a natural science that covers the Chemical element, elements that make up matter to the chemical compound, compounds made of atoms, molecules and ions ...
,
crystallography
Crystallography is the experimental science of determining the arrangement of atoms in crystalline solids. Crystallography is a fundamental subject in the fields of materials science and solid-state physics (condensed matter physics). The wor ...
, and
spectroscopy
Spectroscopy is the field of study that measures and interprets the electromagnetic spectra that result from the interaction between electromagnetic radiation and matter as a function of the wavelength or frequency of the radiation. Matter wa ...
,
character tables of point groups are used to classify ''e.g.'' molecular vibrations according to their symmetry, and to predict whether a transition between two states is forbidden for symmetry reasons. Many university level textbooks on
physical chemistry
Physical chemistry is the study of macroscopic and microscopic phenomena in chemical systems in terms of the principles, practices, and concepts of physics such as motion, energy, force, time, thermodynamics, quantum chemistry, statistical mecha ...
,
quantum chemistry
Quantum chemistry, also called molecular quantum mechanics, is a branch of physical chemistry focused on the application of quantum mechanics to chemical systems, particularly towards the quantum-mechanical calculation of electronic contributions ...
,
spectroscopy
Spectroscopy is the field of study that measures and interprets the electromagnetic spectra that result from the interaction between electromagnetic radiation and matter as a function of the wavelength or frequency of the radiation. Matter wa ...
and
inorganic chemistry
Inorganic chemistry deals with synthesis and behavior of inorganic and organometallic compounds. This field covers chemical compounds that are not carbon-based, which are the subjects of organic chemistry. The distinction between the two disci ...
devote a chapter to the use of symmetry group character tables.
Definition and example
The irreducible complex characters of a
finite group
Finite is the opposite of infinite. It may refer to:
* Finite number (disambiguation)
* Finite set, a set whose cardinality (number of elements) is some natural number
* Finite verb, a verb form that has a subject, usually being inflected or marked ...
form a character table which encodes much useful information about 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 ...
''G'' in a compact form. Each row is labelled by an
irreducible character
In mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information abou ...
and the entries in the row are the values of that character on any representative of the respective
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 wor ...
of ''G'' (because 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 conjugat ...
s). The columns are labelled by (representatives of) the conjugacy classes of ''G''. It is customary to label the first row by the character of the
trivial representation In the mathematical field of representation theory, a trivial representation is a representation of a group ''G'' on which all elements of ''G'' act as the identity mapping of ''V''. A trivial representation of an associative or Lie algebra is a ...
, which is the trivial action of on a 1-dimensional vector space by
for all
. Each entry in the first row is therefore 1. Similarly, it is customary to label the first column by the
identity
Identity may refer to:
* Identity document
* Identity (philosophy)
* Identity (social science)
* Identity (mathematics)
Arts and entertainment Film and television
* ''Identity'' (1987 film), an Iranian film
* ''Identity'' (2003 film), ...
. The entries of the first column are the values of the irreducible characters at the identity, the
degree
Degree may refer to:
As a unit of measurement
* Degree (angle), a unit of angle measurement
** Degree of geographical latitude
** Degree of geographical longitude
* Degree symbol (°), a notation used in science, engineering, and mathematics
...
s of the irreducible characters. Characters of degree ''1'' are known as linear characters.
Here is the character table of ''C''
3 = ''
'', the cyclic group with three elements and generator ''u'':
where ω is a primitive third root of unity. The character table for general cyclic groups is (a scalar multiple of) the
DFT matrix
In applied mathematics, a DFT matrix is an expression of a discrete Fourier transform (DFT) as a transformation matrix, which can be applied to a signal through matrix multiplication.
Definition
An ''N''-point DFT is expressed as the multiplicati ...
.
Another example is the character table of
:
where (12) represents conjugacy class consisting of (12),(13),(23), and (123) represents conjugacy class consisting of (123),(132). To learn more about character table of symmetric groups, se
The first row of the character table always consists of 1s, and corresponds to the
trivial representation In the mathematical field of representation theory, a trivial representation is a representation of a group ''G'' on which all elements of ''G'' act as the identity mapping of ''V''. A trivial representation of an associative or Lie algebra is a ...
(the 1-dimensional representation consisting of 1×1 matrices containing the entry 1). Further, the character table is always square because (1) irreducible characters are pairwise orthogonal, and (2) no other non-trivial class function is orthogonal to every character. (A class function is one that is constant on conjugacy classes.) This is tied to the important fact that the irreducible representations of a finite group ''G'' are in bijection with its conjugacy classes. This bijection also follows by showing that the class sums form a basis for the center of the group algebra of ''G'', which has dimension equal to the number of irreducible representations of ''G''.
Orthogonality relations
The space of complex-valued class functions of a finite group ''G'' has a natural inner-product:
:
where
means the complex conjugate of the value of
on
. With respect to this inner product, the irreducible characters form an orthonormal basis
for the space of class-functions, and this yields the orthogonality relation for the rows of the character
table:
:
For
the orthogonality relation for columns is as follows:
:
where the sum is over all of the irreducible characters
of ''G'' and the symbol
denotes the order of the centralizer of
.
For an arbitrary character
, it is irreducible if and only if
.
The orthogonality relations can aid many computations including:
* Decomposing an unknown character as a linear combination of irreducible characters, i.e. # of copies of irreducible representation ''V''
''i'' in ''V'' =
.
* Constructing the complete character table when only some of the irreducible characters are known.
* Finding the orders of the centralizers of representatives of the conjugacy classes of a group.
* Finding the order of the group,
, for any ''g'' in ''G''.
If the irreducible representation ''V'' is non-trivial, then
.
More specifically, consider 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 rep ...
which is the permutation obtained from a finite group ''G'' acting on itself. The characters of this representation are
and
for
not the identity. Then given an irreducible representation
,
:
.
Then decomposing the regular representations as a sum of irreducible representations of ''G'', we get
. From which we conclude
:
over all irreducible representations
. This sum can help narrow down the dimensions of the irreducible representations in a character table. For example, if the group has order 10 and 4 conjugacy classes (for instance, the dihedral group of order 10) then the only way to express the order of the group as a sum of four squares is
, so we know the dimensions of all the irreducible representations.
Properties
Complex conjugation acts on the character table: since the complex conjugate of a representation is again a representation, the same is true for characters, and thus a character that takes on non-trivial complex values has a conjugate character.
Certain properties of the group ''G'' can be deduced from its character table:
* The order of ''G'' is given by the sum of the squares of the entries of the first column (the degrees of the irreducible characters). (See
Representation theory of finite groups#Applying Schur's lemma.) More generally, the sum of the squares of the absolute values of the entries in any column gives the order of the centralizer of an element of the corresponding conjugacy class.
*All normal subgroups of ''G'' (and thus whether or not ''G'' is simple) can be recognised from its character table. The
kernel
Kernel may refer to:
Computing
* Kernel (operating system), the central component of most operating systems
* Kernel (image processing), a matrix used for image convolution
* Compute kernel, in GPGPU programming
* Kernel method, in machine learnin ...
of a character χ is the set of elements ''g'' in ''G'' for which χ(g) = χ(1); this is a normal subgroup of ''G''. Each normal subgroup of ''G'' is the intersection of the kernels of some of the irreducible characters of ''G''.
*The number of irreducible representations of ''G'' equals the number of conjugacy classes that ''G'' has.
*The
commutator subgroup
In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group.
The commutator subgroup is important because it is the smallest normal s ...
of is the intersection of the kernels of the linear characters of .
*If is finite, then since the character table is square and has as many rows as conjugacy classes, it follows that is abelian iff each conjugacy class is a singleton iff the character table of is
iff each irreducible character is linear.
*It follows, using some results 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 ...
from
modular representation theory
Modular representation theory is a branch of mathematics, and is the part of representation theory that studies linear representations of finite groups over a field ''K'' of positive characteristic ''p'', necessarily a prime number. As well as ...
, that the prime divisors of the orders of the elements of each conjugacy class of a finite group can be deduced from its character table (an observation of
Graham Higman
Graham Higman FRS (19 January 1917 – 8 April 2008) was a prominent English mathematician known for his contributions to group theory.
Biography
Higman was born in Louth, Lincolnshire, and attended Sutton High School, Plymouth, winning a ...
).
The character table does not in general determine the group
up to Two Mathematical object, mathematical objects ''a'' and ''b'' are called equal up to an equivalence relation ''R''
* if ''a'' and ''b'' are related by ''R'', that is,
* if ''aRb'' holds, that is,
* if the equivalence classes of ''a'' and ''b'' wi ...
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 is ...
: for example, the
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 ...
''Q'' and the
dihedral group
In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and reflections. Dihedral groups are among the simplest examples of finite groups, and they play an important role in group theory, ge ...
of 8 elements (''D''
4) have the same character table. Brauer asked whether the character table, together with the knowledge of how the powers of elements of its conjugacy classes are distributed, determines a finite group up to isomorphism. In 1964, this was answered in the negative by
E. C. Dade
Everett Clarence Dade is a mathematician at University of Illinois at Urbana–Champaign working on finite groups and representation theory, who introduced the Dade isometry and Dade's conjecture. While an undergraduate at Harvard University, he ...
.
The linear representations of are themselves a group under the
tensor product
In mathematics, the tensor product V \otimes W of two vector spaces and (over the same field) is a vector space to which is associated a bilinear map V\times W \to V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of V \otimes W ...
, since the tensor product of 1-dimensional vector spaces is again 1-dimensional. That is, if
and
are linear representations, then
defines a new linear representation. This gives rise to a group of linear characters, called the
character group In mathematics, a character group is the group of representations of a group by complex-valued functions. These functions can be thought of as one-dimensional matrix representations and so are special cases of the group characters that arise in t ...
under the operation
. This group is connected to
Dirichlet characters
In analytic number theory and related branches of mathematics, a complex-valued arithmetic function \chi:\mathbb\rightarrow\mathbb is a Dirichlet character of modulus m (where m is a positive integer) if for all integers a and b:
:1) \ch ...
and
Fourier analysis
In mathematics, Fourier analysis () is the study of the way general functions may be represented or approximated by sums of simpler trigonometric functions. Fourier analysis grew from the study of Fourier series, and is named after Josep ...
.
Outer automorphisms
The
outer automorphism In mathematics, the outer automorphism group of a group, , is the quotient, , where is the automorphism group of and ) is the subgroup consisting of inner automorphisms. The outer automorphism group is usually denoted . If is trivial and has a t ...
group acts on the character table by permuting columns (conjugacy classes) and accordingly rows, which gives another symmetry to the table. For example, abelian groups have the outer automorphism
, which is non-trivial except for
elementary abelian 2-groups, and outer because abelian groups are precisely those for which conjugation (inner automorphisms) acts trivially. In the example of
above, this map sends
and accordingly switches
and
(switching their values of
and
). Note that this particular automorphism (negative in abelian groups) agrees with complex conjugation.
Formally, if
is an automorphism of ''G'' and
is a representation, then
is a representation. If
is an
inner automorphism
In abstract algebra an inner automorphism is an automorphism of a group, ring, or algebra given by the conjugation action of a fixed element, called the ''conjugating element''. They can be realized via simple operations from within the group it ...
(conjugation by some element ''a''), then it acts trivially on representations, because representations are class functions (conjugation does not change their value). Thus a given class of outer automorphisms, it acts on the characters – because inner automorphisms act trivially, the action of the automorphism group Aut descends to the quotient Out.
This relation can be used both ways: given an outer automorphism, one can produce new representations (if the representation is not equal on conjugacy classes that are interchanged by the outer automorphism), and conversely, one can restrict possible outer automorphisms based on the character table.
Finding the vibrational modes of water molecule using character table
To find the total number of vibrational modes of water molecule, the irreducible representation
needs to calculate from the character table of water molecule first.
Finding Γreducible from the Character Table of H2O molecule
Water (
H2O) molecule falls under the point group
. Below is the character table of
point group, which is also the character table for water molecule.
In here, the first row describes the possible symmetry operations of this point group and the first column represents the Mulliken symbols. The fifth and sixth columns are functions of the axis variables.
Functions:
*
,
and
are related to translational movement and IR active bands.
*
,
and
are related to rotation about respective axis.
* Quadratic functions (such as
,
,
,
,
,
,
,
) are related to Raman active bands.
When determining the characters for a representation, assign
if it remains unchanged,
if it moved, and
if it reversed its direction. A simple way to determine the characters for the reducible representation
, is to multiply the ''number of unshifted atom(s)'' with ''
'contribution per atom along each of three axis (
) when a symmetry operation is carried out.
Unless otherwise stated, for the identity operation
, 'contribution per unshifted atom' for each atom is always
, as none of the atom(s) change their position during this operation. For any reflective symmetry operation
, 'contribution per atom' is always
, as for any reflection, an atom remains unchanged along with two axis and reverse its direction along with the other axis. For the inverse symmetry operation
, 'contribution per unshifted atom' is always
, as each of three axis of an atom reverse its direction during this operation. An easiest way to calculate 'contribution per unshifted atom' for
and
symmetry operation is to use below formulas
Where,
A simplified version of above statements is summarized in the table below
''Character of
for any symmetry operation
Number of unshifted atom(s) during this operation
Contribution per unshifted atom along each of three axis''
Calculating the irreducible representation Γirreducible from the reducible representation Γreducible along with the character table
From the above discussion, a new character table for water molecule (
point group) can be written as
Using the new character table including
, the reducible representation for all motion of the
H2O molecule can be reduced using below formula
where,
order of the group,
character of the
for a particular class,
character from the reducible representation for a particular class,
the number of operations in the class
So,
So, the reduced representation for all motions of water molecule will be
Translational motion for water molecule
Translational motion will corresponds with the reducible representations in the character table, which have
,
and
function
As only the reducible representations
,
and
correspond to the
,
and
function,
Rotational motion for water molecule
Rotational motion will corresponds with the reducible representations in the character table, which have
,
and
function
As only the reducible representations
,
and
correspond to the
,
and
function,
Total vibrational modes for water molecule
Total vibrational mode,
So, total
vibrational modes are possible for water molecules and two of them are symmetric vibrational modes (as
) and the other vibrational mode is antisymmetric (as
)
Checking whether the water molecule is IR active or Raman active
There is some rules to be IR active or Raman active for a particular mode.
* If there is a
,
or
for any irreducible representation, then the mode is IR active
* If there is a quadratic functions such as
,
,
,
,
,
,
or
for any irreducible representation, then the mode is Raman active
* If there is no
,
,
nor quadratic functions for any irreducible representation, then the mode is neither IR active nor Raman active
As the vibrational modes for water molecule
contains both
,
or
and quadratic functions, it has both the IR active vibrational modes and Raman active vibrational modes.
Similar rules will apply for rest of the irreducible representations
See also
*
*
Molecular symmetry
Molecular symmetry in chemistry describes the symmetry present in molecules and the classification of these molecules according to their symmetry. Molecular symmetry is a fundamental concept in chemistry, as it can be used to predict or explain m ...
*
Character tables of small groups on GroupNames*
*
References
{{DEFAULTSORT:Character Table
Group theory
Representation theory