Galois connection
由，formula_410與formula_4的子群（即旋轉點群）之間有伽罗瓦连接：formula_410子群投映到formula_4，必為旋轉子群，而反之，旋轉子群的原像亦必為是formula_410的子群。注意formula_410可以等價描述成特殊酉群formula_420，或是單位四元數群，亦屬李群，拓撲上同胚於三維球面formula_421。