SO(2)

SO(2)
Name	SO(2)
Type	Lie group
Typical element	rotation matrix
Lie algebra	so(2)

SO(2) SO(2) is the group of rotations in the plane, realized as a one‑parameter compact connected Lie group closely related to circle symmetries, the orthogonal transformations preserving orientation, and classical examples in Group theory and Differential geometry. It serves as a basic model for continuous symmetry studied alongside prominent examples like SU(2), GL(n, R), and SL(2, R) and appears in contexts from Isaac Newton’s mechanics to the Poincaré group in special relativity.

Definition and basic properties

SO(2) is defined as the subgroup of the Orthogonal group consisting of 2×2 real matrices with determinant 1, paralleling the role of Special linear group examples in linear algebra. As a compact connected abelian Lie group it is isomorphic to the unit circle in the complex plane and shares structural properties with 1‑torus constructions and the center of groups like SO(3). Key algebraic invariants parallel those of classical groups studied by figures such as Élie Cartan and Sophus Lie.

Matrix representation and parametrization

Elements admit the canonical matrix form using a single angle parameter θ, analogous to parametrizations used in Fourier analysis and rotation descriptions in Leonhard Euler’s work. The standard parametrization uses the 2×2 matrix with entries cosθ and sinθ, a representation comparable to rotation matrices appearing in treatments by Carl Friedrich Gauss and in studies of the Euler–Lagrange equation. This matrix realization embeds into matrix algebras and affords coordinate charts that align with charts used on S^1 in topology texts by authors like Hassler Whitney.

Lie group and Lie algebra structure

As a one‑dimensional Lie group SO(2) has Lie algebra isomorphic to the space of 2×2 skew‑symmetric matrices; this algebraic structure is treated in the framework developed by Weyl group theory and the classification of semisimple algebras by Cartan and Killing. The exponential map from the Lie algebra to the group is surjective and coincides with the matrix exponential used in the work of John von Neumann and Hermann Weyl on unitary groups. Its abelian property places it in contrast with nonabelian examples like SO(3), SL(2,C), and Heisenberg group instances studied in quantum theory by Paul Dirac.

Topology and covering groups

Topologically SO(2) is homeomorphic to the unit circle S^1 and shares covering properties with universal covers discussed in texts by Henri Poincaré and Lefschetz; its universal cover is isomorphic to the real line under addition, mirroring constructions used for Riemann surfaces and fundamental group computations by Évariste Galois‑era developments. The fundamental group is isomorphic to the integers, a feature central to classification results used by André Weil and appearing in monodromy problems studied by Riemann and Hurwitz.

Representations and harmonic analysis

Irreducible unitary representations are one‑dimensional characters indexed by integers, paralleling the decomposition theory in Peter–Weyl theorem and classical expansions in Joseph Fourier’s theory. Harmonic analysis on SO(2) produces Fourier series used in work by Jean-Baptiste Joseph Fourier, Norbert Wiener and in modern signal processing literature alongside applications by Claude Shannon and Alan Turing. The representation ring and characters connect to methods from Harish-Chandra theory and to spectral techniques used by Atle Selberg and I. M. Gelfand.

Applications in physics and geometry

SO(2) symmetry appears in planar mechanics studied by Isaac Newton and in conservation laws via Noether's theorem as rotational invariance in two dimensions, relevant to models by Albert Einstein and in classical field theory expositions by Richard Feynman. In crystallography and materials science, two‑fold and continuous rotational symmetries are analyzed in contexts related to Bravais lattice classification and works by William Henry Bragg and Max von Laue. Geometrically, SO(2) acts on surfaces, fibers in principal bundles studied by Charles Ehresmann, and appears in holonomy groups in texts by Marston Morse and Shiing-Shen Chern.

Category:Lie groups