Direct Products and Symmetries

1. The External Direct Product: A Formal Construction

The most straightforward way to combine two groups, $G_1$ and $G_2$, is to form their external direct product, denoted $G_1\times G_2$. The construction is quite intuitive: the elements are ordered pairs, and the group operation is performed component by component.

Let's formalize the definition. Given two groups $(G_1,\cdot )$ and $(G_2,\ast )$, their direct product $G=G_1\times G_2$ is defined as follows:

• Set: The set of elements is the Cartesian product of the sets of $G_1$ and $G_2$. An element $g\in G$ is an ordered pair $(g_1,g_2)$, where $g_1\in G_1$ and $g_2\in G_2$.
• Binary Operation: The operation is defined component-wise. For two elements $(g_1,g_2)$ and $(h_1,h_2)$ in $G$, their product is: $$(g_1,g_2)\circ (h_1,h_2)=(g_1\cdot h_1,g_2\ast h_2)$$
• Identity Element: The identity is $(e_1,e_2)$, where $e_1$ and $e_2$ are the identity elements of $G_1$ and $G_2$, respectively.
• Inverses: The inverse of $(g_1,g_2)$ is $(g_1^{-1},g_2^{-1})$.

The order of the direct product group is simply the product of the orders of the constituent groups: $|G_1\times G_2|=|G_1|\cdot |G_2|$.

A particularly important property is the order of an element in a direct product group. The order of an element $(g,h)\in G_1\times G_2$ is the smallest positive integer $k$ such that $(g,h{)}^k=(g^k,h^k)=(e_1,e_2)$. This requires that $k$ be a multiple of both the order of $g$ and the order of $h$. Therefore, the order of $(g,h)$ is the least common multiple of the orders of its components.

2. The Structure of Direct Product Groups

The formula for the order of an element allows us to ask deeper questions about the structure of direct product groups. For instance, is the direct product of two cyclic groups always cyclic? The answer, which is crucial for classifying finite abelian groups, is no.

This leads to a key theorem: ${\mathbb{Z}}_m\times {\mathbb{Z}}_n$ is isomorphic to ${\mathbb{Z}}_{mn}$ if and only if $m$ and $n$ are relatively prime (i.e., $\text{gcd}(m,n)=1$).

For example:

• ${\mathbb{Z}}_2\times {\mathbb{Z}}_3\cong {\mathbb{Z}}_6$, which is cyclic. We can find an element of order 6, namely $(1,1)$, since $\text{lcm}(2,3)=6$.
• ${\mathbb{Z}}_2\times {\mathbb{Z}}_2$ is not isomorphic to ${\mathbb{Z}}_4$. All non-identity elements in ${\mathbb{Z}}_2\times {\mathbb{Z}}_2$—namely $(1,0)$, $(0,1)$, and $(1,1)$—have order 2. There is no element of order 4, so the group cannot be cyclic. This group, often called the Klein four-group or Vierergruppe, describes the symmetries of a rectangle.

This highlights the idea of an internal direct product. If a group $G$ contains two subgroups $H$ and $K$ such that:

1. $H$ and $K$ are normal subgroups of $G$.
2. Their intersection is trivial: $H\cap K=\{e\}$.
3. They generate the whole group: $G=HK=\{hk\mid h\in H,k\in K\}$.

Then $G$ is isomorphic to the external direct product $H\times K$. A key consequence of these conditions is that every element of $H$ commutes with every element of $K$. This provides the essential link to physics: the internal direct product is the structure we find in systems with independent symmetries.

3. Physical Systems with Independent Symmetries

In physics, the direct product structure arises whenever a system has two or more symmetries whose operations are independent of each other—that is, they commute. If the symmetry group $G_1$ acts on one set of degrees of freedom and $G_2$ acts on another, independent set, the total symmetry of the system is the direct product $G_1\times G_2$.

In quantum mechanics, this has a very specific meaning. If the Hamiltonian can be separated, $H=H_1+H_2$, where $[H_1,H_2]=0$, and the symmetry operators of $G_1$ commute with those of $G_2$, the total symmetry is a direct product. The Hilbert space of the system becomes a tensor product space, $V=V_1\otimes V_2$, and the states transform according to a product representation.

The key takeaway is that the representation of a direct product group $G_1\times G_2$ acting on a tensor product space $V_1\otimes V_2$ is itself a tensor product of the individual representations. If ${\rho }_1$ is a representation of $G_1$ and ${\rho }_2$ is a representation of $G_2$, their tensor product ${\rho }_1\otimes {\rho }_2$ is an irreducible representation of $G_1\times G_2$. The decomposition of these product representations is the mathematical foundation for the addition of quantum numbers, like angular momentum.

Example: Combining Two Spin-1/2 Particles

Consider a system of two spin-1/2 particles, such as the two nucleons (proton and neutron) in a simple model of the deuteron. Each nucleon is a doublet under the isospin group $SU(2)$. If we treat the proton as "isospin up" and the neutron as "isospin down", the symmetry group for the two-nucleon system is $SU(2)\times SU(2)$. The state of the combined system lives in the tensor product of the two individual Hilbert spaces.

The mathematical rule for combining two two-dimensional representations (denoted by 2) of $SU(2)$ is:

This means the four possible states of the two-nucleon system (proton-proton, proton-neutron, neutron-proton, neutron-neutron) can be arranged into a three-state multiplet (a triplet) and a one-state multiplet (a singlet).

This decomposition is not just abstract math. The nuclear force is spin-dependent. It turns out that only one of these combinations—the isospin singlet state—is strongly attractive enough to form a bound state, the deuteron. The deuteron is observed to have total spin 1 (a spin triplet) and total isospin 0 (an isospin singlet), a direct physical manifestation of this group-theoretic decomposition.

Advanced Example: The Hidden Symmetry of the Hydrogen Atom

A more subtle and powerful example of a direct product symmetry appears in the non-relativistic quantum mechanics of the Hydrogen atom. The obvious symmetry is $SO(3)$, the group of spatial rotations, which leads to the conservation of angular momentum $\vec{L}$ and the degeneracy of states with different magnetic quantum numbers $m_l$. However, this doesn't explain why all states with the same principal quantum number $n$ but different $l$ (e.g., the 2s and 2p states) are degenerate.

This "accidental" degeneracy points to a hidden, larger symmetry. As Pauli showed, by defining a conserved vector related to the classical Laplace-Runge-Lenz vector, the full symmetry group of the bound states is actually $SO(4)$, which is locally isomorphic to $SU(2)\times SU(2)$.

The existence of this $SU(2)\times SU(2)$ product symmetry elegantly explains the $n^2$ degeneracy of the energy levels. The Hamiltonian can be written purely in terms of the Casimir operators of these two $SU(2)$ groups. This is a masterful example of how identifying the correct symmetry group—including its direct product structure—can be used to solve a physical problem completely.

Conclusion

In this lesson, we have seen how to formally construct direct product groups and, more importantly, how to recognize their significance in physics as the symmetry group of systems with multiple independent degrees of freedom.

Key takeaways from our discussion include:

• The direct product $G_1\times G_2$ is formed from ordered pairs with a component-wise operation.
• The structure of a direct product group depends critically on the properties of its factors, as exemplified by the theorem that ${\mathbb{Z}}_m\times {\mathbb{Z}}_n\cong {\mathbb{Z}}_{mn}$ if and only if $\text{gcd}(m,n)=1$.
• In physics, a direct product symmetry $G_1\times G_2$ arises when a system possesses two independent symmetries whose generators commute.
• Quantum states of such a system transform under product representations, whose decomposition (e.g., using Clebsch-Gordan coefficients) governs the rules for combining quantum numbers, such as adding angular momenta.
• We saw this applied to the two-nucleon system and in the sophisticated example of the hidden $SU(2)\times SU(2)$ symmetry of the Hydrogen atom.

We have now covered the primary ways to analyze and construct groups: breaking them down (quotient groups), comparing them (homomorphisms), and building them up (direct products). Our next module will change gears significantly. We will formalize the concept of group representations, the mathematical framework that describes how the elements of an abstract group act as linear transformations on a vector space. This is the heart of applying group theory to quantum mechanics.