より一般の成分を持つ行列

ウィキペディア小見出し辞書

より一般の成分を持つ行列

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/01 07:43 UTC 版)

「行列」の記事における「より一般の成分を持つ行列」の解説

しばしば実または複素成分の行列に焦点を当てることもあるが、それ以外にももっと一般の種類の成分を持った行列を考えることができる。一般化の最初の段階として任意の体（すなわち四則演算が自由にできる集合、例えば R, C 以外に有理数体 Q や有限体 Fqなど）を成分として考える。例えば符号理論では有限体上の行列を利用する。どの体で考えるとしても、固有値は多項式の根として考えることができて、それは行列の係数体の拡大体の中に存在する。たとえば、実行列の場合は固有値は複素数である。ある行列の成分をより大きな体の元と解釈しなおすことはできる（例えば実行列を全ての成分が実数であるような複素行列とみることができる）から、そのような十分大きな体の中で任意の正方行列についてその固有値全てから成る集合を考えることができる。あるいは最初から、複素数体 C のような代数閉体に成分を持つような行列のみを考えるものとすることもできる。 もっと一般に、抽象代数学では環に成分を持つ行列というものが甚だ有用である。環は除法演算を持たない点において体よりも一般の概念である。この場合も、行列の加法と乗法はそのまままったく同じ物を使うことができる。R 上の n-次正方行列全体の成す集合 M⁡(n, R) は全行列環と呼ばれる環であり、左 R-加群 Rn の自己準同型環に同型である。環 R が可換環、すなわちその乗法が可換律を満たすならば、全行列環 M⁡(n, R) は（n = 1 でない限り）非可換な R 上の単位的結合多元環となる。可換環 R 上の正方行列の行列式はライプニッツの公式を用いて定義することができて、可換環 R 上の正方行列が可逆であることの必要十分条件をその行列式が R の可逆元であることと述べることができる（これは零元でない任意の元が可逆元であった体の場合の一般化になっている）。超環（英語版）上の行列は超行列（英語版）と呼ばれる。 行列の成分が必ずしもすべて同じ環に属するというわけではない（し、すべてが全く別の環に成分を持つというわけでもない）。一つの特別な、しかしよく用いられる場合として、成分自体が行列となっているような行列と見なすこともできる区分行列が挙げられる。その成分は二次元的な行列である必要はないし、また通常の環の元である必要もないが、その大きさに関しては適当な両立条件を満足するものでなければならない。