位相群の直和
数学において位相群 が二つの部分群 の位相的直和 ("topological direct sum") であるとは、写像 formula_1 が位相群の同型であるときに言う。より一般に、 がその部分群の有限族 の（位相的）直和であることは、位相群の同型 formula_2 の存在によって定められる。