トレース写像の性質??
写像T:Fq→FqをT(x)=Σx^p^i(Σは下がi=0,上がn-1)
pを素数,nを正整数,q=p^nとする。
1,このときTはFp線形写像であることを示せ
2,Tの像{T(x)|x∈Fq}はFp⊂Fqに一致することを示せ
という問題があるのですが,
まず1は,二項定理を使ったときに,係数がpの倍数のときはその項が消えて
(x+y)^p=x^p+y^pになるみたいなんですが,その理由がわかりません。何か性質があるんでしょうか??
2に関してはとっかかりが分かりません,解き方のヒントがあれば教えてほしいです!!
よろしくお願いします。
No.2ベストアンサー
- 回答日時:
a?F_p ⇒ pn = 0.
T(ax+by)
= Σ[i=0,n-1](ax+by)^{p^i}
= ΣΣ[j=0,p^i]C[p^i,j](ax)^j(by)^{p^i-j}
(1-1) 0<j<p^i のとき、C[p^i,j]a^jb^{p^i-j}
a,b?F_pだから、0<j<p^iのときC[p^i,j]がpの倍数であることを示せばよい。
C[p^i,j] = p^i/j ×C[p^i-1,j-1]、pが素数で、j≠p^iだから、ok。
(1-2) a^{p^i} = a
F_pは体だから、a^{p^i}?F_p
フェルマーの小定理より、a^p ≡ a (mod p)
a^{p^i} = (a^p)^{p^i-1} だから、a^{p^i} ≡ 1 (mod p)。
(2) F_q = Im(T) ? Ker(T).
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 二項定理について質問です。 下の画像は、大門57-(2)の問題で、(x^3 – 1/x^2)^10 5 2023/01/08 00:28
- 数学 上三角行列のn乗の証明 2 2023/07/23 21:45
- 数学 多様体の質問です。 S^1={(a_1,a_2)|a_1^2+a_2^2=1}と T^1=R/Z(R 1 2023/05/18 21:14
- C言語・C++・C# このプログラミング誰か教えてくれませんか 1 2022/06/02 15:27
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 数学 編入試験の勉強中に分からないところがあって困っています。線形写像の表現行列に関する質問です。 1 2023/06/17 11:24
- 写真 写真(画像)編集スキルを質問する時 1 2022/12/07 14:14
- 数学 2次以上の多項式g(x)であって, 任意の無理数に対して無理数の値を取るものは存在しないことを示せ. 8 2022/06/27 11:28
- 画像編集・動画編集・音楽編集 medibang paint を使っているのですが、 [画像をレイヤーとして開く]で写真をトレースし 2 2023/03/18 04:36
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
内積の ・内積あるいはエルミー...
-
線形代数の問題です、助けてく...
-
線形、非線型ってどういう意味...
-
複素数の関数
-
同型写像の証明問題
-
多変数の逆関数定理証明途中で...
-
置換の元(n!)のうち遇置換は...
-
緩増加超関数について
-
線形独立テストsa+tb=0を行うと...
-
全射・部分写像の個数の問題
-
逆写像と逆像の違いがわかりま...
-
「十人十色」ならば「百人百色...
-
これめちゃあやしくないですか...
-
線形数学です 基礎問題かもしれ...
-
全微分の厳密な定義
-
逐次近似法、数列
-
写像の基本定理:B1⊂B2⇒f~(B1)⊂...
-
非線形拡散方程式の初期値問題...
-
複素平面上の写像について
-
線形・非線形って何ですか?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報