ヒルベルトの定理90
K/k を n 次巡回拡大で、そのガロワ群を G とし、σ が G を生成するとする。このとき、β∈K に対して、ノルム NK/k(β) が 1 であることと、ある 0≠α∈K が存在して β=α/σα となることは同値である。