Group Structure
In this section we will forget about the topological structure of the circle group and look only at its structure as an abstract group.
The circle group T is a divisible group. Its torsion subgroup is given by the set of all nth roots of unity for all n, and is isomorphic to Q/Z. The structure theorem for divisible groups tells us that T is isomorphic to the direct sum of Q/Z with a number of copies of Q. The number of copies of Q must be c (the cardinality of the continuum) in order for the cardinality of the direct sum to be correct. But the direct sum of c copies of Q is isomorphic to R, as R is a vector space of dimension c over Q. Thus
The isomorphism
can be proved in the same way, as C× is also a divisible abelian group whose torsion subgroup is the same as the torsion subgroup of T.
Read more about this topic: Circle Group
Famous quotes containing the words group and/or structure:
“We often overestimate the influence of a peer group on our teenager. While the peer group is most influential in matters of taste and preference, we parents are most influential in more abiding matters of standards, beliefs, and values.”
—David Elkind (20th century)
“Agnosticism is a perfectly respectable and tenable philosophical position; it is not dogmatic and makes no pronouncements about the ultimate truths of the universe. It remains open to evidence and persuasion; lacking faith, it nevertheless does not deride faith. Atheism, on the other hand, is as unyielding and dogmatic about religious belief as true believers are about heathens. It tries to use reason to demolish a structure that is not built upon reason.”
—Sydney J. Harris (1917–1986)