拓撲商群(topological quotient group)類似於群論中的商群.若H是拓撲群G的正規子群，則G/H是群，又是拓撲空間G相對於H的商空間，從而有誘導拓撲.G/H對於此拓撲是一個拓撲群，稱為拓撲群G相對於H的商群.
