面白い問題おしえて～な 26問目

面白い問題おしえて～ ..

588:１３２人目の素数さん
18/06/08 00:53:07.64 DFewMgI5.net
>>568
泥臭いけど。
整係数の行列A,Bについて
B=[[1,k],[0,1]]A, A[[1,k],[0,1]], [[1,0],[k,1]]A, A[[1,0],[k,1]]→A≡B
をみたす最小の同値関係を≡とする。
一般にPID上の行列はこの変形で対角化される。(証明はry)
行列は行ベクトルに右から作用させるものとする。
(旧課程の高校の教科書の逆だけど気にしない。)
(※):任意のv∈Λに対して、v～1ならばAv～1である
と定める。
以下整係数行列Aに対しBをA≡BでBは対角行列となるものとする。
このとき
ユークリッドの互除法の議論より
Aが(※を満たす)⇔Bが(※を満たす)。
また
detA = detBより
detA=±1⇔detB=±1
一方でB=[[p,0],[0,q]]とするとき
Bが(※を満たす)⇔p,q=±1
detB = ±1⇔ p,q=±1

次ページ

続きを表示

1を表示