この問題は、代数学続論IA第6回演習の問題です。内容は以下の通りです。 * 問1: $p=11$ を法として、 * (1) $2, 3, ..., p-2 \pmod{p}$ を掛け合わせて $1 \pmod{p}$ となる二つの合同類の組に分ける。 * (2) (1)の結果を利用して、Wilsonの定理 $(p-1)! \equiv -1 \pmod{p}$ が成り立つことを確かめる。 * 問2: * (1) 21を2進展開する。 * (2) $7^{2^i}$ を $i=1, 2, 3, 4$ について求める。 * (3) $7^{21} \pmod{43}$ を求める。 * (4) $7^{42} \pmod{43}$ を求める。 * 問3: $p=7, a=3$ とする。 * (1) 各 $i=1, 2, ..., p-1$ について、$ai \pmod{p}$ を求める。 * (2) この場合に、Fermatの小定理の証明をたどり、$a^{p-1} \equiv 1 \pmod{p}$ となることを確かめる。

数論合同式Wilsonの定理Fermatの小定理2進展開べき乗剰余
2025/7/1
はい、数学の問題を解きます。

1. 問題の内容

この問題は、代数学続論IA第6回演習の問題です。内容は以下の通りです。
* 問1: p=11p=11 を法として、
* (1) 2,3,...,p2(modp)2, 3, ..., p-2 \pmod{p} を掛け合わせて 1(modp)1 \pmod{p} となる二つの合同類の組に分ける。
* (2) (1)の結果を利用して、Wilsonの定理 (p1)!1(modp)(p-1)! \equiv -1 \pmod{p} が成り立つことを確かめる。
* 問2:
* (1) 21を2進展開する。
* (2) 72i7^{2^i}i=1,2,3,4i=1, 2, 3, 4 について求める。
* (3) 721(mod43)7^{21} \pmod{43} を求める。
* (4) 742(mod43)7^{42} \pmod{43} を求める。
* 問3: p=7,a=3p=7, a=3 とする。
* (1) 各 i=1,2,...,p1i=1, 2, ..., p-1 について、ai(modp)ai \pmod{p} を求める。
* (2) この場合に、Fermatの小定理の証明をたどり、ap11(modp)a^{p-1} \equiv 1 \pmod{p} となることを確かめる。

2. 解き方の手順

問1
(1) p=11p = 11 なので、 2,3,...,92, 3, ..., 9 を考えます。
2×6121(mod11)2 \times 6 \equiv 12 \equiv 1 \pmod{11}
3×4121(mod11)3 \times 4 \equiv 12 \equiv 1 \pmod{11}
5×9451(mod11)5 \times 9 \equiv 45 \equiv 1 \pmod{11}
7×8561(mod11)7 \times 8 \equiv 56 \equiv 1 \pmod{11}
よって、組は (2,6),(3,4),(5,9),(7,8)(2, 6), (3, 4), (5, 9), (7, 8) となります。
(2) (p1)!=10!=1×2×3×...×10(mod11)(p-1)! = 10! = 1 \times 2 \times 3 \times ... \times 10 \pmod{11}
(1)より、2×3×4×5×6×7×8×91(mod11)2 \times 3 \times 4 \times 5 \times 6 \times 7 \times 8 \times 9 \equiv 1 \pmod{11}
よって、 10!1×(2×3×4×5×6×7×8×9)×101×10101(mod11)10! \equiv 1 \times (2 \times 3 \times 4 \times 5 \times 6 \times 7 \times 8 \times 9) \times 10 \equiv 1 \times 10 \equiv 10 \equiv -1 \pmod{11}
したがって、Wilsonの定理 (p1)!1(modp)(p-1)! \equiv -1 \pmod{p} が成り立ちます。
問2
(1) 21を2進展開すると、21=16+4+1=24+22+2021 = 16 + 4 + 1 = 2^4 + 2^2 + 2^0 となるので、21=(10101)221 = (10101)_2です。
(2)
721=72=497^{2^1} = 7^2 = 49
722=74=(72)2=492=24017^{2^2} = 7^4 = (7^2)^2 = 49^2 = 2401
723=78=(74)2=24012=57648017^{2^3} = 7^8 = (7^4)^2 = 2401^2 = 5764801
724=716=(78)2=57648012=332329305696017^{2^4} = 7^{16} = (7^8)^2 = 5764801^2 = 33232930569601
(3) 721(mod43)7^{21} \pmod{43} を計算します。
721=716×74×717^{21} = 7^{16} \times 7^4 \times 7^1
717(mod43)7^1 \equiv 7 \pmod{43}
72496(mod43)7^2 \equiv 49 \equiv 6 \pmod{43}
746236(mod43)7^4 \equiv 6^2 \equiv 36 \pmod{43}
783621296129643×30=129612906(mod43)7^8 \equiv 36^2 \equiv 1296 \equiv 1296 - 43 \times 30 = 1296 - 1290 \equiv 6 \pmod{43}
7166236(mod43)7^{16} \equiv 6^2 \equiv 36 \pmod{43}
よって、72136×36×76×36×736×36×71296×76×7421(mod43)7^{21} \equiv 36 \times 36 \times 7 \equiv 6 \times 36 \times 7 \equiv 36 \times 36 \times 7 \equiv 1296 \times 7 \equiv 6 \times 7 \equiv 42 \equiv -1 \pmod{43}
(4) 742(mod43)7^{42} \pmod{43} を計算します。
742=(721)2(1)21(mod43)7^{42} = (7^{21})^2 \equiv (-1)^2 \equiv 1 \pmod{43}
問3
(1) p=7,a=3p = 7, a = 3 なので、
3×13(mod7)3 \times 1 \equiv 3 \pmod{7}
3×26(mod7)3 \times 2 \equiv 6 \pmod{7}
3×392(mod7)3 \times 3 \equiv 9 \equiv 2 \pmod{7}
3×4125(mod7)3 \times 4 \equiv 12 \equiv 5 \pmod{7}
3×5151(mod7)3 \times 5 \equiv 15 \equiv 1 \pmod{7}
3×6184(mod7)3 \times 6 \equiv 18 \equiv 4 \pmod{7}
(2) ap1=371=36(mod7)a^{p-1} = 3^{7-1} = 3^6 \pmod{7}
313(mod7)3^1 \equiv 3 \pmod{7}
3292(mod7)3^2 \equiv 9 \equiv 2 \pmod{7}
332×36(mod7)3^3 \equiv 2 \times 3 \equiv 6 \pmod{7}
346×3184(mod7)3^4 \equiv 6 \times 3 \equiv 18 \equiv 4 \pmod{7}
354×3125(mod7)3^5 \equiv 4 \times 3 \equiv 12 \equiv 5 \pmod{7}
365×3151(mod7)3^6 \equiv 5 \times 3 \equiv 15 \equiv 1 \pmod{7}
よって、361(mod7)3^{6} \equiv 1 \pmod{7}

3. 最終的な答え

問1
(1) (2,6),(3,4),(5,9),(7,8)(2, 6), (3, 4), (5, 9), (7, 8)
(2) Wilsonの定理は成り立つ。
問2
(1) (10101)2(10101)_2
(2) 721=49,722=2401,723=5764801,724=332329305696017^{2^1} = 49, 7^{2^2} = 2401, 7^{2^3} = 5764801, 7^{2^4} = 33232930569601
(3) 7211(mod43)7^{21} \equiv -1 \pmod{43}
(4) 7421(mod43)7^{42} \equiv 1 \pmod{43}
問3
(1) 3,6,2,5,1,4(mod7)3, 6, 2, 5, 1, 4 \pmod{7}
(2) 361(mod7)3^6 \equiv 1 \pmod{7}

「数論」の関連問題

与えられた文章は$\sqrt{2}$が無理数であることの背理法による証明である。この証明を参考に以下の3つの問いに答える。 (1) $\sqrt{3}$が無理数であることを証明する。 (2) $\sq...

無理数背理法素数有理数
2025/7/24

連立合同方程式 $2x \equiv 3 \pmod{5}$ $4x \equiv 5 \pmod{7}$ が与えられている。 (1) $x \equiv 4 \pmod{5}$ が $2x \equ...

合同式連立合同方程式中国剰余定理
2025/7/24

与えられた数式群が示す規則性を見つけ、分配法則を用いてそのカラクリを説明する。

数列規則性分配法則一般化
2025/7/24

与えられた数式群の規則性を見つける問題です。数式は以下の通りです。 $1 \times 9 + 1 \times 2 = 11$ $12 \times 18 + 2 \times 3 = 222$ $...

規則性数列整数の性質数式
2025/7/24

$m, n$ を整数とする。命題「$2^3 + 1$ が奇数ならば、$n$ は偶数である」を証明する。

命題整数対偶偶数奇数証明
2025/7/23

## 問題の回答

一次不定方程式整数の性質互いに素極限
2025/7/23

$m$, $n$, $k$ は自然数とする。命題「積 $mnk$ は偶数 $\implies$ $m$, $n$, $k$ の少なくとも1つは偶数」の逆、対偶、裏をそれぞれ述べ、それらの真偽を調べる。

命題真偽対偶偶数奇数整数の性質
2025/7/23

正の整数全体からなる集合をNとする。関数 $f: N \rightarrow N$ が「エモい」とは、任意の正の整数 $a, b$ に対して、$f(a)$ が $b^a - f(b)^{f(a)}$ ...

整数関数割り算不等式
2025/7/23

以下の問題を解きます。 1. 13の2乗を28で割った余りを求めよ。

合同算術剰余べき乗
2025/7/23

問題は2つのパートに分かれています。 パート1は、与えられた4つの1次不定方程式のすべての整数解を求める問題です。 パート2は、4で割ると2余り、7で割ると4余るような3桁の正の整数のうち、最小のもの...

不定方程式整数解合同式中国剰余定理
2025/7/23