なお一般に二つの拡大 "k"/"k" と "l"/"l" があって、上の体の中への同型 "f": "k" → "l" と下の体の中への同型 "g": "k" → "l" が与えられるとき、