Character table

Last updated

In group theory, a branch of abstract algebra, a character table is a two-dimensional table whose rows correspond to irreducible representations, and whose columns correspond to conjugacy classes of group elements. The entries consist of characters, the traces of the matrices representing group elements of the column's class in the given row's group representation. In chemistry, crystallography, and spectroscopy, 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, quantum chemistry, spectroscopy and inorganic chemistry devote a chapter to the use of symmetry group character tables. [1] [2] [3] [4] [5] [6]

Contents

Definition and example

The irreducible complex characters of a finite group form a character table which encodes much useful information about the group G in a concise form. Each row is labelled by an irreducible character and the entries in the row are the values of that character on any representative of the respective conjugacy class of G (because characters are class functions). 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 , which is the trivial action of G 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. The entries of the first column are the values of the irreducible characters at the identity, the degrees of the irreducible characters. Characters of degree 1 are known as linear characters.

Here is the character table of C3 = <u>, the cyclic group with three elements and generator u:

 (1)(u)(u2)
1111
χ11ωω2
χ21ω2ω

where ω is a primitive cube root of unity. The character table for general cyclic groups is (a scalar multiple of) the DFT matrix.

Another example is the character table of :

 (1)(12)(123)
χtriv111
χsgn1−11
χstand20−1

where (12) represents the conjugacy class consisting of (12), (13), (23), while (123) represents the conjugacy class consisting of (123), (132). To learn more about character table of symmetric groups, see .

The first row of the character table always consists of 1s, and corresponds to the trivial representation (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 denotes 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:

If the irreducible representation V is non-trivial, then

More specifically, consider the regular representation which is the permutation obtained from a finite group G acting on (the free vector space spanned by) 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-real complex values has a conjugate character.

Certain properties of the group G can be deduced from its character table:

The character table does not in general determine the group up to isomorphism: for example, the quaternion group and the dihedral group of order 8 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.

The linear representations of G are themselves a group under the tensor product, 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 under the operation . This group is connected to Dirichlet characters and Fourier analysis.

Outer automorphisms

The outer automorphism 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 (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 descends to the quotient .

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 a water molecule using character table

To find the total number of vibrational modes of a water molecule, the irreducible representation Γirreducible needs to calculate from the character table of a water molecule first.

Finding Γreducible from the Character Table of H²O molecule

Water () molecule falls under the point group . [7] Below is the character table of point group, which is also the character table for a water molecule.

Character table for point group
1111
11−1−1
1−11−1
1−1−11

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:

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 [8]

where,

A simplified version of above statements is summarized in the table below

OperationContribution

per unshifted atom

3
−1
0
1
2
1
−3
−2
−1
0

Character of for any symmetry operation Number of unshifted atom(s) during this operation Contribution per unshifted atom along each of three axis

Finding the characters for
Number of unshifted atom(s)3131
Contribution per unshifted atom3−111
9−131

Calculating the irreducible representation Γirreducible from the reducible representation Γreducible along with the character table

From the above discussion, a new character table for a water molecule ( point group) can be written as

New character table for molecule including
1111
11−1−1
1−11−1
1−1−11
9−131

Using the new character table including , the reducible representation for all motion of the 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

For molecule

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

For molecule

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.

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

Related Research Articles

In the mathematical field of representation theory, a weight of an algebra A over a field F is an algebra homomorphism from A to F, or equivalently, a one-dimensional representation of A over F. It is the algebra analogue of a multiplicative character of a group. The importance of the concept, however, stems from its application to representations of Lie algebras and hence also to representations of algebraic and Lie groups. In this context, a weight of a representation is a generalization of the notion of an eigenvalue, and the corresponding eigenspace is called a weight space.

<span class="mw-page-title-main">Cayley graph</span> Graph defined from a mathematical group

In mathematics, a Cayley graph, also known as a Cayley color graph, Cayley diagram, group diagram, or color group, is a graph that encodes the abstract structure of a group. Its definition is suggested by Cayley's theorem, and uses a specified set of generators for the group. It is a central tool in combinatorial and geometric group theory. The structure and symmetry of Cayley graphs makes them particularly good candidates for constructing expander graphs.

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.

In mathematics, the projective special linear group PSL(2, 7), isomorphic to GL(3, 2), is a finite simple group that has important applications in algebra, geometry, and number theory. It is the automorphism group of the Klein quartic as well as the symmetry group of the Fano plane. With 168 elements, PSL(2, 7) is the smallest nonabelian simple group after the alternating group A5 with 60 elements, isomorphic to PSL(2, 5).

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 about the representation in a more condensed form. Georg Frobenius initially developed representation theory of finite groups entirely based on the characters, and without any explicit matrix realization of representations themselves. This is possible because a complex representation of a finite group is determined by its character. The situation with representations over a field of positive characteristic, so-called "modular representations", is more delicate, but Richard Brauer 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.

In mathematics, the Borel–Weil–Bott theorem is a basic result in the representation theory of Lie groups, showing how a family of representations can be obtained from holomorphic sections of certain complex vector bundles, and, more generally, from higher sheaf cohomology groups associated to such bundles. It is built on the earlier Borel–Weil theorem of Armand Borel and André Weil, dealing just with the space of sections, the extension to higher cohomology groups being provided by Raoul Bott. One can equivalently, through Serre's GAGA, view this as a result in complex algebraic geometry in the Zariski topology.

In mathematics and in theoretical physics, the Stone–von Neumann theorem refers to any one of a number of different formulations of the uniqueness of the canonical commutation relations between position and momentum operators. It is named after Marshall Stone and John von Neumann.

The representation theory of groups is a part of mathematics which examines how groups act on given structures.

In mathematics, the representation theory of the symmetric group is a particular case of the representation theory of finite groups, for which a concrete and detailed theory can be obtained. This has a large area of potential applications, from symmetric function theory to quantum chemistry studies of atoms, molecules and solids.

In theoretical physics and mathematics, a Wess–Zumino–Witten (WZW) model, also called a Wess–Zumino–Novikov–Witten model, is a type of two-dimensional conformal field theory named after Julius Wess, Bruno Zumino, Sergei Novikov and Edward Witten. A WZW model is associated to a Lie group, and its symmetry algebra is the affine Lie algebra built from the corresponding Lie algebra. By extension, the name WZW model is sometimes used for any conformal field theory whose symmetry algebra is an affine Lie algebra.

<span class="mw-page-title-main">Burnside's theorem</span> Mathematic group theory

In mathematics, Burnside's theorem in group theory states that if G is a finite group of order where p and q are prime numbers, and a and b are non-negative integers, then G is solvable. Hence each non-Abelian finite simple group has order divisible by at least three distinct primes.

In mathematics, the Schur orthogonality relations, which were proven by Issai Schur through Schur's lemma, express a central fact about representations of finite groups. They admit a generalization to the case of compact groups in general, and in particular compact Lie groups, such as the rotation group SO(3).

In mathematics, Deligne–Lusztig theory is a way of constructing linear representations of finite groups of Lie type using ℓ-adic cohomology with compact support, introduced by Pierre Deligne and George Lusztig (1976).

In mathematics, especially in the area of algebra known as representation theory, the representation ring of a group is a ring formed from all the finite-dimensional linear representations of the group. Elements of the representation ring are sometimes called virtual representations. For a given group, the ring will depend on the base field of the representations. The case of complex coefficients is the most developed, but the case of algebraically closed fields of characteristic p where the Sylow p-subgroups are cyclic is also theoretically approachable.

In mathematics, the Arthur–Selberg trace formula is a generalization of the Selberg trace formula from the group SL2 to arbitrary reductive groups over global fields, developed by James Arthur in a long series of papers from 1974 to 2003. It describes the character of the representation of G(A) on the discrete part L2
0
(G(F)\G(A))
of L2(G(F)\G(A)) in terms of geometric data, where G is a reductive algebraic group defined over a global field F and A is the ring of adeles of F.

<span class="mw-page-title-main">McKay graph</span> Construction in graph theory

In mathematics, the McKay graph of a finite-dimensional representation V of a finite group G is a weighted quiver encoding the structure of the representation theory of G. Each node represents an irreducible representation of G. If χ i, χ j are irreducible representations of G, then there is an arrow from χ i to χ j if and only if χ j is a constituent of the tensor product Then the weight nij of the arrow is the number of times this constituent appears in For finite subgroups H of the McKay graph of H is the McKay graph of the defining 2-dimensional representation of H.

This is a glossary of representation theory in mathematics.

In representation theory of mathematics, the Waldspurger formula relates the special values of two L-functions of two related admissible irreducible representations. Let k be the base field, f be an automorphic form over k, π be the representation associated via the Jacquet–Langlands correspondence with f. Goro Shimura (1976) proved this formula, when and f is a cusp form; Günter Harder made the same discovery at the same time in an unpublished paper. Marie-France Vignéras (1980) proved this formula, when and f is a newform. Jean-Loup Waldspurger, for whom the formula is named, reproved and generalized the result of Vignéras in 1985 via a totally different method which was widely used thereafter by mathematicians to prove similar formulas.

In quantum mechanics, symmetry operations are of importance in giving information about solutions to a system. Typically these operations form a mathematical group, such as the rotation group SO(3) for spherically symmetric potentials. The representation theory of these groups leads to irreducible representations, which for SO(3) gives the angular momentum ket vectors of the system.

<span class="mw-page-title-main">Finite subgroups of SU(2)</span> Use of mathematical groups in magnetochemistry

In applied mathematics, finite subgroups of SU(2) are groups composed of rotations and related transformations, employed particularly in the field of physical chemistry. The symmetry group of a physical body generally contains a subgroup of the 3D rotation group. It may occur that the group {±1} with two elements acts also on the body; this is typically the case in magnetism for the exchange of north and south poles, or in quantum mechanics for the change of spin sign. In this case, the symmetry group of a body may be a central extension of the group of spatial symmetries by the group with two elements. Hans Bethe introduced the term "double group" (Doppelgruppe) for such a group, in which two different elements induce the spatial identity, and a rotation of 2π may correspond to an element of the double group that is not the identity.

References

  1. Quantum Chemistry, 3rd ed. John P. Lowe, Kirk Peterson ISBN   0-12-457551-X
  2. Physical Chemistry: A Molecular Approach by Donald A. McQuarrie, John D. Simon ISBN   0-935702-99-7
  3. The chemical bond, 2nd ed. J.N. Murrell, S.F.A. Kettle, J.M. Tedder ISBN   0-471-90760-X
  4. Physical Chemistry, 8th ed. P.W. Atkins and J. de Paula, W.H. Freeman, 2006 ISBN   0-7167-8759-8, chap.12
  5. Molecular Symmetry and Spectroscopy, 2nd ed. Philip R. Bunker and Per Jensen, NRC Research Press, Ottawa, 1998 [ permanent dead link ] ISBN   9780660196282
  6. G. L. Miessler and D. A. Tarr Inorganic Chemistry, 2nd ed. Pearson, Prentice Hall, 1998 ISBN   0-13-841891-8, chap.4.
  7. Reimers, J.R.; Watts, R.O. (1984-06-10). "A local mode potential function for the water molecule". Molecular Physics. 52 (2): 357–381. doi:10.1080/00268978400101271. ISSN   0026-8976.
  8. Davidson, George (1991-06-06). Group Theory for Chemists. Macmillan International Higher Education. ISBN   978-1-349-21357-3.