Galois extension
を大域体とし をそのガロア拡大とする。で のイデール類群をあらわす。アルティンの相互法則の主張の一つは、大域相互写像、大域アルティン記号などと呼ばれる標準的な同型写像 formula_1の存在である。