Circle group

In mathematics, the circle group, denoted by ${\displaystyle \mathbb {T} }$ or ${\displaystyle \mathbb {S} ^{1}}$, is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers[1]

$${\displaystyle \mathbb {T} =\{z\in \mathbb {C}$$ :|z|=1\}.}

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Quotient group (Semi-)direct product Group homomorphisms kernel image direct sum wreath product simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable action Glossary of group theory List of group theory topics
Finite groups Classification of finite simple groups cyclic alternating Lie type sporadic Cauchy's theorem Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Symmetric group Sn Klein four-group V Dihedral group Dn Quaternion group Q Dicyclic group Dicn
Discrete groups Lattices Integers (${\displaystyle \mathbb {Z} }$) Free group Modular groups PSL(2, ${\displaystyle \mathbb {Z} }$) SL(2, ${\displaystyle \mathbb {Z} }$) Arithmetic group Lattice Hyperbolic group
Topological and Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Linear algebraic group Reductive group Abelian variety Elliptic curve
v t e

Lie groups and Lie algebras
Classical groups General linear GL(n) Special linear SL(n) Orthogonal O(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n)
Simple Lie groups Classical An Bn Cn Dn Exceptional G2 F4 E6 E7 E8
Other Lie groups Circle Lorentz Poincaré Conformal group Diffeomorphism Loop Euclidean
Lie algebras Lie group–Lie algebra correspondence Exponential map Adjoint representation Killing form Index Simple Lie algebra Loop algebra Affine Lie algebra
Semisimple Lie algebra Dynkin diagrams Cartan subalgebra Root system Weyl group Real form Complexification Split Lie algebra Compact Lie algebra
Representation theory Lie group representation Lie algebra representation Representation theory of semisimple Lie algebras Representations of classical Lie groups Theorem of the highest weight Borel–Weil–Bott theorem
Lie groups in physics Particle physics and representation theory Lorentz group representations Poincaré group representations Galilean group representations
Scientists Sophus Lie Henri Poincaré Wilhelm Killing Élie Cartan Hermann Weyl Claude Chevalley Harish-Chandra Armand Borel
Glossary Table of Lie groups
v t e

The circle group forms a subgroup of ${\displaystyle \mathbb {C} ^{\times }}$, the multiplicative group of all nonzero complex numbers. Since ${\displaystyle \mathbb {C} ^{\times }}$ is abelian, it follows that ${\displaystyle \mathbb {T} }$ is as well.

A unit complex number in the circle group represents a rotation of the complex plane about the origin and can be parametrized by the angle measure ${\displaystyle \theta }$:

$${\displaystyle \theta \mapsto z=e^{i\theta }=\cos \theta +i\sin \theta .}$$

This is the exponential map for the circle group.

The circle group plays a central role in Pontryagin duality and in the theory of Lie groups.

The notation ${\displaystyle \mathbb {T} }$ for the circle group stems from the fact that, with the standard topology (see below), the circle group is a 1-torus. More generally, ${\displaystyle \mathbb {T} ^{n}}$ (the direct product of ${\displaystyle \mathbb {T} }$ with itself ${\displaystyle n}$ times) is geometrically an ${\displaystyle n}$-torus.

The circle group is isomorphic to the special orthogonal group ${\displaystyle \mathrm {SO} (2)}$.