Mathematical Crystallography

💎Mathematical Crystallography Unit 2 – Fundamentals of Group Theory

Group theory forms the mathematical foundation for understanding symmetry in crystallography. It provides a framework for classifying and analyzing the symmetry operations that leave crystal structures unchanged, including rotations, reflections, and translations. This unit covers key concepts like group axioms, types of groups, and subgroups. It also explores symmetry operations in crystals, group representations, and their applications in crystal systems. Problem-solving techniques for working with groups in crystallography are introduced.

Key Concepts and Definitions

  • Group consists of a set of elements and a binary operation that combines any two elements to form a third element in the set
  • Binary operation must be associative, have an identity element, and each element must have an inverse
  • Order of a group refers to the number of elements in the set
  • Abelian group has the additional property that the binary operation is commutative (order of elements doesn't matter)
  • Cyclic group can be generated by a single element (generator) through repeated application of the binary operation
  • Isomorphism is a one-to-one correspondence between two groups that preserves the group operation
    • Isomorphic groups have the same structure and properties, even if they appear different
  • Homomorphism is a function between two groups that preserves the group operation, but may not be one-to-one or onto

Group Axioms and Properties

  • Closure axiom states that for any two elements aa and bb in a group GG, the result of the binary operation aba * b is also in GG
  • Associative axiom requires that for any elements aa, bb, and cc in GG, (ab)c=a(bc)(a * b) * c = a * (b * c)
  • Identity element axiom guarantees the existence of an element ee in GG such that for any element aa in GG, ae=ea=aa * e = e * a = a
  • Inverse element axiom states that for each element aa in GG, there exists an element a1a^{-1} in GG such that aa1=a1a=ea * a^{-1} = a^{-1} * a = e
  • Commutativity is an additional property that some groups (Abelian groups) have, where for any elements aa and bb in GG, ab=baa * b = b * a
  • Cancellation law holds in groups, stating that if ab=aca * b = a * c or ba=cab * a = c * a, then b=cb = c
  • Uniqueness of identity and inverses can be proven using the group axioms

Types of Groups

  • Trivial group consists of only the identity element
  • Cyclic groups are generated by a single element and can be represented as {e,a,a2,,an1}\{e, a, a^2, \ldots, a^{n-1}\} where an=ea^n = e
    • Examples include the additive group of integers modulo nn and rotational symmetry groups
  • Dihedral groups (DnD_n) describe the symmetries of regular polygons, including rotations and reflections
    • DnD_n has 2n2n elements and is non-Abelian for n3n \geq 3
  • Symmetric groups (SnS_n) consist of all permutations of nn distinct objects
    • SnS_n has n!n! elements and is non-Abelian for n3n \geq 3
  • Matrix groups are sets of invertible matrices with matrix multiplication as the binary operation (general linear group GL(n,R)GL(n, \mathbb{R}))
  • Point groups describe the symmetry of molecules and crystals, including rotations, reflections, and inversions

Subgroups and Cosets

  • Subgroup is a subset of a group that forms a group under the same binary operation
    • Must contain the identity, inverse of each element, and be closed under the operation
  • Proper subgroup is a subgroup that is not equal to the entire group
  • Trivial subgroup consists of only the identity element and is a subgroup of every group
  • Coset of a subgroup HH in a group GG is the set of elements obtained by multiplying each element of HH by a fixed element aa of GG
    • Left coset: aH={ah:hH}aH = \{ah : h \in H\}
    • Right coset: Ha={ha:hH}Ha = \{ha : h \in H\}
  • Lagrange's theorem states that the order of a subgroup divides the order of the group
    • Consequence: the order of an element divides the order of the group
  • Normal subgroup is a subgroup NN of GG such that aN=NaaN = Na for all aa in GG (left and right cosets are equal)
    • Normal subgroups are important for constructing quotient groups

Symmetry Operations in Crystallography

  • Symmetry operation is a transformation that leaves an object appearing unchanged
  • Translation symmetry involves shifting the object by a specific distance in a particular direction
    • Lattice is an infinite array of points generated by translational symmetry
  • Rotational symmetry is characterized by the angle of rotation (e.g., 60°, 90°, 120°, 180°)
    • Rotation axis is the line around which the rotation occurs
  • Reflection symmetry involves mirroring the object across a plane (mirror plane)
  • Inversion symmetry is achieved by rotating the object 180° around a point (inversion center)
  • Improper rotation combines a rotation with a reflection perpendicular to the rotation axis
  • Glide reflection combines a reflection with a translation parallel to the mirror plane
  • Screw axis involves a rotation followed by a translation along the rotation axis

Group Representations

  • Representation of a group is a homomorphism from the group to a group of invertible matrices (matrix representation)
    • Captures the abstract structure of the group in a concrete form
  • Degree of a representation is the dimension of the matrices used
  • Faithful representation is a representation that is also an isomorphism (one-to-one correspondence)
  • Irreducible representation cannot be decomposed into smaller matrix representations
    • Forms a basis for understanding the structure of the group
  • Character of a representation is the trace (sum of diagonal elements) of the matrix corresponding to each group element
    • Characters can be used to analyze the properties of representations
  • Great Orthogonality Theorem relates the characters of irreducible representations to the structure of the group
  • Representation theory has applications in physics, chemistry, and materials science

Applications in Crystal Systems

  • Crystal systems are defined by the symmetry elements present in the crystal structure
  • Seven crystal systems: triclinic, monoclinic, orthorhombic, tetragonal, trigonal, hexagonal, and cubic
    • Each system has characteristic symmetry operations and point groups
  • 230 space groups describe the possible symmetries of three-dimensional crystal structures
    • Combination of point group symmetry and translational symmetry
  • International Tables for Crystallography provide a standard notation (Hermann-Mauguin notation) for describing space groups
  • Point group determines the anisotropy of physical properties (e.g., optical, electrical, magnetic)
  • Space group places constraints on the atomic positions and chemical composition of the crystal
  • Group-subgroup relationships can be used to understand phase transitions and structural relationships between crystals

Problem-Solving Techniques

  • Cayley table is a square table that shows the result of the binary operation for each pair of group elements
    • Helps to verify group axioms and identify properties like commutativity
  • Cycle notation is a compact way to represent permutations in symmetric groups
    • Useful for understanding the structure and order of permutations
  • Symmetry elements can be identified by looking for invariance under transformations
    • Flow chart approach: systematically check for the presence of each type of symmetry element
  • Multiplication table for a point group lists the products of all pairs of symmetry operations
    • Used to determine the group structure and identify subgroups
  • Irreducible representations can be found using the character table and the Great Orthogonality Theorem
    • Decompose a reducible representation into a sum of irreducible representations
  • Symmetry-adapted linear combinations (SALCs) are basis functions that transform according to irreducible representations
    • Used in the application of group theory to molecular orbitals and vibrational modes
  • Compatibility relations determine the symmetry-allowed transitions and couplings between states or orbitals
    • Selection rules based on the direct product of irreducible representations


© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.

© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.