thumb|Multiplication on the circle group is equivalent to addition of angles.

In mathematics, the circle group, denoted by <math>\mathbb T</math> or , 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

<math display=block>\mathbb T = \{ z \in \C : |z| = 1 \}.</math>

The circle group plays a fundamental role in many areas of mathematics.

When a given unit complex number <math>u</math> multiplies the other points of the circle, the effect is to rotate them through an angle determined by <math>u</math>. In this way, the circle group becomes the group of symmetries of the circle which preserve its orientation (do not flip it). Composition of two rotations is the ordinary multiplication of complex numbers. Multiplication is commutative, , making the circle group commutative (an abelian group); correspondingly several rotations of the plane can be composed in any order with the same result. Rotations can alternately be parametrized by the angle measure , which is related to by the complex exponential function:

<math display=block>\theta \mapsto z = e^{i\theta} = \cos\theta + i\sin\theta.</math>

The circle group is sometimes denoted by <math>U(1)</math>, which is the unitary group of <math>1\times 1</math> complex matrices. It is structurally the same as (i.e., isomorphic to) the group of 2-dimensional rotation matrices, i.e., the special orthogonal group . The angle measure gives a periodic parameterization of the circle group, so the group is often treated as a periodic interval <math>[0,2\pi]</math> with the endpoints glued together, and the group operation as addition modulo <math>2\pi</math>: the usual addition of angles. The notation <math>\mathbb T</math> for the circle group stems from the fact that, with the standard topology (see below), the circle group is a 1-torus. More generally, <math>\mathbb T^n</math> (the direct product of <math>\mathbb T</math> with itself <math>n</math> times) is geometrically an <math>n</math>-torus.

The circle group has applications throughout mathematics, especially in advanced mathematics. It is the group underlying classical Fourier series. It is dual to the additive group of the integers. It also has applications throughout topology and mathematical physics. It is the group underlying electromagnetism. Electromagnetic theory can be formulated as a theory of bundles associated to the circle group, which are primary objects of study in homotopy theory and algebraic topology.

Elementary introduction

<!-- this section is intended to be accessible to a curious high school student -->

Elements of the circle group can be thought of as representing rotations of the Euclidean plane about a particular point, those geometric transformations which keep that point fixed while preserving the distance between arbitrary points as well as the orientation of shapes. The group operation then corresponds to composition of rotations, that is, the combination of two rotations resulting from applying one rotation and then the other.

If a point with rectangular coordinates in the Euclidean plane is represented by a complex number (see complex plane), then multiplication by a unit complex number results in the complex number which represents the point , the result of rotating around the origin by some rotation . Each unit complex number corresponds to a different rotation, and vice versa. So the unit complex number can be used to represent the corresponding rotation . If two different rotations and are represented by the unit complex numbers and , then their composition is represented by the product of the complex numbers .

Another common way of representing a rotation is by an angle measured in degrees or radians, often denoted by the Greek letter . Conventionally, a positive angle is considered to represent a counterclockwise rotation. Two angles which differ by or radians represent the same rotation, so it is common to pick the representative angle for the rotation to be between and (or radians) or, more symmetrically, between and (or radians). Two rotations represented by angle measure can be composed simply by adding them together; sometimes the new angle falls outside the designated interval for representative angles – we have looped around the circle – and we can then add or subtract a multiple of ( radians) to return to the interval.

A rotation of a point in the complex plane by an angle about the origin (measured in radians) corresponds to multiplication by the complex number , where is the complex exponential function and and are trigonometric functions). Adding angles corresponds to multiplying unit complex numbers:

<math display=block>e^{(\theta_1 + \theta_2) i} = e^{\theta_1 i} e^{\theta_2 i}.</math>

In some contexts, instead of using degrees in the interval or radians in the interval , angles are represented by fractions of a full turn in the interval . This version makes arithmetic convenient because an angle which has fallen outside of the interval can be brought back inside it by taking its fractional part: for a positive number, this amounts to throwing away any digits before the decimal point. For example, to compose a turn rotation and a turn rotation, add the two numbers, , and then throw away the leading , resulting in a turn rotation.

The periodic interval can be considered to be the quotient group of the real numbers modulo the integers, symbolically written ; this is the group of equivalence classes of real numbers, with any two real numbers which differ by an integer considered to be equivalent. Each equivalence class includes one real number in the finite interval , which can be used to represent it. As a group under addition, is isomorphic to the circle group of unit complex numbers under multiplication, meaning the two groups are structurally the same.

Isomorphisms and conventions

The circle group shows up in a variety of forms in mathematics. We list some of the more common forms here. Specifically, we show that

<math display=block>\mathbb T \cong \mbox{U}(1) \cong \R/\Z \cong \mathrm{SO}(2),</math>

where the slash () denotes group quotient and <math>\cong</math> the existence of an isomorphism between the groups.

Unitary group U(1)

A matrix has row and column, and only a single entry. The product of two matrices is the matrix whose single entry is the product of the entries of each of the matrices:

<math display=block>\begin{bmatrix}z_1\end{bmatrix} \begin{bmatrix}z_2\end{bmatrix} = \begin{bmatrix}z_1z_2\end{bmatrix}.</math>

Therefore any group of matrices under matrix multiplication can be trivially related to the group of corresponding entries under multiplication. A unitary matrix is a matrix with complex entries for which multiplication by the conjugate transpose results in the identity matrix; for a matrix, an equivalent condition is that the single entry has unit absolute value, making it an element of the circle group. This makes the circle group canonically isomorphic to the first unitary group , the group of unitary matrices under matrix multiplication. That is,

<math display=block>\mathbb T \cong \mbox{U}(1).</math>

It is routine to conflate a matrix with its single entry, considering elements of to be unit complex numbers directly. The symbol can be used as an abbreviation for the multiplicative group of unit complex numbers.

Periodic interval under addition

The exponential function gives rise to a map <math>\exp\colon \R \to \mathbb T</math> from the additive real numbers to the circle group , elements of which can be separated into real and imaginary components using Euler's formula,

<math display=block>\theta \mapsto e^{i\theta} = \cos\theta + i \sin \theta,</math>

where the real number <math>\theta</math> corresponds to an angle (argument) of a unit complex number as measured counterclockwise from the positive real axis. The exponential function converts sums in the domain to products in the image. In particular, for any pair of real numbers and ,

<math display=block>e^{i(\theta_1+\theta_2)} = e^{i\theta_1} e^{i\theta_2}.</math>

This property makes <math>\exp\colon \R \to \mathbb T</math> a group homomorphism. While the map is surjective, it is not injective and therefore not an isomorphism. The kernel of this map (the elements which map to the complex number ) is the set of all integer multiples of . By the first isomorphism theorem we then have that

<math display=block>\mathbb T \cong \R~\!/~\!2\pi\Z.</math>

After rescaling we can also say that <math>\mathbb T</math> is isomorphic to .

Special orthogonal group SO(2)

Rotations of the Euclidean vector plane about the origin are examples of linear transformations, which can be represented as matrices with real entries, specifically as rotation matrices (also called special orthogonal matrices), those matrices which yield the identity matrix when multiplied by their transpose, , and whose determinant is 1. Such a matrix always takes the form

<math display=block>

Q = \begin{bmatrix}

x & -y \\

y & \phantom{-}x \\

\end{bmatrix},

</math>

with . The matrix can be uniquely identified with the unit complex number . If the matrix represents a rotation by angle , then , , and , so can be written as

<math display=block> Q = \begin{bmatrix}

\cos \theta & -\sin \theta \\

\sin \theta & \phantom{-}\cos \theta \\

\end{bmatrix}.

</math>

The squared modulus of the complex number, corresponds to the determinant and the complex conjugate, , corresponds to the transpose of the matrix. Matrix multiplication of such matrices is consistent with addition of corresponding angles or multiplication of corresponding complex numbers (see Angle sum identities).

<math display=block>

\begin{align}

&\begin{bmatrix}

\cos \theta_1 & -\sin\theta_1 \\

\sin \theta_1 & \phantom{-}\cos\theta_1

\end{bmatrix}

\begin{bmatrix}

\cos \theta_2 & -\sin\theta_2 \\

\sin \theta_2 & \phantom{-}\cos\theta_2

\end{bmatrix}

\\[3pt]

&\quad= \begin{bmatrix}

\cos\theta_1\cos\theta_2 - \sin\theta_1\sin\theta_2 & -\cos\theta_1\sin\theta_2 - \sin\theta_1\cos\theta_2 \\

\cos\theta_1\sin\theta_2 + \sin\theta_1\cos\theta_2 & \phantom{-}\cos\theta_1\cos\theta_2 - \sin\theta_1\sin\theta_2

\end{bmatrix}

\\[3pt]

&\quad= \begin{bmatrix}

\cos(\theta_1 + \theta_2) & -\sin(\theta_1 + \theta_2) \\

\sin(\theta_1 + \theta_2) & \phantom{-}\cos(\theta_1 + \theta_2)

\end{bmatrix}.

\end{align}

</math>

Therefore the circle group is isomorphic to the special orthogonal group <math>\mathrm{SO}(2)</math>, that is,

<math display=block>\mathbb T \cong \mathrm{SO}(2).</math>

This isomorphism has the geometric interpretation that multiplication by a unit complex number is a proper rotation in the complex (and real) plane, and every such rotation is of this form.

Conventions

While the symbol and the name "circle group" often refer to the unit complex numbers under multiplication, it is common to give this name and symbol to one of the other isomorphic groups, depending on convenience. The three common definitions of the circle group are:

  • <math>\mathbb T = \{ z\in\C : |z| = 1\}</math>
  • <math>\mathbb T = \R/\Z</math>
  • <math>\mathbb T = \R/2\pi\Z</math>

In the first, the group operation is written multiplicatively, while in the latter two the operation is written additively.

Topological, measurable, and analytic structure

The circle group is more than just an abstract algebraic object. It has a natural topology when regarded as a subspace of the complex plane. It is a metric space with (at least) two natural notions of distance between elements: the absolute value of the difference between two unit complex numbers (the length of the chord between points in the complex plane), or the absolute value of the difference between nearest representative angles (the arc length of the shortest arc between points on the complex unit circle). The open balls are circular arcs. Since multiplication and inversion are continuous functions on , the circle group has the structure of a topological group. Moreover, since the unit circle is a closed subset of the complex plane, the circle group is a closed subgroup of <math>\C^\times</math> (itself regarded as a topological group). It is compact, connected, but not simply connected. Its fundamental group is the additive group of integers, with each integer corresponding to the number of times a closed path loops around the circle.

Integration and Haar measure

Integration in the circle group can be defined in a canonical invariant way. For a continuous function <math>f</math>, the integral takes the form:

  • For the convention <math>\mathbb T=U(1)</math>,

<math display="block">\int_{U(1)} f(z) d\mu(z) = \frac1{2\pi}\int_0^{2\pi}f(e^{i\theta})\,d\theta.</math>

  • For the convention <math>\mathbb T=\mathbb R/2\pi\mathbb Z</math>,

<math display="block">\int_{\mathbb R/2\pi\mathbb Z} f(\theta) d\mu(\theta) = \frac1{2\pi}\int_0^{2\pi}f(\theta)\,d\theta.</math>

  • For the convention <math>\mathbb T=\mathbb R/\mathbb Z</math>,

<math display="block">\int_{\mathbb R/\mathbb Z} f(x) d\mu(x) = \int_0^1f(x)\,dx.</math>

Here, <math>d\theta</math> and <math>dx</math> refer to the usual Lebesgue measure on the real line. In each case, this is a probability measure, meaning that the integral of the constant function <math>1</math> over the whole group is equal to 1. This integral is not arbitrary, but is the unique (Borel) probability measure that is invariant under constant change of variables <math>z\to e^{iC}z</math> for <math>U(1)</math> (or <math>\theta\to\theta + C</math> for <math>\mathbb R/\mathbb Z</math> or <math>\mathbb R/2\pi\mathbb Z</math>). The asserted uniqueness is a special case of Haar's theorem, and the measure is known as the (normalized) Haar measure.

Invariant metrics

thumb|right|Lipschitz embedding of a snowflake metric on the circle group into the Euclidean plane, the [[Koch snowflake]]

The chordal and length metrics already defined give a pair of invariant metrics on the circle group. They are invariant in the sense that the distance between two points is unchanged if the points are rotated through the same angle. These metrics are equivalent, in the sense that there is a positive constant <math>C</math> with

<math display="block">\frac{1}{C}d_{\text{chord(x,y)\le d_{\text{length(x,y) \le C d_{\text{chord(x,y)</math>

for every pair of points <math>x,y\in\mathbb T</math>. The arclength metric is the only invariant Riemannian metric on the circle, and in fact the only invariant length metric, up to a constant normalization.

Other invariant distance functions defining an invariant metric space structure on the circle group can also be defined. In general, an invariant metric is determined by specifying the distance from a point <math>1</math> to each point <math>x\in\mathbb T</math>, <math>\lambda(x) = d(1,x)</math>. If <math>\lambda:\mathbb T\to[0,\infty)</math> is continuous, satisfies

<math>\lambda(1)=0</math>, <math>\lambda(x)>0</math> for

<math>x\ne1</math>, <math>\lambda(x)=\lambda(x^{-1})</math>, and

<math>\lambda(xy)\leq\lambda(x)+\lambda(y)</math>, then

<math>d(x,y)=\lambda(x^{-1}y)</math> defines a compatible invariant metric

on <math>\mathbb T</math>.

An example is <math>d(x,y) = d_{\text{chord(x,y)^\alpha</math> where <math>0 < \alpha \le 1</math>, called a snowflake metric. It is not equivalent to the chord (or length) metric unless <math>\alpha=1</math>. With this metric, the Hausdorff dimension of <math>\mathbb T</math> is <math>1/\alpha</math>, and so gives the group the structure of a fractal curve. The snowflake interpolates between the usual length metric <math>\alpha=1</math>, which is one-dimensional, and metrics that have unbounded Hausdorff dimension. The snowflake metric with <math>\alpha=\log(3)/\log(4)</math> can be embedded in the plane into the Koch snowflake plane curve, whose chordal metric is equivalent.

Other invariant metrics on the circle are used in areas of data analysis and machine learning, and exhibit similar metric-measure properties as the snowflake metrics. One family derives from the study of diffusion on the circle, or equivalently is given by the Sobolev distance between Dirac delta functions on the circle group:

<math display="block">d_s(x,y)^2 = \|\delta_x-\delta_y\|_{H^{-s^2 = \sum_{n\in\mathbb Z\setminus\{0\ |n|^{-2s}|x^n-y^n|^2,\quad s > 1/2.</math>

Manifold and Lie group structure

The circle is a 1-dimensional real manifold, and multiplication and inversion are real-analytic maps on the circle. This gives the circle group the structure of a one-parameter group, an instance of a Lie group. In fact, up to isomorphism, it is the unique 1-dimensional compact, connected Lie group. Moreover, every <math>n</math>-dimensional compact, connected, abelian Lie group is isomorphic to .

Every compact Lie group <math>\mathrm{G}</math> of positive dimension contains a non-trivial maximal torus as a subgroup, and therefore a subgroup isomorphic to the circle group. This means that, thinking in terms of symmetry, a compact symmetry group acting continuously can be expected to have one-parameter circle subgroups acting; the consequences in physical systems are seen, for example, at rotational invariance and spontaneous symmetry breaking.

Subgroups

The circle group has many subgroups, but its only proper closed subgroups consist of roots of unity: For each integer , there are distinct <math>n</math>th roots of unity, which form a cyclic group of order&nbsp;, which is the unique subgroup of that order.

All other subgroups of the circle group have infinitely many elements and are dense. Some examples are:

  • The set of all roots of unity. This is the group <math>\{e^{2\pi i q}\mid q\in\mathbb Q\}</math>, where <math>\mathbb Q</math> is the set of rational numbers. It is dense in the same way that the rational numbers are dense in the reals.
  • A different dense subgroup is the group of rational points on the unit circle, that is pairs <math>(x,y)</math> of rational numbers satisfying <math>x^2+y^2=1</math>. This is because the rational numbers are mapped to rational points of the circle under stereographic projection, the same parametrization that produces primitive Pythagorean triples.
  • When <math>p</math> is a prime number, the subgroup of all roots of unity whose order is a power of <math>p</math> is also dense. Equivalently, under the isomorphism <math>\mathbb R/\mathbb Z\cong\mathbb T</math>, this is the subgroup consisting of rationals whose denominator is a power of <math>p</math>. This subgroup is called the Prüfer <math>p</math>-group.
  • For an irrational number <math>a</math> in <math>\mathbb R/\mathbb Z</math>, the multiples of <math>a</math>, <math>\{na|n\in\mathbb Z\}</math> is a dense subgroup which is discussed further below.

Endomorphisms and covering maps

The continuous group endomorphisms of the circle group (written multiplicatively) are the power maps

<math display=block>

z\mapsto z^n,\qquad n\in\mathbb Z.

</math>

For <math>n\ne 0</math>, this map is an <math>|n|</math>-fold covering homomorphism whose kernel is the group of <math>|n|</math>th roots of unity. In particular, the automorphism group of <math>\mathbb T</math> as a topological group is

<math display=block>

\operatorname{Aut}(\mathbb T)\cong\{\pm 1\},

</math>

corresponding to <math>z\mapsto z</math> and <math>z\mapsto z^{-1}</math>.

Representations

The finite-dimensional continuous representations of the circle group are easy to describe. It follows from Schur's lemma that the irreducible finite-dimensional continuous complex representations of an abelian compact group are all 1-dimensional. Since the circle group is compact, any continuous representation

<math display=block>\rho\colon \mathbb T \to \mathrm{GL}(1, \C) \cong \C^\times</math>

must take values in . Therefore, the irreducible finite-dimensional continuous complex representations of the circle group are just the continuous homomorphisms from the circle group to itself.

For each integer <math>n</math> we can define a representation <math>\phi_n</math> of the circle group by . These representations are all inequivalent. The representation <math>\phi_{-n}</math> is conjugate to :

<math display=block>\phi_{-n} = \overline{\phi_n}.</math>

These representations are just the continuous characters of the circle group. The continuous character group of <math>\mathbb T</math>, also called its Pontryagin dual, is an infinite cyclic group generated by :

<math display=block>\operatorname{Hom}_{\mathrm{cts(\mathbb T, \mathbb T) \cong \Z.</math>

The finite-dimensional continuous irreducible real representations of the circle group are the trivial representation (which is 1-dimensional) and the representations

<math display=block>\rho_n\bigl(e^{i\theta}\bigr) = \begin{bmatrix}

\cos n\theta & -\sin n\theta \\

\sin n\theta & \cos n\theta

\end{bmatrix}, \quad

n \in \Z^+ ,</math>

taking values in . Here we only have positive integers , since the representation <math>\rho_{-n}</math> is equivalent to . After complexification, <math>\rho_n</math> decomposes as the direct sum of the two complex characters <math>\phi_n</math> and <math>\phi_{-n}</math>.

Fourier analysis

Fourier series

The characters of <math>\mathbb T</math> are the fundamental building blocks of Fourier series. The characters form an orthonormal basis for <math>L^2(\mathbb T)</math> with respect to normalized Haar measure. Thus any square-integrable function on <math>\mathbb T</math> has an expansion

<math display=block>

f=\sum_{n=-\infty}^{\infty} \widehat f(n)e_n

</math>

with convergence in <math>L^2</math>, where

<math display=block>

\widehat f(n)=\int_{\mathbb T}\overline{e_n(t)}f(t)\,d\mu(t)

</math>

is its <math>n</math>th Fourier coefficient.

In the three common conventions for realizing the circle group, the characters are:

  • For <math>U(1)</math>, they are <math>e_n(z)=z^n</math>.
  • For <math>\mathbb R/2\pi\mathbb Z</math>, they are <math>e_n(\theta)=e^{in\theta}</math>.
  • For <math>\mathbb R/\mathbb Z</math>, they are <math>e_n(x)=e^{2\pi i n x}</math>.

These conventions place the factor <math>2\pi</math> in different parts of the notation. The first is the unit-circle or Laurent convention (and <math>2\pi</math> is the usual arc length of the circle). When the series is regarded as a Laurent series in a complex variable <math>z</math>, it is closely related to the bilateral z-transform. The second is the angular frequency convention, using a coordinate of period <math>2\pi</math>. The third is the ordinary frequency convention using a coordinate of period <math>1</math>, with <math>2\pi</math> appearing in the character.

Heat equation and diffusion

Diffusion is an invariant process on the circle that governs the statistics of motion of Brownian particles and the flow of heat in a one-dimensional periodic domain. Diffusion is governed by the standard translation-invariant Laplacian, which on <math>\mathbb T=\mathbb R/\mathbb Z</math> is <math>\Delta=d^2/dx^2</math>, and the heat equation is

<math display="block">\frac{\partial u}{\partial t} = \frac{\partial^2u}{\partial x^2}.</math>

This equation can be solved for initial data the character <math>e^{2\pi i n x}</math>, giving the diagonal evolution

<math display="block">

e^{t\Delta}e^{2\pi i n x}=e^{-4\pi^2n^2t}e^{2\pi i n x}.

</math>

Thus the heat kernel on the circle is the Fourier series

<math display="block">

p_t(x)=\sum_{n\in\mathbb Z}e^{-4\pi^2n^2t}e^{2\pi i n x}

=1+2\sum_{n=1}^{\infty}e^{-4\pi^2n^2t}\cos(2\pi n x).

</math>

Equivalently, by Poisson summation,

<math display="block">

p_t(x)=\frac{1}{\sqrt{4\pi t\sum_{k\in\mathbb Z}

\exp\!\left(-\frac{(x+k)^2}{4t}\right).

</math>

This is a periodized Gaussian and may be expressed in terms of a

Jacobi theta function. The solution of the heat equation

with initial data <math>f</math> is convolution with this kernel,

<math>u(t,x)=(p_t*f)(x)</math>.

An analogous method, essentially replacing <math>t</math> by <math>it</math>, can be used to study the Schrödinger equation.

Use in central extensions

The circle group serves an important role in projective representations of other groups. A projective unitary representation is a continuous group homomorphism from a group <math>G</math> to the projective unitary group of a Hilbert space <math>H</math>, <math>\rho\colon G\to PU(H)</math>. Such a representation can be locally lifted to a function <math>\tilde \rho\colon G\to U(H)</math> that makes a choice of phase factor, such that <math>\tilde \rho(g)\tilde \rho(h)=\omega(g,h)\tilde\rho(gh)</math>. The obstruction <math>\omega</math> is a 2-cocycle on <math>G</math> with values in the circle group. In this setting, the circle group is used to construct a group <math>\widetilde G</math> for which the representation becomes linear rather than projective, by taking the central extension

<math display="block">1\to\mathbb T\to \widetilde G\to G\to 1</math>

associated with the cocycle <math>\omega</math>. This construction underlies the Heisenberg group, where phase factors give the central extension appearing in the canonical commutation relations and the Stone–von Neumann theorem. In conformal field theory, one version of the Virasoro group is the universal central extension of the oriented diffeomorphisms of the circle by the circle group.

Ergodic theory

The circle group is a fundamental starting point in the study of ergodic theory and dynamical systems. For each <math>a\in\mathbb T=\mathbb R/\mathbb Z</math>, consider the operation of translation by <math>a</math> on the circle group <math>\mathbb T</math>, <math>R_a\colon \mathbb T\to\mathbb T</math>, <math>R_a(x) = a+x</math>. Several natural questions are:

  • What structure does the orbit of a point have? For instance, is it dense in the group? Is the orbit of a point equidistributed?
  • What is the effect of averaging functions on the circle over many applications of the operator <math>R_a</math>?

The answers turn on whether <math>a</math> is rational or irrational, that is whether <math>a\in\mathbb Q/\mathbb Z</math> or not.

If <math>a</math> is rational with (least) denominator <math>n</math>, then one has <math>R_a^n=1</math>, and so the orbits are periodic. If not, then the orbit is dense, and in fact equidistributed.

Similarly, the semigroup of translations <math>R_a,R_a^2,\dots</math> is minimal and acts ergodically if and only if <math>a</math> is irrational. It is uniquely ergodic in that case. One version of the ergodicity states that, given any Haar-integrable function <math>f</math> on <math>\mathbb T</math>, the average value of <math>f</math> over the whole circle is equal to the average of the function computed over the countable family translates <math>f(R_ax),f(R_a^2x),\dots</math>, for almost every <math>x</math> More formally,

In gauge theory, <math>U(1)</math> is the structure group of electromagnetism. A connection on a principal <math>U(1)</math>-bundle may be represented locally by an imaginary-valued one-form <math>A</math>, which corresponds to the electromagnetic potential, whose curvature two-form <math>F=dA</math> represents the field.

Pontryagin duality and Banach algebras

The Pontryagin dual of the circle group is naturally isomorphic to the additive group of integers. The character corresponding to <math>n\in\mathbb Z</math> is the homomorphism <math>\chi_n\colon \mathbb T\to\mathbb T</math> given by <math>\chi_n(z)=z^n</math>. Conversely, the Pontryagin dual of the discrete group <math>\mathbb Z</math> is naturally isomorphic to <math>\mathbb T</math>, because every character of the integers has the form <math>n\to z^n</math> for some unit complex number <math>z</math>.

These dualities are reflected in the associated commutative Banach algebras. The group algebra <math>L^1(\mathbb T)</math>, with convolution, has Gelfand transform given by the Fourier transform, and its characters are indexed by <math>\mathbb Z</math>; equivalently its space of maximal ideals is <math>\mathbb Z</math>. In the opposite direction, the group algebra <math>\ell^1(\mathbb Z)</math> has maximal ideal space naturally homeomorphic to <math>\mathbb T</math>. Its Gelfand transform maps a summable sequence <math>(a_n)_{n\in\mathbb Z}</math> to the function <math>z\mapsto \sum_{n\in\mathbb Z} a_n z^n</math>. The image is the Wiener algebra <math>A(\mathbb T)</math>, the algebra of continuous functions on the circle with absolutely convergent Fourier series. This is a proper subalgebra, under pointwise multiplication, of the Banach algebra <math>C(\mathbb T)</math>.

The same duality appears for group <math>C^*</math>-algebras. The group <math>C^*</math>-algebra of the discrete group <math>\mathbb Z</math> is the universal unital <math>C^*</math>-algebra generated by one unitary element, and is naturally isomorphic to <math>C(\mathbb T)</math>; the generator corresponds to the coordinate function <math>z\mapsto z</math>. In the opposite direction, the group <math>C^*</math>-algebra of the circle group, formed using convolution on <math>\mathbb T</math>, is identified by the Fourier transform with <math>c_0(\mathbb Z)</math>, the space of bi-infinite sequences of complex numbers that tend to zero at <math>\pm\infty</math>. In this way solenoids are one-dimensional compact connected abelian groups obtained from the circle by inverse limits of covering homomorphisms.

Every Pontryagin dual of a torsion-free rank one discrete abelian group is either a circle or a solenoid.

The number of copies of must be <math>\mathfrak c</math> (the cardinality of the continuum) in order for the cardinality of the direct sum to be correct. But the direct sum of <math>\mathfrak c</math> copies of is isomorphic to , as <math>\R</math> is a vector space of dimension <math>\mathfrak c</math> over . Thus, in this sense,

<math display=block>\mathbb T \cong \R \oplus (\Q/\Z).</math>

The isomorphism of abstract groups

<math display=block>\C^\times \cong \R \oplus (\Q/\Z)</math>

can be proved in the same way, since is also a divisible abelian group whose torsion subgroup is the same as the torsion subgroup of .

Algebraic group structure

The circle group can also be viewed as an algebraic torus. The field norm from <math>\mathbb C</math> to <math>\mathbb R</math> is

<math display=block>N_{\mathbb C/\mathbb R}(z)=z\bar z=|z|^2,</math>

and the circle group is the kernel of the norm homomorphism

<math display=block>N_{\mathbb C/\mathbb R}\colon \mathbb C^\times\to\mathbb R^\times.</math>

Equivalently,

<math display=block>\mathbb T=\{z\in\mathbb C^\times:z\bar z=1\}.</math>

In algebraic group terminology, this is the group of real points of the norm-one torus associated with the field extension <math>\mathbb C/\mathbb R</math>.

See also

  • One-parameter subgroup
  • -sphere
  • Orthogonal group
  • Phase factor (application in quantum-mechanics)
  • Rotation number
  • Versor

Notes

References

Further reading

  • Hua Luogeng (1981) Starting with the unit circle, Springer Verlag, .
  • Homeomorphism and the Group Structure on a Circle