All Study Guides Mathematical Crystallography Unit 2
💎 Mathematical Crystallography Unit 2 – Fundamentals of Group TheoryGroup 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 a a a and b b b in a group G G G , the result of the binary operation a ∗ b a * b a ∗ b is also in G G G
Associative axiom requires that for any elements a a a , b b b , and c c c in G G G , ( a ∗ b ) ∗ c = a ∗ ( b ∗ c ) (a * b) * c = a * (b * c) ( a ∗ b ) ∗ c = a ∗ ( b ∗ c )
Identity element axiom guarantees the existence of an element e e e in G G G such that for any element a a a in G G G , a ∗ e = e ∗ a = a a * e = e * a = a a ∗ e = e ∗ a = a
Inverse element axiom states that for each element a a a in G G G , there exists an element a − 1 a^{-1} a − 1 in G G G such that a ∗ a − 1 = a − 1 ∗ a = e a * a^{-1} = a^{-1} * a = e a ∗ a − 1 = a − 1 ∗ a = e
Commutativity is an additional property that some groups (Abelian groups) have, where for any elements a a a and b b b in G G G , a ∗ b = b ∗ a a * b = b * a a ∗ b = b ∗ a
Cancellation law holds in groups, stating that if a ∗ b = a ∗ c a * b = a * c a ∗ b = a ∗ c or b ∗ a = c ∗ a b * a = c * a b ∗ a = c ∗ a , then b = c b = c b = 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 , a 2 , … , a n − 1 } \{e, a, a^2, \ldots, a^{n-1}\} { e , a , a 2 , … , a n − 1 } where a n = e a^n = e a n = e
Examples include the additive group of integers modulo n n n and rotational symmetry groups
Dihedral groups (D n D_n D n ) describe the symmetries of regular polygons, including rotations and reflections
D n D_n D n has 2 n 2n 2 n elements and is non-Abelian for n ≥ 3 n \geq 3 n ≥ 3
Symmetric groups (S n S_n S n ) consist of all permutations of n n n distinct objects
S n S_n S n has n ! n! n ! elements and is non-Abelian for n ≥ 3 n \geq 3 n ≥ 3
Matrix groups are sets of invertible matrices with matrix multiplication as the binary operation (general linear group G L ( n , R ) GL(n, \mathbb{R}) G L ( n , 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 H H H in a group G G G is the set of elements obtained by multiplying each element of H H H by a fixed element a a a of G G G
Left coset: a H = { a h : h ∈ H } aH = \{ah : h \in H\} a H = { ah : h ∈ H }
Right coset: H a = { h a : h ∈ H } Ha = \{ha : h \in H\} H a = { ha : h ∈ 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 N N N of G G G such that a N = N a aN = Na a N = N a for all a a a in G G G (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