Galois extension
が 上のガロア拡大であれば、 と のいずれかは 0 でないが、両方が同時に 0 にならないことに注意する。