Skip to main content
Chemistry LibreTexts

1.4.3: Properties and Representations of Groups

  • Page ID
    429144
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Click here to see a lecture on this topic.


    Group Multiplication

    Now we will investigate what happens when we apply two symmetry operations in sequence. As an example, consider the \(NH_3\) molecule, which belongs to the \(C_{3v}\) point group. Consider what happens if we apply a \(C_3\)rotation (120˚ counter-clockwise) followed by a \(\sigma_v\) reflection (reflection over the \(\sigma_v\) axis). We write this combined operation \(\sigma_v\)\(C_3\) (when written, symmetry operations operate on the thing directly to their right, just as operators do in quantum mechanics – we therefore have to work backwards from right to left from the notation to get the correct order in which the operators are applied). As we shall soon see, the order in which the operations are applied is important.

    alt

    The combined operation \(\sigma_v\)\(C_3\) is equivalent to \(\sigma_v''\) (note the double prime on \(\sigma_v''\)!), which is also a symmetry operation of the \(C_{3v}\) point group. Now let’s see what happens if we apply the operators in the reverse order, i.e., \(C_3\)\(\sigma_v\) is (\(\sigma_v\) followed by \(C_3\)).

    alt

    Again, the combined operation \(C_3\)\(\sigma_v\) is equivalent to another operation of the point group, this time \(\sigma_v'\) (note the single prime on \(\sigma_v'\)!).

    There are two important points that are illustrated by this example:

    1. The order in which two operations are applied is important. For two symmetry operations \(A\) and \(B\), \(AB\) is not necessarily the same as \(BA\), i.e. symmetry operations do not in general commute. In some groups the symmetry elements do commute; such groups are said to be Abelian.
    2. If two operations from the same point group are applied in sequence, the result will be equivalent to another operation from the point group. Symmetry operations that are related to each other by other symmetry operations of the group are said to belong to the same class. In \(NH_3\), the three mirror planes \(\sigma_v\), \(\sigma_v'\) and \(\sigma_v''\) belong to the same class (related to each other through a \(C_3\) rotation), as do the rotations \(C_3^+\) and \(C_3^-\) (anticlockwise and clockwise rotations about the principal axis, related to each other by a vertical mirror plane).

    Four Properties of Mathematical Groups

    Now that we have explored some of the properties of symmetry operations and elements and their behavior within point groups, we are ready to introduce the formal mathematical definition of a group. The definitions below will be put into the context of molecular symmetry.

    A mathematical group is defined as a set of elements (\(A_1\), \(A_2\), \(A_3\)...) together with a rule for forming combinations \(A_i\),\(A_j\)... For our purposes, \(A_1\), \(A_2\), \(A_3\), etc. are symmetry elements and \(A_i\), \(A_j\), etc. are symmetry operations described in a previous section. The elements of the group and the rule for combining them must satisfy the following four criteria.

    1. The group must include the identity \(E\), which commutes with other members of the group. In other terms, \(E A_i= A_i \) for all the elements of the group. Application of the identity operation before or after another operation, \(A_i\), results in the same outcome as \(A_i\) alone.
    2. The elements must satisfy the group property that the combination of any pair of elements is also an element of the group. For example, in the \(C_{3v}\) point group, a C3 rotation followed by a \(\sigma_v\) gives another operation that is already part of the group: a \(\sigma_v"\).
    3. Each symmetry operation \(A_i\) must have an inverse \(A_i^{-1}\), which is also an element of the group, such that \[A_i A_i^{-1} = A_i^{-1}A_i = E \nonumber \] The inverse \(g_i^{-1}\) effectively 'undoes’ the effect of the symmetry operation \(g_i\). For example, in the \(C_{3v}\) point group, the inverse of \(C_3^+\) is \(C_3^-\).
    4. The rule of combination must be associative \[(A_i A_j )(A_k) = A_i(A_jA_k) \nonumber \] Or \(A(BC)=(AB)C\). In other words, the order of operations should not matter.

    Group theory is an important area in mathematics, and luckily for chemists the mathematicians have already done most of the work for us. Along with the formal definition of a group comes a comprehensive mathematical framework that allows us to carry out a rigorous treatment of symmetry in molecular systems and learn about its consequences.

    Many problems involving operators or operations (such as those found in quantum mechanics or group theory) may be reformulated in terms of matrices. Any of you who have come across transformation matrices before will know that symmetry operations such as rotations and reflections may be represented by matrices. It turns out that the set of matrices representing the symmetry operations in a group obey all the conditions laid out above in the mathematical definition of a group, and using matrix representations of symmetry operations simplifies carrying out calculations in group theory. Before we learn how to use matrices in group theory, it will probably be helpful to review some basic definitions and properties of matrices.

    *This page was adapted from here (click).

    Contributors and Attributions


    1.4.3: Properties and Representations of Groups is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?