より一般に、がその部分群の有限族の(位相的)直和であることは、位相群の同型formula_2の存在によって定められる。