ムーア行列

Concept in mathematics

線型代数学においてムーア行列はEH Moore  (1896)によって導入され、有限体上で定義された行列である。これが正方行列の場合、その行列式はムーア行列式と呼ばれる(これは四元数エルミート行列 のムーア行列式とは無関係である)。ムーア行列は、その列にフロベニウス自己同型の累乗を順に適用していく(最初の列はフロベニウス自己同型の0次乗で始まる)ため、 すべての添え字ijについてm × n行列 または となる(一部の著者は上記の行列の転置行列を使用している)。 M = [ α 1 α 1 q α 1 q n 1 α 2 α 2 q α 2 q n 1 α 3 α 3 q α 3 q n 1 α m α m q α m q n 1 ] {\displaystyle M={\begin{bmatrix}\alpha _{1}&\alpha _{1}^{q}&\dots &\alpha _{1}^{q^{n-1}}\\\alpha _{2}&\alpha _{2}^{q}&\dots &\alpha _{2}^{q^{n-1}}\\\alpha _{3}&\alpha _{3}^{q}&\dots &\alpha _{3}^{q^{n-1}}\\\vdots &\vdots &\ddots &\vdots \\\alpha _{m}&\alpha _{m}^{q}&\dots &\alpha _{m}^{q^{n-1}}\\\end{bmatrix}}} M i , j = α i q j 1 {\displaystyle M_{i,j}=\alpha _{i}^{q^{j-1}}}

正方ムーア行列( m = n )のムーア行列式は次のように表すことができます。

det ( V ) = c ( c 1 α 1 + + c n α n ) , {\displaystyle \det(V)=\prod _{\mathbf {c} }\left(c_{1}\alpha _{1}+\cdots +c_{n}\alpha _{n}\right),}

ここでcは方向ベクトルの完全な集合を通り、最後の非ゼロの要素が1に等しくなるように指定される。すなわち、

det ( V ) = 1 i n c 1 , , c i 1 ( c 1 α 1 + + c i 1 α i 1 + α i ) . {\displaystyle \det(V)=\prod _{1\leq i\leq n}\prod _{c_{1},\dots ,c_{i-1}}\left(c_{1}\alpha _{1}+\cdots +c_{i-1}\alpha _{i-1}+\alpha _{i}\right).}

特に、ムーア行列式が零となるのは、左列の要素がq位の有限体上で線型従属関係にある場合に限られます。したがって、これは多関数の ロンスキ行列式に類似しています。

ディクソンは、有限体上の 一般線型群モジュラー不変量を見つける際にムーア行列式を使用しました。

参照

参考文献

  • ディクソン、レナード・ユージン(1958)[1901]、マグナス、ウィルヘルム(編)、線形群:ガロア体理論の解説付き、ドーバー・フェニックス・エディションズ、ドーバー・パブリケーションズISBN 978-0-486-49548-4MR  0104735、OCLC  52335047 {{citation}}: ISBN / Date incompatibility (help)
  • デイヴィッド・ゴス(1996). 「1. 加法多項式」.関数体算術の基本構造. シュプリンガー. pp.  1– 33. doi :10.1007/978-3-642-61480-4_1. ISBN 3-540-63541-6
  • ムーア, EH (1896)、「フェルマーの定理の2倍の一般化」アメリカ数学会報2 (7): 189– 199、doi : 10.1090/S0002-9904-1896-00337-2JFM  27.0139.05


Retrieved from "https://en.wikipedia.org/w/index.php?title=Moore_matrix&oldid=1306648282"