HOME

TheInfoList



OR:

In
group theory In abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen ...
, 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 ter ...
, 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, _ ...
s, and whose columns correspond to conjugacy classes 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 of the matrices representing group elements of the column's class in the given row's group representation. In
chemistry Chemistry is the scientific study of the properties and behavior of matter. It is a natural science that covers the elements that make up matter to the compounds made of atoms, molecules and ions: their composition, structure, proper ...
,
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 ...
, 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, statistica ...
,
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 ...
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 ma ...
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 abo ...
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 wo ...
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 conjuga ...
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, which is the trivial action of on a 1-dimensional vector space by \rho(g)=1 for all g\in G . 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), an ...
. 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 ''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. Another example is the character table of S_3: 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 (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: :\left \langle \alpha, \beta\right \rangle := \frac\sum_ \alpha(g) \overline where \overline means the complex conjugate of the value of \beta on g. 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: :\left \langle \chi_i, \chi_j \right \rangle = \begin 0 & \mbox i \ne j, \\ 1 & \mbox i = j. \end For g, h \in G the orthogonality relation for columns is as follows: :\sum_ \chi_i(g) \overline = \begin \left , C_G(g) \right , , & \mbox g, h \mbox \\ 0 & \mbox\end where the sum is over all of the irreducible characters \chi_i of ''G'' and the symbol \left , C_G(g) \right , denotes the order of the centralizer of g. For an arbitrary character \chi_i, it is irreducible if and only if \left \langle \chi_i, \chi_i \right \rangle =1. 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'' = \left \langle \chi, \chi_i \right \rangle . * 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, \left , G \right , = \left , Cl(g) \right , * \sum_ \chi_i(g) \overline , for any ''g'' in ''G''. If the irreducible representation ''V'' is non-trivial, then \sum_ \chi(g) = 0 . More specifically, consider the regular representation which is the permutation obtained from a finite group ''G'' acting on itself. The characters of this representation are \chi(e) =\left , G \ and \chi(g) = 0 for g not the identity. Then given an irreducible representation V_i, :\left \langle \chi_, \chi_i \right \rangle =\frac\sum_ \chi_i(g) \overline = \frac \chi_i(1) \overline = \operatorname V_i. Then decomposing the regular representations as a sum of irreducible representations of ''G'', we get V_ = \oplus V_i^. From which we conclude :\left , G \right , = \operatorname V_ = \sum(\operatorname V_i)^2 over all irreducible representations V_i. 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 10 = 1^2+1^2+2^2+2^2, 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 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 ...
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 , G, \times , G, 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 ha ...
, 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). The character table does not in general determine the group
up to Two 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'' with respect to ''R'' ...
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 ...
: 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, ...
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. 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 \otime ...
, since the tensor product of 1-dimensional vector spaces is again 1-dimensional. That is, if \rho_1:G\to V_1 and \rho_2:G\to V_2 are linear representations, then \rho_1\otimes\rho_2 (g)=(\rho_1(g)\otimes\rho_2(g)) defines a new linear representation. This gives rise to a group of linear characters, called the character group under the operation chi_1*\chi_2g)=\chi_1(g)\chi_2(g). This group is connected to Dirichlet characters 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 Joseph ...
.


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 g \mapsto g^, 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 C_3 above, this map sends u \mapsto u^2, u^2 \mapsto u, and accordingly switches \chi_1 and \chi_2 (switching their values of \omega and \omega^2). Note that this particular automorphism (negative in abelian groups) agrees with complex conjugation. Formally, if \phi\colon G \to G is an automorphism of ''G'' and \rho \colon G \to \operatorname is a representation, then \rho^\phi := g \mapsto \rho(\phi(g)) is a representation. If \phi = \phi_a 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 itse ...
(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 \Gamma_ 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 C_. Below is the character table of C_ 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: * x, y and z are related to translational movement and IR active bands. * R_x, R_y and R_z are related to rotation about respective axis. * Quadratic functions (such as x^2+y^2, x^2-y^2, x^2, y^2,z^2, xy, yz,zx) are related to Raman active bands. When determining the characters for a representation, assign 1 if it remains unchanged, 0 if it moved, and (-1) if it reversed its direction. A simple way to determine the characters for the reducible representation \Gamma_, is to multiply the ''number of unshifted atom(s)'' with '''contribution per atom along each of three axis (x,y,z) when a symmetry operation is carried out. Unless otherwise stated, for the identity operation E, 'contribution per unshifted atom' for each atom is always 3, as none of the atom(s) change their position during this operation. For any reflective symmetry operation \sigma, 'contribution per atom' is always 1, 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 i, 'contribution per unshifted atom' is always -3, as each of three axis of an atom reverse its direction during this operation. An easiest way to calculate 'contribution per unshifted atom' for C_n and S_n symmetry operation is to use below formulas C_n=2\cos\theta+1 S_n=2\cos\theta-1 Where, \theta=\frac A simplified version of above statements is summarized in the table below ''Character of \Gamma_ for any symmetry operation = Number of unshifted atom(s) during this operation \times 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 (C_ point group) can be written as Using the new character table including \Gamma_, the reducible representation for all motion of the H2O molecule can be reduced using below formula N=\frac\sum_(X^x_i\times X^x_r\times n^x) where, h= order of the group, X^x_i= character of the \Gamma_ for a particular class, X^x_r= character from the reducible representation for a particular class, n^x= the number of operations in the class So, N_=\frac +\+\+\3 N_=\frac +\+\+\1 N_=\frac +\+\+\3 N_=\frac +\+\+\2 So, the reduced representation for all motions of water molecule will be \Gamma_=3A_1+A_2+3B_1+2B_2


Translational motion for water molecule

Translational motion will corresponds with the reducible representations in the character table, which have x, y and z function As only the reducible representations B_1, B_2 and A_1 correspond to the x, y and z function, \Gamma_=A_1+B_1+B_2


Rotational motion for water molecule

Rotational motion will corresponds with the reducible representations in the character table, which have R_x, R_y and R_z function As only the reducible representations B_2, B_1 and A_2 correspond to the x, y and z function, \Gamma_=A_2+B_1+B_2


Total vibrational modes for water molecule

Total vibrational mode, \Gamma_=\Gamma_-\Gamma_-\Gamma_ =(3A_1+A_2+3B_1+2B_2)-(A_1+B_1+B_2)-(A_2+B_1+B_2) =2A_1+B_1 So, total (2+1)=3 vibrational modes are possible for water molecules and two of them are symmetric vibrational modes (as 2A_1) and the other vibrational mode is antisymmetric (as 1B_1)


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 x, y or z for any irreducible representation, then the mode is IR active * If there is a quadratic functions such as x^2+y^2, x^2-y^2, x^2, y^2,z^2, xy, yz or xz for any irreducible representation, then the mode is Raman active * If there is no x, y, z nor quadratic functions for any irreducible representation, then the mode is neither IR active nor Raman active As the vibrational modes for water molecule \Gamma_ contains both x, y or z 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 \Gamma_,\Gamma_,\Gamma_


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 ...
* List of character tables for chemically important 3D point groups
Character tables of small groups on GroupNames
* *


References

{{DEFAULTSORT:Character Table Group theory Representation theory