また、群Gがその部分群H1,H2の（内部）直積である、あるいは直積に分解されるとは、以下の条件H1とH2はGの部分群でG=H1H2={h1h2|h1∈H1,h2∈H2}が成り立つ。
另一方面，我们可以给群H{\displaystyleH}指定另一个拓扑，使得两点h1,h2∈H{\displaystyleh_{1},h_{2}\inH}之间的距离被定义为群H中连结h1{\displaystyleh_{1}}和h2{\displaystyleh_{2}}的最短路径长度。