In mathematics, a topological group G {\displaystyle G} is called the topological direct sum of two subgroups H 1 {\displaystyle H_{1}} and H 2 {\displaystyle H_{2}} if the map is a topological isomorphism, meaning that it is a homeomorphism and a group isomorphism. Wikipedia