Misplaced Pages

In mathematics, a topological group ${\displaystyle G}$ is called the topological direct sum of two subgroups ${\displaystyle H_{1}}$ and ${\displaystyle H_{2}}$ if the map $${\displaystyle {\begin{aligned}H_{1}\times H_{2}&\longrightarrow G\\(h_{1},h_{2})&\longmapsto h_{1}h_{2}\end{aligned}}}$$ is a topological isomorphism, meaning that it is a homeomorphism and a group isomorphism.

Definition

More generally, ${\displaystyle G}$ is called the direct sum of a finite set of subgroups ${\displaystyle H_{1},\ldots ,H_{n}}$ of the map $${\displaystyle {\begin{aligned}\prod _{i=1}^{n}H_{i}&\longrightarrow G\\(h_{i})_{i\in I}&\longmapsto h_{1}h_{2}\cdots h_{n}\end{aligned}}}$$ is a topological isomorphism.

If a topological group ${\displaystyle G}$ is the topological direct sum of the family of subgroups ${\displaystyle H_{1},\ldots ,H_{n}}$ then in particular, as an abstract group (without topology) it is also the direct sum (in the usual way) of the family ${\displaystyle H_{i}.}$

Topological direct summands

Given a topological group ${\displaystyle G,}$ we say that a subgroup ${\displaystyle H}$ is a topological direct summand of ${\displaystyle G}$ (or that splits topologically from ${\displaystyle G}$) if and only if there exist another subgroup ${\displaystyle K\leq G}$ such that ${\displaystyle G}$ is the direct sum of the subgroups ${\displaystyle H}$ and ${\displaystyle K.}$

A the subgroup ${\displaystyle H}$ is a topological direct summand if and only if the extension of topological groups $${\displaystyle 0\to H{\stackrel {i}{{}\to {}}}G{\stackrel {\pi }{{}\to {}}}G/H\to 0}$$ splits, where ${\displaystyle i}$ is the natural inclusion and ${\displaystyle \pi }$ is the natural projection.

Examples

Suppose that ${\displaystyle G}$ is a locally compact abelian group that contains the unit circle ${\displaystyle \mathbb {T} }$ as a subgroup. Then ${\displaystyle \mathbb {T} }$ is a topological direct summand of ${\displaystyle G.}$ The same assertion is true for the real numbers ${\displaystyle \mathbb {R} }$

See also

• Complemented subspace
• Direct sum – Operation in abstract algebra composing objects into "more complicated" objects
• Direct sum of modules – Operation in abstract algebra

References

1. E. Hewitt and K. A. Ross, Abstract harmonic analysis. Vol. I, second edition, Grundlehren der Mathematischen Wissenschaften, 115, Springer, Berlin, 1979. MR0551496 (81k:43001)
2. Armacost, David L. The structure of locally compact abelian groups. Monographs and Textbooks in Pure and Applied Mathematics, 68. Marcel Dekker, Inc., New York, 1981. vii+154 pp. ISBN 0-8247-1507-1 MR0637201 (83h:22010)

• Topological groups
• Topology