# Circle group

This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this groupView a complete list of particular groups (this is a very huge list!)[SHOW MORE]

## Contents

## Definition

This group is denoted and is defined in a number of equivalent ways.

### As a multiplicative group of complex numbers

The circle group is defined as the group, under multiplication, of complex numbers of modulus one. In other words, it is the group of complex numbers on the unit circle, under multiplication.

### As reals modulo integers

An equivalent description of the circle group is as the quotient group , where is the additive group of real numbers and is the subgroup of defined as the additive group of integers.

Note that the isomorphism between the group and the complex numbers of modulus one is given by:

.

### As rotations

The circle group can also be defined in the following equivalent ways:

- It is the group of rotations in the plane (including the identity map) that fix a particular point, under composition.
- It is the special orthogonal group of degree two over the real numbers. In other words, it is the group .

Note that the term **circle group** may be used for the more general notion of the circle group over any field or ring. The circle group over a field is the group .

## Arithmetic functions

Function | Value | Similar groups | Explanation |
---|---|---|---|

order | cardinality of the continuum | ||

exponent | infinite | irrational multiples of have infinite order. | |

dimension of a real Lie group | 1 | Follows from definition as . | |

dimension of an algebraic group | 1 | Follows from definition as a one-dimensional variety. |

## Group properties

Property | Satisfied? | Explanation |
---|---|---|

abelian group | Yes | |

locally cyclic group | No | The subgroup generated by two elements that are not rational multiples of each other is not cyclic. |