拓扑商群(topological quotient group)类似于群论中的商群.若H是拓扑群G的正规子群，则G/H是群，又是拓扑空间G相对于H的商空间，从而有诱导拓扑.G/H对于此拓扑是一个拓扑群，称为拓扑群G相对于H的商群.