Completeness of the factor group of a complete topological group and completeness of the factor ring of a complete topological ring by a compact normal subgroup and a compact ideal, respectively
Аннотация:
If $M$ is a subgroup of an Abelian group $G(+)$ and $\tau$ is a group topology on the group $G$ such that $(G,\tau)$ is a complete topological group and $M$ is a compact or it is locally compact subgroup of the topological group $(G,\tau)$, then the factor group $(\overline G,\overline\tau)=(G,\tau)/M$ is a complete topological group.
Ключевые слова и фразы:
topological groups, topological rings, factor group of a topological group, factor ring of a topological ring, directed set, Cauchy sequence by a directed set, limit of a sequence by a directed set, complete topological group, Cauchy filter, complete topological ring.