"h" が "g" の部分群であるとき、 "g" は "h" の拡大群であると表現する場合がある。