四元数環のソースを表示

[[数学]]において、[[可換体|体]] ''F'' 上の'''四元数代数'''または'''四元数環'''（しげんすうかん、{{lang-en-short|''quaternion algebra''}}）は ''F'' 上 4-次元の[[中心的単純環]] ''A'' である<ref>{{harv|Peirce|1982|p=14}}補題</ref><ref>{{harv|Milies|Sehgal|2002}} 2章、exercise 17</ref>。簡単に ''F''-四元数環などとも呼ぶ。任意の四元数環は、その[[係数拡大]]（拡大体との[[多元環のテンソル積|テンソル積]]）によって二次の全行列環になる。すなわち、基礎体 ''F'' の適当な[[拡大体]] ''K'' を取れば
: <math>A\otimes_F K \simeq M_2(K)</math>
なる同型が成立する。 

四元数環の概念は、古典的なハミルトンの[[四元数]]の概念を一般の体上に拡張したものと見ることができる。''F'' = '''R'''（[[実数]]体）としたときの ''F''-四元数環がハミルトンの四元数体であり、それは '''R''' 上の二次全行列環ではない四元数環として同型を除いて唯一のものである。

== 構造 ==
ここでいう「四元数環」は[[四元数|ハミルトン型の一般四元数]]の成す多元環よりももう少し広い意味になっている。基礎体 ''F'' の標数が 2 でない場合、''F'' 上の任意の四元数環は 4-次元の ''F''-線型空間として、基底 {1, ''i'', ''j'', ''k''} に乗法規則

:''i''<sup>2</sup> = ''a'', ''j''<sup>2</sup> = ''b'', ''ij'' = ''k'', ''ji'' = &minus;''k'' 

を課したものとして記述することができる。ただし、''a'', ''b'' は所与の ''F'' の零でない元とする。少し計算すれば ''k''<sup>2</sup> = −''ab'' となることがわかる（ハミルトンの四元数は ''F'' = '''R''', ''a'' = ''b'' = −1 の場合）。''F'' の標数が 2 の場合も先ほどと異なる基底を用いた明示的な記述をすることはできる。しかし、様々な事象において標数に依らずに一様な記述を適用するには、''F'' 上 4-次元の[[中心的単純環]]として ''F''-四元数環を定義したほうが都合がよい。

== 応用 ==
四元数環は[[数論]]、特に[[二次形式]]論に応用を持つ。''F''-四元数環は[[ブラウアー群]] Br(''F'') の位数 2 の元によって生成されるという具体的な構造を持つ（適当な体、例えば代数的数体に対して、そのブラウアー群において指数 2 の任意の元は四元数環によって表される。メルクリエフの定理によれば、任意の体のブラウアー群の指数 2 の元の全体は四元数環のテンソル積として表される。）。特に、[[p進数| ''p''-進数体]] '''Q'''<sub>''p''</sub> 上の四元数環の構成は、[[局所類体論]]における二次の[[ヒルベルト記号]]として見ることができる。

== 分類 ==
[[フロベニウスの定理 (代数学)|フロベニウスの定理]]から、実数体 '''R''' 上の四元数環は、'''R''' 上の二次[[全行列環]]と[[四元数|ハミルトンの四元数体]]の二種類しかないことがわかる。 

同様に、任意の[[局所体]] ''F'' 上の四元数環は全行列環と[[多元体]]の二種類だけだが、局所体上の四元数体は「ハミルトン型」の四元数では'''ない'''のがふつうである。例えば、''p''-進数体 '''Q'''<sub>''p''</sub> 上でハミルトン型の四元数環を考えると、それが多元体を成すのは ''p'' = 2 の場合のみであり、奇素数 ''p'' に対しては '''Q'''<sub>''p''</sub> 上の二次全行列環と同型になる。奇素数 ''p'' に対してハミルトン型の四元数環が多元体とならないことは、合同式 ''x''<sup>2</sup> + ''y''<sup>2</sup> = −1 mod ''p'' が解を持つこと、従って[[ヘンゼルの補題]]（これは ''p'' が奇素数でなくともよい）によって、方程式
: ''x''<sup>2</sup> + ''y''<sup>2</sup> = −1 
が ''p''-進数解を持つことをみればよい。そうすれば、四元数  
: ''xi'' + ''yj'' + ''k'' 
はノルムが 0 となり、従って乗法逆元を持たない。

与えられた体 ''F'' 上の四元数環の[[多元環準同型|同型]][[同値類|類]]を分類するために、一つの方法として四元数環の同型類とその「ノルム形式」の同型類との間の一対一対応を利用することができる。

任意の四元数環 ''A'' に、''A'' 上の[[ノルム形式]]と呼ばれる二次形式 ''N'' が付随しており、''N'' は ''A'' の各元 ''x'', ''y'' に対して
:<math>N(xy) = N(x)N(y)</math>
を満たす。''F''-四元数環のノルム形式となりうる二次形式は、[[フィスター形式|フィスター 2-形式]]に他ならない。

== 有理数体上の四元数環 ==
有理数体 '''Q''' 上の四元数環（有理四元数環）は、'''Q''' 上の二次体のと同様だがより複雑な算術理論をもつ。

''B'' を '''Q''' 上の四元数環とし、'''Q''' の[[座 (数学)|座]] &nu; とそれによる '''Q''' の完備化を '''Q'''<sub>&nu;</sub>（つまり、適当な素数 ''p'' に対する ''p''-進数体'''Q'''<sub>''p''</sub> か実数体 '''R''' のいずれか）とすると、'''Q'''<sub>&nu;</sub> 上の四元数環
: <math>B_\nu:= \mathbb{Q}_\nu \otimes_{\mathbb{Q}} B</math>
が定まる。そしてこれは '''Q'''<sub>&nu;</sub> 上の二次全行列環か多元体のどちらかになっているはずである。 

このとき、''B'' が &nu; において'''分裂''' {{lang|en|(''split'')}} する、あるいは'''不分岐''' {{lang|en|(''unramified'')}} であるとは、''B''<sub>&nu;</sub> が '''Q'''<sub>&nu;</sub> 上の二次全行列環に同型となることをいう。他方、''B''<sub>&nu;</sub> が '''Q'''<sub>&nu;</sub> 上の多元体となるとき、''B'' は &nu; において'''非分裂''' {{lang|en|(''non-split'')}} である、あるいは'''分岐''' {{lang|en|(''ramified'')}} するという。座 ∞ において分岐する四元数環を'''定符号四元数環'''（''definite quaternion algebra''）、それ以外の四元数環を'''不定符号四元数環'''（''indefinite quaternion algebra''）という{{Sfn|Voight|2022|p=210}}。例えば、有理数係数のハミルトン四元数の全体は座 2 において分岐し、かつ全ての奇素数と &infin; において分裂する。有理数体上の二次全行列環はすべての座において不分岐である。

座 &infin; において分裂する有理四元数環は実二次体のアナロジーであり、&infin; において分岐する有理四元数環は虚二次体のアナロジーである。このようなアナロジーは、生成元の最小多項式が分裂するとき二次体は実埋め込みをもち、そうでないとき非実埋め込みを持つことからきている。このアナロジーの強さの説明として、有理四元数環の整環における単数群に関係するものがある。それは「&infin; で分裂する有理四元数環ならば無限群であり、さもなくば有限群である」{{Citation needed|date=July 2009}}というものである。これはちょうど「二次環の整環の単数群が、実二次のとき無限群、そうでないとき有限群である」という場合のアナロジーになっている。 

有理四元数環が分岐するような座の数は常に偶数であり、このことは有理数体上の[[平方剰余の相互法則|二次の相互律]]に同値である。さらに、''B'' が分岐するような座の全体は、多元環としての同型を除いて ''B'' を決定する（つまり、互いに同型でないような有理四元数環が、同じ分岐座の集合を共通して持つことはない）。''B'' が分岐するような素数すべての積をとったものは ''B'' の'''判別式''' {{lang|en|(''discriminant'')}} と呼ばれる。

== 注記 ==
<references/>

== 関連項目 ==
* [[合成代数]]
* [[巡回多元環]]
* [[八元数環]]
* [[フルヴィッツ整数]]（フルヴィッツの四元数）
* [[フルヴィッツの四元整環]]

== 参考文献 ==
* {{cite book| first=Richard S. | last=Pierce | title=Associative algebras | publisher=Springer | year=1982 | isbn=9780387906935}}
* {{cite book| title=An introduction to group rings Algebras and applications | author=César Polcino Milies | coauthors=Sudarshan K. Sehgal | publisher=Springer | year=2002 | isbn=9781402002380}}
* {{Cite book|
|first = John
|last = Voight
|year = 2022
|title = Quaternion algebras (v1.0.5)
|url = https://math.dartmouth.edu/~jvoight/quat-book.pdf
|format = PDF
|ref = harv
}}

{{DEFAULTSORT:しけんすうかん}}
[[Category:多元環論]]
[[Category:代数的構造]]
[[Category:数学に関する記事]]