トレース写像の性質??
写像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ランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
線形、非線型ってどういう意味...
-
内積の ・内積あるいはエルミー...
-
四次対称群S4が可解群であるこ...
-
「十人十色」ならば「百人百色...
-
微分方程式の線形、非線形の証明
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
写像がwell-definedであること...
-
射と写像の違い
-
NからN×Nの全単写
-
f^(-1)(f(P))=Pを示したい
-
基本的な事ですが…(単射、全射...
-
線形・非線形って何ですか?
-
有限アーベル群の基本定理の証...
-
行列の階数
-
代数学「素体」
-
この写像がwell definedである...
-
写像の基本定理:B1⊂B2⇒f~(B1)⊂...
-
族(数学)について
-
同型写像の証明問題
おすすめ情報