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 group
View 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 ![]() | |
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. |