Namespaces
Variants
Actions

Difference between revisions of "Topological group"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (link)
m (tex encoded by computer)
 
Line 1: Line 1:
A set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t0930701.png" /> on which two structures are given — a group structure and a topology, such that the group operations are continuous. Specifically, the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t0930702.png" /> from the direct product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t0930703.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t0930704.png" /> must be continuous. A subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t0930705.png" /> of a topological group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t0930706.png" /> is a topological group in the induced topology. The quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t0930707.png" /> of cosets is given the quotient topology with respect to the canonical mapping from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t0930708.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t0930709.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307010.png" /> is a normal subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307011.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307012.png" /> (the quotient group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307013.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307014.png" />) is a topological group.
+
<!--
 +
t0930701.png
 +
$#A+1 = 87 n = 0
 +
$#C+1 = 87 : ~/encyclopedia/old_files/data/T093/T.0903070 Topological group
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
Examples of topological groups: the vector group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307015.png" /> is the direct product of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307016.png" /> copies of the additive group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307017.png" /> of real numbers with the natural topology; the circle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307018.png" /> is the quotient group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307019.png" /> by the subgroup of integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307020.png" />; every [[Lie group|Lie group]]; any abstract group with the discrete topology; an arbitrary [[Topological vector space|topological vector space]].
+
{{TEX|auto}}
 +
{{TEX|done}}
  
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 set  $  G $
 +
on which two structures are given — a group structure and a topology, such that the group operations are continuous. Specifically, the mapping  $  (a, b) \mapsto ab  ^ {-1} $
 +
from the direct product  $  G \times G $
 +
into  $  G $
 +
must be continuous. A subgroup  $  H $
 +
of a topological group $  G $
 +
is a topological group in the induced topology. The quotient space $  G/H $
 +
of cosets is given the quotient topology with respect to the canonical mapping from  $  G $
 +
onto  $  G/H $.  
 +
If  $  H $
 +
is a normal subgroup of  $  G $,
 +
then  $  G/H $(
 +
the quotient group of $  G $
 +
by  $  H $)
 +
is a topological group.
  
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.
+
Examples of topological groups: the vector group $  \mathbf R  ^ {n} $
 +
is the direct product of  $  n $
 +
copies of the additive group  $  \mathbf R $
 +
of real numbers with the natural topology; the circle  $  \mathbf R / \mathbf Z $
 +
is the quotient group of $  \mathbf R $
 +
by the subgroup of integers  $  \mathbf Z $;
 +
every [[Lie group|Lie group]]; any abstract group with the discrete topology; an arbitrary [[Topological vector space|topological vector space]].
  
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
+
Usually the underlying space of a topological group is assumed to be Hausdorff. The quotient space $  G/H $
 +
is Hausdorff if and only if the subgroup  $  H $
 +
is closed in  $  G $(
 +
from now on all subgroups considered are assumed to be closed). The quotient space $  G/H $
 +
of cosets is regular. However, there exist topological groups with non-normal underlying space (cf. [[#References|[7]]]).
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307031.png" /></td> </tr></table>
+
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  $  G  ^ {0} $
 +
is the largest connected closed subgroup of  $  G $.
 +
The quotient group  $  G/G  ^ {0} $
 +
is totally disconnected. A locally compact totally-disconnected group has an open compact subgroup. If  $  G $
 +
is a compact totally-disconnected group, then every neighbourhood of the identity contains an open normal subgroup of  $  G $.
 +
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.
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307032.png" /> runs over a system of neighbourhoods of the identity in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307033.png" />; 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.
+
Every topological group is a [[Uniform space|uniform space]] in a natural way. Specifically, a left uniform group structure on a topological group $  G $
 +
is defined by the collection of sets
  
On every locally compact topological group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307034.png" /> there exists a non-trivial measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307035.png" /> that is invariant under left translation (that is, for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307036.png" />-measurable subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307037.png" /> and every element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307038.png" /> the subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307039.png" /> is measurable and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307040.png" />). Such a measure is called a [[Haar measure|Haar measure]]. It is unique up to multiplication by a constant.
+
$$
 +
L (U)  = \
 +
\{ {(x, y) \in G \times G } : {
 +
x  ^ {-1} y \in U } \}
 +
,
 +
$$
  
If the topological group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307041.png" /> is compact, then a Haar measure is also invariant under right translation. Moreover, in this case one may choose the constant factor such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307042.png" />. This enables one to consider the integral <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307043.png" /> as the mean value of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307044.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307045.png" />. 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|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307046.png" /> there exists a representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307047.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307048.png" />). There exist locally compact groups without non-trivial finite-dimensional representations.
+
where  $  U $
 +
runs over a system of neighbourhoods of the identity in  $  G $;
 +
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.
  
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307049.png" /> can be represented as the direct product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307050.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307051.png" /> is a group with an open compact subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307052.png" />. This result is a consequence of a duality theory for locally compact Abelian groups (cf. [[Pontryagin duality|Pontryagin duality]]). This theorem reduces the study of the structure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307053.png" /> to questions about the discrete groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307054.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307055.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307056.png" /> is the character group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307057.png" />, in other words, to questions in abstract group theory.
+
On every locally compact topological group  $  G $
 +
there exists a non-trivial measure  $  \mu $
 +
that is invariant under left translation (that is, for every  $  \mu $-
 +
measurable subset  $  A \subseteq G $
 +
and every element  $  x \in G $
 +
the subset  $  xA $
 +
is measurable and  $  \mu (xA) = \mu (A) $).  
 +
Such a measure is called a [[Haar measure|Haar measure]]. It is unique up to multiplication by a constant.
  
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307058.png" />, i.e. if it is a topological manifold.) Hilbert's fifth problem was solved in 1952 (cf. [[#References|[6]]]). An essential ingredient was the proof of the following criterion for being of Lie type: A locally compact group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307059.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307060.png" /> with compact quotient group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307061.png" /> is a projective limit of Lie groups (or, equivalently, every neighbourhood of the identity in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307062.png" /> contains a normal subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307063.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307064.png" /> is a Lie group). Every neighbourhood of the identity in an arbitrary locally compact group contains an open set of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307065.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307066.png" /> is a compact subgroup and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307067.png" /> is a connected local Lie group.
+
If the topological group  $  G $
 +
is compact, then a Haar measure is also invariant under right translation. Moreover, in this case one may choose the constant factor such that  $  \mu (G) = 1 $.
 +
This enables one to consider the integral  $  \int f (x)  d \mu (x) $
 +
as the mean value of the function  $  f (x) $
 +
on  $  G $.
 +
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|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  $  x \in G $
 +
there exists a representation  $  \rho $
 +
such that $  \rho (x) \neq E $).  
 +
There exist locally compact groups without non-trivial finite-dimensional representations.
  
The fact that locally compact groups with compact quotient group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307068.png" /> 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. [[#References|[8]]]). For example, every compact subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307069.png" /> is contained in a maximal compact subgroup, and any two maximal compact subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307070.png" /> are conjugate. Moreover, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307071.png" /> is one of the maximal compact subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307072.png" />, then there exists a set of one-parameter subgroups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307073.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307074.png" />, such that the mapping sending <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307075.png" /> to the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307076.png" /> is a homeomorphism from the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307077.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307078.png" />.
+
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  $  G $
 +
can be represented as the direct product  $  G = \mathbf R  ^ {n} \times H $,
 +
where  $  H $
 +
is a group with an open compact subgroup  $  K $.
 +
This result is a consequence of a duality theory for locally compact Abelian groups (cf. [[Pontryagin duality|Pontryagin duality]]). This theorem reduces the study of the structure of  $  G $
 +
to questions about the discrete groups  $  H/K $
 +
and  $  \widehat{K}  $,
 +
where  $  \widehat{K}  $
 +
is the character group of  $  K $,
 +
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  $  \mathbf R  ^ {n} $,
 +
i.e. if it is a topological manifold.) Hilbert's fifth problem was solved in 1952 (cf. [[#References|[6]]]). An essential ingredient was the proof of the following criterion for being of Lie type: A locally compact group  $  G $
 +
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  $  G $
 +
with compact quotient group $  G/G _ {0} $
 +
is a projective limit of Lie groups (or, equivalently, every neighbourhood of the identity in  $  G $
 +
contains a normal subgroup  $  N $
 +
such that  $  G/N $
 +
is a Lie group). Every neighbourhood of the identity in an arbitrary locally compact group contains an open set of the form  $  K \times L $,
 +
where  $  K $
 +
is a compact subgroup and  $  L $
 +
is a connected local Lie group.
 +
 
 +
The fact that locally compact groups with compact quotient group  $  G/G _ {0} $
 +
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. [[#References|[8]]]). For example, every compact subgroup of $  G $
 +
is contained in a maximal compact subgroup, and any two maximal compact subgroups of $  G $
 +
are conjugate. Moreover, if $  K $
 +
is one of the maximal compact subgroups of $  G $,  
 +
then there exists a set of one-parameter subgroups $  L _ {i} \cong \mathbf R $,  
 +
$  i = 1 \dots n $,  
 +
such that the mapping sending $  (k, l _ {1} \dots l _ {n} ) $
 +
to the product $  kl _ {1} \dots l _ {n} $
 +
is a homeomorphism from the group $  K \times L _ {1} \times \dots \times L _ {n} $
 +
onto $  G $.
  
 
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. [[#References|[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 [[#References|[9]]].
 
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. [[#References|[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 [[#References|[9]]].
Line 27: Line 120:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. General topology" , Addison-Wesley  (1966)  (Translated from French)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A. Weil,  "l'Intégration dans les groupes topologiques et ses applications" , Hermann  (1940)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L.S. Pontryagin,  "Topological groups" , Princeton Univ. Press  (1958)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  E. Hewitt,  K.A. Ross,  "Abstract harmonic analysis" , '''1''' , Springer  (1979)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  ''Itogi Nauk. Algebra 1964''  (1966)  pp. 123–160</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  V.M. Glushkov,  "Structure of locally bicompact groups and Hilbert's fifth problem"  ''Uspekhi Mat. Nauk'' , '''12''' :  2  (1957)  pp. 3–41  (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  M.I. Graev,  "Theory of topological groups I"  ''Uspekhi Mat. Nauk'' , '''5''' :  2  (1950)  pp. 3–56  (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  V.P. Platonov,  "Periodic and compact subgroups of topological groups"  ''Sibirsk. Mat. Zh.'' , '''7''' :  4  (1966)  pp. 854–877  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  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)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. General topology" , Addison-Wesley  (1966)  (Translated from French)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A. Weil,  "l'Intégration dans les groupes topologiques et ses applications" , Hermann  (1940)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L.S. Pontryagin,  "Topological groups" , Princeton Univ. Press  (1958)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  E. Hewitt,  K.A. Ross,  "Abstract harmonic analysis" , '''1''' , Springer  (1979)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  ''Itogi Nauk. Algebra 1964''  (1966)  pp. 123–160</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  V.M. Glushkov,  "Structure of locally bicompact groups and Hilbert's fifth problem"  ''Uspekhi Mat. Nauk'' , '''12''' :  2  (1957)  pp. 3–41  (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  M.I. Graev,  "Theory of topological groups I"  ''Uspekhi Mat. Nauk'' , '''5''' :  2  (1950)  pp. 3–56  (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  V.P. Platonov,  "Periodic and compact subgroups of topological groups"  ''Sibirsk. Mat. Zh.'' , '''7''' :  4  (1966)  pp. 854–877  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  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)</TD></TR></table>
 
 
  
 
====Comments====
 
====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 [[#References|[a10]]].
 
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 [[#References|[a10]]].
  
After partial earlier answers, by L.E.J. Brouwer for locally Euclidean groups of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307079.png" />, 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, [[#References|[a1]]], [[#References|[a2]]]. For detailed accounts cf. [[#References|[6]]], [[#References|[a3]]], [[#References|[a4]]]. The result that every locally compact subgroup has an open subgroup which is a projective limit of subgroups is due to H. Yamabe, [[#References|[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, [[#References|[a6]]]: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307080.png" /> is a locally compact group which acts effectively on a manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307081.png" /> as a topological transformation group, is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307082.png" /> a Lie group?
+
After partial earlier answers, by L.E.J. Brouwer for locally Euclidean groups of dimension $  \leq  2 $,  
 +
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, [[#References|[a1]]], [[#References|[a2]]]. For detailed accounts cf. [[#References|[6]]], [[#References|[a3]]], [[#References|[a4]]]. The result that every locally compact subgroup has an open subgroup which is a projective limit of subgroups is due to H. Yamabe, [[#References|[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, [[#References|[a6]]]: If $  G $
 +
is a locally compact group which acts effectively on a manifold $  M $
 +
as a topological transformation group, is $  G $
 +
a Lie group?
  
A positive result in this direction is that this is the case if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307083.png" /> is differentiable and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307084.png" /> acts by differentiable transformations (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307085.png" /> is differentiable), [[#References|[a7]]]. Another positive result states that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307086.png" /> is a torsion group acting effectively on a manifold, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093070/t09307087.png" /> is finite, [[#References|[a8]]].
+
A positive result in this direction is that this is the case if $  M $
 +
is differentiable and $  G $
 +
acts by differentiable transformations ( $  x \mapsto g x $
 +
is differentiable), [[#References|[a7]]]. Another positive result states that if $  G $
 +
is a torsion group acting effectively on a manifold, then $  G $
 +
is finite, [[#References|[a8]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A. Gleason,  "Groups without small subgroups"  ''Ann. of Math.'' , '''56'''  (1952)  pp. 193–212</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D. Montgomery,  L. Zippin,  "Small groups of finite dimensional groups"  ''Ann. of Math.'' , '''56'''  (1952)  pp. 213–241</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J. Kaplansky,  "Lie algebras and locally compact groups" , Chicago Univ. Press  (1971)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  D. Montgomery,  L. Zippin,  "Topological transformation groups" , Interscience  (1955)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  H. Yamabe,  "On the conjecture of Iwasawa and Gleason"  ''Ann. of Math.'' , '''58'''  (1953)  pp. 48–54</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  D. Montgomery,  "Topological groups of differentiable transformations"  ''Ann. of Math.'' , '''46'''  (1945)  pp. 382–387</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  M.H.A. Newman,  "A theorem of periodic transformations of spaces"  ''Quart. J. Math.'' , '''2'''  (1931)  pp. 1–8</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  E.G. [E.G. Sklyarenko] Skljarenko,  "Zum fünften Hilbertschen Probleme"  P.S. Aleksandrov (ed.) , ''Die Hilbertschen Probleme'' , Geest &amp; Portig  (1979)  pp. 126–144  (Translated from Russian)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  D.A. Raikov,  "On the completion of topological groups"  ''Izv. Akad. Nauk SSSR'' , '''10'''  (1946)  pp. 513–528  (In Russian)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  W.W. Comfort,  "Topological groups"  K. Kunen (ed.)  J.E. Vaughan (ed.) , ''Handbook of Set-Theoretic Topology'' , North-Holland  (1984)  pp. 1433–1263</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  K.H. Hofmann,  S.A. Morris,  "Free compact groups I"  ''Topology Appl.'' , '''23'''  (1986)  pp. 43–49</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  K.H. Hofmann,  S.A. Morris,  "Free compact groups II"  ''Topology Appl.'' , '''28'''  (1988)  pp. 215–231</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A. Gleason,  "Groups without small subgroups"  ''Ann. of Math.'' , '''56'''  (1952)  pp. 193–212</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D. Montgomery,  L. Zippin,  "Small groups of finite dimensional groups"  ''Ann. of Math.'' , '''56'''  (1952)  pp. 213–241</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J. Kaplansky,  "Lie algebras and locally compact groups" , Chicago Univ. Press  (1971)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  D. Montgomery,  L. Zippin,  "Topological transformation groups" , Interscience  (1955)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  H. Yamabe,  "On the conjecture of Iwasawa and Gleason"  ''Ann. of Math.'' , '''58'''  (1953)  pp. 48–54</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  D. Montgomery,  "Topological groups of differentiable transformations"  ''Ann. of Math.'' , '''46'''  (1945)  pp. 382–387</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  M.H.A. Newman,  "A theorem of periodic transformations of spaces"  ''Quart. J. Math.'' , '''2'''  (1931)  pp. 1–8</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  E.G. [E.G. Sklyarenko] Skljarenko,  "Zum fünften Hilbertschen Probleme"  P.S. Aleksandrov (ed.) , ''Die Hilbertschen Probleme'' , Geest &amp; Portig  (1979)  pp. 126–144  (Translated from Russian)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  D.A. Raikov,  "On the completion of topological groups"  ''Izv. Akad. Nauk SSSR'' , '''10'''  (1946)  pp. 513–528  (In Russian)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  W.W. Comfort,  "Topological groups"  K. Kunen (ed.)  J.E. Vaughan (ed.) , ''Handbook of Set-Theoretic Topology'' , North-Holland  (1984)  pp. 1433–1263</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  K.H. Hofmann,  S.A. Morris,  "Free compact groups I"  ''Topology Appl.'' , '''23'''  (1986)  pp. 43–49</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  K.H. Hofmann,  S.A. Morris,  "Free compact groups II"  ''Topology Appl.'' , '''28'''  (1988)  pp. 215–231</TD></TR></table>

Latest revision as of 16:40, 31 March 2020


A set $ G $ on which two structures are given — a group structure and a topology, such that the group operations are continuous. Specifically, the mapping $ (a, b) \mapsto ab ^ {-1} $ from the direct product $ G \times G $ into $ G $ must be continuous. A subgroup $ H $ of a topological group $ G $ is a topological group in the induced topology. The quotient space $ G/H $ of cosets is given the quotient topology with respect to the canonical mapping from $ G $ onto $ G/H $. If $ H $ is a normal subgroup of $ G $, then $ G/H $( the quotient group of $ G $ by $ H $) is a topological group.

Examples of topological groups: the vector group $ \mathbf R ^ {n} $ is the direct product of $ n $ copies of the additive group $ \mathbf R $ of real numbers with the natural topology; the circle $ \mathbf R / \mathbf Z $ is the quotient group of $ \mathbf R $ by the subgroup of integers $ \mathbf Z $; 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 $ G/H $ is Hausdorff if and only if the subgroup $ H $ is closed in $ G $( from now on all subgroups considered are assumed to be closed). The quotient space $ G/H $ 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 $ G ^ {0} $ is the largest connected closed subgroup of $ G $. The quotient group $ G/G ^ {0} $ is totally disconnected. A locally compact totally-disconnected group has an open compact subgroup. If $ G $ is a compact totally-disconnected group, then every neighbourhood of the identity contains an open normal subgroup of $ G $. 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 $ G $ is defined by the collection of sets

$$ L (U) = \ \{ {(x, y) \in G \times G } : { x ^ {-1} y \in U } \} , $$

where $ U $ runs over a system of neighbourhoods of the identity in $ G $; 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 $ G $ there exists a non-trivial measure $ \mu $ that is invariant under left translation (that is, for every $ \mu $- measurable subset $ A \subseteq G $ and every element $ x \in G $ the subset $ xA $ is measurable and $ \mu (xA) = \mu (A) $). Such a measure is called a Haar measure. It is unique up to multiplication by a constant.

If the topological group $ G $ is compact, then a Haar measure is also invariant under right translation. Moreover, in this case one may choose the constant factor such that $ \mu (G) = 1 $. This enables one to consider the integral $ \int f (x) d \mu (x) $ as the mean value of the function $ f (x) $ on $ G $. 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 $ x \in G $ there exists a representation $ \rho $ such that $ \rho (x) \neq E $). 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 $ G $ can be represented as the direct product $ G = \mathbf R ^ {n} \times H $, where $ H $ is a group with an open compact subgroup $ K $. 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 $ G $ to questions about the discrete groups $ H/K $ and $ \widehat{K} $, where $ \widehat{K} $ is the character group of $ K $, 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 $ \mathbf R ^ {n} $, 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 $ G $ 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 $ G $ with compact quotient group $ G/G _ {0} $ is a projective limit of Lie groups (or, equivalently, every neighbourhood of the identity in $ G $ contains a normal subgroup $ N $ such that $ G/N $ is a Lie group). Every neighbourhood of the identity in an arbitrary locally compact group contains an open set of the form $ K \times L $, where $ K $ is a compact subgroup and $ L $ is a connected local Lie group.

The fact that locally compact groups with compact quotient group $ G/G _ {0} $ 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 $ G $ is contained in a maximal compact subgroup, and any two maximal compact subgroups of $ G $ are conjugate. Moreover, if $ K $ is one of the maximal compact subgroups of $ G $, then there exists a set of one-parameter subgroups $ L _ {i} \cong \mathbf R $, $ i = 1 \dots n $, such that the mapping sending $ (k, l _ {1} \dots l _ {n} ) $ to the product $ kl _ {1} \dots l _ {n} $ is a homeomorphism from the group $ K \times L _ {1} \times \dots \times L _ {n} $ onto $ G $.

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 $ \leq 2 $, 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 $ G $ is a locally compact group which acts effectively on a manifold $ M $ as a topological transformation group, is $ G $ a Lie group?

A positive result in this direction is that this is the case if $ M $ is differentiable and $ G $ acts by differentiable transformations ( $ x \mapsto g x $ is differentiable), [a7]. Another positive result states that if $ G $ is a torsion group acting effectively on a manifold, then $ G $ 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=44950
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