標数が2でない体Kの2次拡大の同型類全体は、K^×/(K^×)^2という可換群の非単位元全体と1対1対応があります。これは平方完成というテクニックによって示されます。そう、中学で習うあの平方完成です。標数が2の場合にどう変化があるか考えてみましょう。
— p進大好きbot (@non_archimedean) 2017年5月17日
このツイートの意味がやっとわかったので、忘れないうちにメモ。要するに「二次方程式の解の公式」を求める方法を一般的な体に対して適用すればいい。
示したいことは、次の命題である。以下、 を標数 2 でない体とする。
命題:
以下の全単射が存在する。の1次拡大 or 2次拡大
さらに、 の単位類は 自身に対応し、 の非単位類は の2次拡大に対応する。
これを示すために、まずは次を示す。
補題1:
は の2次拡大
が存在して
この証明の で平方完成を用いる。なお、 は 2 乗して に一致する の元とする。
の証明:
が の2次拡大のとき、 は を用いて
と表せる。 は標数2ではない体より、 を用いて、 と代入すると
とできる。念のため言っておくと、 は乗法の単位元を として ということであるから、 である。標数2のとき、2の逆元は に存在しないので、このような はとれないことに注意する。
改めて を と書くことにする。
平方完成すると
とすると
より、 の代わりに を考えてよい。
とすると、 は 2 乗して になる元、すなわち である。よって、 なる が存在する。■
の証明:
を に添加した体 は2次拡大である。■
次に示したいのは、
補題2:
の1次拡大 or 2次拡大が全単射。
まず、写像 が well-defined であることを示す。
に の元 をかけて としたとき,
よって、 は の元の取り方によらない。
次に、単射性()を示す。 より、 なる が存在する。両辺平方をとると より、 が言えた。
また、全射性を示す。 の1次拡大 or 2次拡大 について、補題1より なる が存在する。よって、
の全射性がいえた。先に示した のwell-defined性より、 の全射性も言えた。■
最後に、冒頭の命題を示す。
単位類の行き先であるが、 の単位類を としたとき、 となり、これは の2次拡大ではない。
一方で、それ以外の非単位類 に対しては、 は の2次拡大。
よって、 の2次拡大の同型類全体は の非単位類と1対1対応があることが示された。■
たとえば、ヘンゼルの補題の記事で示したように であるから、。一方で である( の単位類に対応)。
また、 であるから は の2次拡大。一方で である( の非単位類に対応)。
上で示したことは、すべての2次拡大はこんな風に の非単位元に対応した元による拡大で列挙できるということである。
実際、 を奇素数としたとき、 の2次拡大は、 で列挙できることがわかる。 は平方でない単数とする。
(ほんとに合ってるのか自信ない・・・)