位相群の直和
位相群 G がその部分群族 Hi の位相的直和となるならば、G は特に抽象群として(つまり位相を考えない意味で)G の部分群族 Hi の通常の直和ともなっていることに注意すべきである。