Namespaces
Variants
Actions

Difference between revisions of "Topological group"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (link)
Line 5: Line 5:
 
Usually the underlying space of a topological group is assumed to be Hausdorff. The quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307021.png" /> is Hausdorff if and only if the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307022.png" /> is closed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307023.png" /> (from now on all subgroups considered are assumed to be closed). The quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307024.png" /> of cosets is regular. However, there exist topological groups with non-normal underlying space (cf. [[#References|[7]]]).
 
Usually the underlying space of a topological group is assumed to be Hausdorff. The quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307021.png" /> is Hausdorff if and only if the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307022.png" /> is closed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307023.png" /> (from now on all subgroups considered are assumed to be closed). The quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307024.png" /> of cosets is regular. However, there exist topological groups with non-normal underlying space (cf. [[#References|[7]]]).
  
A topological group is said to be connected, totally disconnected, compact, locally compact, etc., if the corresponding property holds for its underlying topological space. The connected component of the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307025.png" /> is the largest connected closed subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307026.png" />. The quotient group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307027.png" /> is totally disconnected. A locally compact totally-disconnected group has an open compact subgroup. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307028.png" /> is a compact totally-disconnected group, then every neighbourhood of the identity contains an open normal subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307029.png" />. Hence it follows that the class of compact totally-disconnected groups coincides with the class of profinite groups (cf. [[Profinite group|Profinite group]]). These play an important role in Galois theory, where, with the Krull topology, they appear as the Galois groups of infinite separable fields.
+
A topological group is said to be connected, totally disconnected, compact, locally compact, etc., if the corresponding property holds for its underlying topological space. The connected component of the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307025.png" /> is the largest connected closed subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307026.png" />. The quotient group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307027.png" /> is totally disconnected. A locally compact totally-disconnected group has an open compact subgroup. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307028.png" /> is a compact totally-disconnected group, then every neighbourhood of the identity contains an open normal subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307029.png" />. Hence it follows that the class of compact totally-disconnected groups coincides with the class of profinite groups (cf. [[Profinite group|Profinite group]]). These play an important role in Galois theory, where, with the [[Krull topology]], they appear as the Galois groups of infinite separable fields.
  
 
Every topological group is a [[Uniform space|uniform space]] in a natural way. Specifically, a left uniform group structure on a topological group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307030.png" /> is defined by the collection of sets
 
Every topological group is a [[Uniform space|uniform space]] in a natural way. Specifically, a left uniform group structure on a topological group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307030.png" /> is defined by the collection of sets

Revision as of 19:06, 23 April 2017

A set on which two structures are given — a group structure and a topology, such that the group operations are continuous. Specifically, the mapping from the direct product into must be continuous. A subgroup of a topological group is a topological group in the induced topology. The quotient space of cosets is given the quotient topology with respect to the canonical mapping from onto . If is a normal subgroup of , then (the quotient group of by ) is a topological group.

Examples of topological groups: the vector group is the direct product of copies of the additive group of real numbers with the natural topology; the circle is the quotient group of by the subgroup of integers ; every Lie group; any abstract group with the discrete topology; an arbitrary topological vector space.

Usually the underlying space of a topological group is assumed to be Hausdorff. The quotient space is Hausdorff if and only if the subgroup is closed in (from now on all subgroups considered are assumed to be closed). The quotient space of cosets is regular. However, there exist topological groups with non-normal underlying space (cf. [7]).

A topological group is said to be connected, totally disconnected, compact, locally compact, etc., if the corresponding property holds for its underlying topological space. The connected component of the identity is the largest connected closed subgroup of . The quotient group is totally disconnected. A locally compact totally-disconnected group has an open compact subgroup. If is a compact totally-disconnected group, then every neighbourhood of the identity contains an open normal subgroup of . Hence it follows that the class of compact totally-disconnected groups coincides with the class of profinite groups (cf. Profinite group). These play an important role in Galois theory, where, with the Krull topology, they appear as the Galois groups of infinite separable fields.

Every topological group is a uniform space in a natural way. Specifically, a left uniform group structure on a topological group is defined by the collection of sets

where runs over a system of neighbourhoods of the identity in ; a right uniform structure is defined by symmetry. The topology arising from the uniform structure is the same as the original topology on the group. The existence of a uniform structure on a topological group allows one to introduce and apply the notions of uniform continuity (for example, for real-valued functions on a topological group), Cauchy sequences, completeness, and completion. A locally compact topological group is complete in its uniform structure. A consequence of this is the fact that any locally compact subgroup of a Hausdorff topological group is closed. There exist, however, topological groups which cannot even be imbedded in complete groups.

On every locally compact topological group there exists a non-trivial measure that is invariant under left translation (that is, for every -measurable subset and every element the subset is measurable and ). Such a measure is called a Haar measure. It is unique up to multiplication by a constant.

If the topological group is compact, then a Haar measure is also invariant under right translation. Moreover, in this case one may choose the constant factor such that . This enables one to consider the integral as the mean value of the function on . The most important applications of Haar measure are concerned with the theory of continuous representations. Integration with respect to a Haar measure allows one to transfer to compact groups a significant part of the theory of representations of finite groups (for example, the orthogonality relation for characters, or for matrix entries), and also the Peter–Weyl theorem, which was first obtained for Lie groups. A consequence of this theorem is the fact that every compact group admits a complete system of finite-dimensional unitary representations (in other words, for every non-trivial element there exists a representation such that ). There exist locally compact groups without non-trivial finite-dimensional representations.

In essence, significant results about the structure of topological groups are known only for locally compact groups. For locally compact Abelian groups there is the following fundamental structure theorem: Every locally compact Abelian group can be represented as the direct product , where is a group with an open compact subgroup . This result is a consequence of a duality theory for locally compact Abelian groups (cf. Pontryagin duality). This theorem reduces the study of the structure of to questions about the discrete groups and , where is the character group of , in other words, to questions in abstract group theory.

A definitive part in the development of the theory of topological groups was played by Hilbert's fifth problem. It was formulated in 1900 as a problem about local transformation groups, and was essential to the development of the theory of topological groups. The following has become the generally accepted formulation of it: Is every locally Euclidean topological group a Lie group? (A topological group is called locally Euclidean if it has a neighbourhood of the identity that is homeomorphic to a Euclidean space , i.e. if it is a topological manifold.) Hilbert's fifth problem was solved in 1952 (cf. [6]). An essential ingredient was the proof of the following criterion for being of Lie type: A locally compact group is a Lie group if and only if it is a group without small subgroups (that is, if there exists a neighbourhood of the identity that does not contain a non-trivial subgroup). It was also shown that a locally compact group with compact quotient group is a projective limit of Lie groups (or, equivalently, every neighbourhood of the identity in contains a normal subgroup such that is a Lie group). Every neighbourhood of the identity in an arbitrary locally compact group contains an open set of the form , where is a compact subgroup and is a connected local Lie group.

The fact that locally compact groups with compact quotient group are projective limits of Lie groups made it possible to carry over many results previously known for Lie groups to this class of groups (cf. [8]). For example, every compact subgroup of is contained in a maximal compact subgroup, and any two maximal compact subgroups of are conjugate. Moreover, if is one of the maximal compact subgroups of , then there exists a set of one-parameter subgroups , , such that the mapping sending to the product is a homeomorphism from the group onto .

After the solution of Hilbert's fifth problem, the major problem was to investigate in more detail the structure of locally compact groups satisfying some or other additional properties. Classes of groups satisfying some finiteness property have been studied; for example, the condition of finiteness of the special rank, different variants of the maximum and minimum conditions for subgroups, etc. (cf. [5]). A theory of locally nilpotent, locally compact groups arose. A large part of the results obtained here were later extended to the class of locally residually-nilpotent groups [9].

References

[1] N. Bourbaki, "Elements of mathematics. General topology" , Addison-Wesley (1966) (Translated from French)
[2] A. Weil, "l'Intégration dans les groupes topologiques et ses applications" , Hermann (1940)
[3] L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian)
[4] E. Hewitt, K.A. Ross, "Abstract harmonic analysis" , 1 , Springer (1979)
[5] Itogi Nauk. Algebra 1964 (1966) pp. 123–160
[6] V.M. Glushkov, "Structure of locally bicompact groups and Hilbert's fifth problem" Uspekhi Mat. Nauk , 12 : 2 (1957) pp. 3–41 (In Russian)
[7] M.I. Graev, "Theory of topological groups I" Uspekhi Mat. Nauk , 5 : 2 (1950) pp. 3–56 (In Russian)
[8] V.P. Platonov, "Periodic and compact subgroups of topological groups" Sibirsk. Mat. Zh. , 7 : 4 (1966) pp. 854–877 (In Russian)
[9] V.P. Platonov, "The structure of locally projectively nilpotent groups and groups with a normalization condition" Mat. Sb. , 72 : 1 (1967) pp. 38–58 (In Russian)


Comments

There are also two-sided uniform structures, the join of the left structure and the right structure. These are somewhat awkward to work with, but they have the advantage that, with respect to them, every topological group admits a completion [a10].

After partial earlier answers, by L.E.J. Brouwer for locally Euclidean groups of dimension , and by J. von Neumann and L.S. Pontryagin for commutative locally Euclidean groups, Hilbert's fifth problem was completely solved by A. Gleason, D. Montgomery, and L. Zippin, [a1], [a2]. For detailed accounts cf. [6], [a3], [a4]. The result that every locally compact subgroup has an open subgroup which is a projective limit of subgroups is due to H. Yamabe, [a5]. Hilbert's original question was "to what extent Lie's concept of a continuous transformation group can be investigated without assumptions on differentiability" ( "inwieweit der Liesche Begriff der Kontinuierlichen Transformationsgruppe auch ohne Annahme der Differenzierbarkeit der Funktionen unserer Untersuchung zugänglich ist" ). Thus, one is led to ask, [a6]: If is a locally compact group which acts effectively on a manifold as a topological transformation group, is a Lie group?

A positive result in this direction is that this is the case if is differentiable and acts by differentiable transformations ( is differentiable), [a7]. Another positive result states that if is a torsion group acting effectively on a manifold, then is finite, [a8].

References

[a1] A. Gleason, "Groups without small subgroups" Ann. of Math. , 56 (1952) pp. 193–212
[a2] D. Montgomery, L. Zippin, "Small groups of finite dimensional groups" Ann. of Math. , 56 (1952) pp. 213–241
[a3] J. Kaplansky, "Lie algebras and locally compact groups" , Chicago Univ. Press (1971)
[a4] D. Montgomery, L. Zippin, "Topological transformation groups" , Interscience (1955)
[a5] H. Yamabe, "On the conjecture of Iwasawa and Gleason" Ann. of Math. , 58 (1953) pp. 48–54
[a6] C.T. Young, "Hilbert's fifth problem and related problems on transformation groups" F.E. Browder (ed.) , Mathematical developments arising from Hilbert problems , Proc. Symp. Pure Math. , 28 , Amer. Math. Soc. (1976) pp. 142–146
[a7] D. Montgomery, "Topological groups of differentiable transformations" Ann. of Math. , 46 (1945) pp. 382–387
[a8] M.H.A. Newman, "A theorem of periodic transformations of spaces" Quart. J. Math. , 2 (1931) pp. 1–8
[a9] E.G. [E.G. Sklyarenko] Skljarenko, "Zum fünften Hilbertschen Probleme" P.S. Aleksandrov (ed.) , Die Hilbertschen Probleme , Geest & Portig (1979) pp. 126–144 (Translated from Russian)
[a10] D.A. Raikov, "On the completion of topological groups" Izv. Akad. Nauk SSSR , 10 (1946) pp. 513–528 (In Russian)
[a11] W.W. Comfort, "Topological groups" K. Kunen (ed.) J.E. Vaughan (ed.) , Handbook of Set-Theoretic Topology , North-Holland (1984) pp. 1433–1263
[a12] K.H. Hofmann, S.A. Morris, "Free compact groups I" Topology Appl. , 23 (1986) pp. 43–49
[a13] K.H. Hofmann, S.A. Morris, "Free compact groups II" Topology Appl. , 28 (1988) pp. 215–231
How to Cite This Entry:
Topological group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Topological_group&oldid=41185
This article was adapted from an original article by O.V. Mel'nikov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article