位相群の直和
数学において位相群 G が二つの部分群 H1, H2 の位相的直和 (topological direct sum) であるとは、写像
が位相群の同型であるときに言う。より一般に、G がその部分群の有限族 Hi (i = 1, ..., n) の(位相的)直和であることは、位相群の同型
の存在によって定められる。