谁知道商群是个什么样的群？

商群是离散数学里的一个概念

设I为R的不变子群，以I分割R的陪集串为元素，形成一个新的集合{I，g1I，g2I，……}并定义其中的乘法法则：giIgjI=gigjI，则这个集合形成一个R的商群，记为R/I。