矩陣的整數冪是不是也滿足歐拉定理?

有一個方陣T,是不是有一個整數n使得T^(n+m-1)=T^n (mod m),這裡mod是指將矩陣中每一個元素均mod m,其中m為質數,T不為全0方陣


這條性質對方陣的性質要求很嚴.

最簡單的,只要考察一下跡就知道沒那麼容易了.


如果T的行列式要求跟m互質的話應該是可以的,因為GL(n, Z/mZ)是有限群,一定存在一個整數r(比如r就是這個群的階)使得這個群任意元素的r次方都是identity.

考慮一般矩陣的話有點難,nilpotent感覺是個問題。


建議先試著算算。

不過矩陣里有大量的冪零元。


不是。NOI2013矩陣遊戲只是一個特例。


T=egin{pmatrix}
0  1 \
1 1
end{pmatrix}

T^2
otequiv T , (mod, 2)

簡單地說就是ninar F_p,n^pequiv n,(mod,p) 當且僅當nin F_p, 只要構造一個矩陣特徵值不在F_p里就行了

不能對角化的矩陣也是反例,LZ可以自己試一下


首先矩陣如果各元素非整數就顯然不科學,即使把問題限制在環mathbb{Z}上的矩陣也不一定對。

歐拉定理是指mathbb{Z}/mmathbb{Z}的單位群的lagrange定理,所以我們對於元素與m不互素的矩陣也不考慮。

問題規範如下:

對於n階整數方陣,其各元素均與m互素,是否有T^(phi(m))equiv I(mod m)?

反例如下:

考慮T=left( {egin{array}{*{20}{c}}
   {{1}}  {{1}} {{cdots}} {{1}}   \
   {{1}}  {{1}} {{ddots}} {{vdots}}   \
   {{vdots}}  {{ddots}} {{ddots}} {{vdots}}   \
   {{1}}  {{cdots}} {{cdots}} {{1}}   \
end{array}} 
ight),為元素均為1的n階方陣,則T^2=nT

所以T^{phi (m)}=nphi (m)T,根本做不到與E同餘,而且它的各元素表現性質相同,不像I主對角線是1,其餘均為0。

如果要合理的推廣,可以考慮將

矩陣乘法改為Hadmard積,即Acirc B,其滿足結合律,交換律,等等

E改為left( {egin{array}{*{20}{c}}
   {{1}}  {{1}} {{cdots}} {{1}}   \
   {{1}}  {{1}} {{ddots}} {{vdots}}   \
   {{vdots}}  {{ddots}} {{ddots}} {{vdots}}   \
   {{1}}  {{cdots}} {{cdots}} {{1}}   \
end{array}} 
ight)

(不過我覺得題主可能不會喜歡這個平凡的推廣)


不行,例如冪零元A=

(0 1 0 ... 0)

(0 0 1 ... 0)

...

(0 0 0 ... 1)

(0 0 0 ... 0)

就不行。

對於一般的有限環R ,其中任意一個可逆元gin R^	imes,存在n 滿足 g^n=1

而對於一般的gin R , 存在a
eq b 使得g^a=g^b ,即(g^{a-b}-1)g^b=1

但是b 不一定能取1

現在所有有限域mathbb{F}_pn 階可逆矩陣全體構成的環 R=mathrm{GL}_n(mathbb{F}_p) 是有限環,滿足我們所說的情形


原來歐拉定理是要求a在p的縮系裡面的,這裡T都不是整數......肯定是不行的,反例樓上已經說了.


推薦閱讀:

微積分的歷史(六),發展之泰勒公式(下)
微積分的歷史(二),起源之牛頓
多元函數的偏導數、方嚮導數、梯度以及微分之間的關係思考
隨機分析相關:如何證明(dwt)^2與dt同階?

TAG:演算法 | 數學 | 數論 | 高等數學 | ACM競賽 |