群理想(group ideal )拓扑半群的一类理想.半群S的理想I，若x钱I时，必存在J(x)中一群G,使得G门I=曰，则称I为群理想.紧致半群的闭完全素理想是拓扑半素理想，而拓扑半素理想是群理想.但其逆不真.又紧致半群的所有的闭完全素理想之交是群理想.