伽罗瓦连接
By the third isomorphism theorem, there is a Galois connection between subgroups of 2"I" and subgroups of "I", where the closure operator on subgroups of 2"I" is multiplication by { ±1 }.