CINTA作业八

$$\begin{gathered} \forall a为Z_p^{\ast }的生成元， \\ \therefore a^{p-1}\equiv 1\mathrm{mod}p,且p-1是使之成立的最小值 \\ \because p是奇素数，根据欧拉准则 \\ 若a是模p的二次剩余，则a^{(p-1)/2}\equiv 1\mathrm{mod}p, \\ \because (p-1)/2<p-1，与p-1是最小值矛盾， \\ \therefore p是模p的二次非剩余 \end{gathered}$$

( 1 ) 定义从 Z p ∗ 到 Z p ∗ 的映射 ϕ , ϕ ( a ) = a ( p − 1 ) / 2 ∵ ϕ ( a ⋅ b ) = ( a b ) ( p − 1 ) / 2 = a ( p − 1 ) / 2 b ( p − 1 ) / 2 = ϕ ( a ) ∘ ϕ ( b ) ∴ 满足群同态 很明显， ϕ ( a ) 中的单位元是 a 0 = 1 , ∴ K e r ϕ = ϕ − 1 ( 1 ) 为 ∀ a ∈ K e r ϕ , 使得 a ( p − 1 ) / 2 = 1 的集合 ( 2 ) 定义从在 Z p ∗ 到 H = { − 1 , 1 } 的映射 ψ , ψ ( a ) = ( a p ) ∵ ψ ( a ⋅ b ) = ( a b p ) = ( a p ) ( b p ) = ψ ( a ) ∘ ψ ( b ) ∴ 明显 ψ 满足同态，且是满同态 很明显， ψ ( a ) 中的单位元是 1 ∴ K e r ψ = ψ − 1 ( 1 ) 为 ∀ a ∈ K e r ψ , 使得 ( a b ) = 1 , ( 3 ) ∀ g ∈ K e r ψ , 明显 H 的单位元为 1 ， ∵ ∃ x ∈ H , 使得 x 2 ≡ 1   m o d   p , 且根据满射， ∃ x ∈ Z p ∗ , 使得 x 2 ≡ g   m o d   p ∴ g ( p − 1 ) / 2 ≡ x p − 1   m o d   , ∵ 根据费马小定理， x p − 1 ≡ 1   m o d   p ∴ g ( p − 1 ) / 2 ≡ 1   m o d   p , 即 K e r ψ ⊂ K e r ϕ ( 4 ) ∀ g ∈ K e r ϕ , 有 g ( p − 1 ) / 2 = 1 , ∴ ( g 1 2 ) p − 1 ≡ 1   m o d   p , 根据费马小定理是成立的 ∴ ∃ x ∈ Z p ∗ 使得 x 2 ≡ g   m o d   p , ∴ g ∈ Q R p , 即 K e r ϕ ⊂ K e r ψ ( 5 ) ∴ K e r ϕ = K e r ψ 根据第一同构定理 Z p ∗ / K e r ϕ 与 ϕ ( Z p ∗ ) 同构 Z p ∗ / K e r ψ 与 ψ ( Z p ∗ ) 同构 ∴ ϕ ( Z p ∗ ) 与 ψ ( Z p ∗ ) 同构 ∴ ( a p ) ≡ a ( p − 1 ) 2   m o d   p (1)定义从Z^*_p到Z^*_p的映射\phi,\phi(a)=a^{(p-1)/2}\\ \because\phi(a\cdot b)=(ab)^{(p-1)/2}=a^{(p-1)/2}b^{(p-1)/2}=\phi(a)\circ \phi(b)\\ \therefore满足群同态\\ 很明显，\phi(a)中的单位元是a^0=1,\\ \therefore Ker\phi=\phi^{-1}(1)为\forall a\in Ker\phi,使得a^{(p-1)/2}=1的集合\\ (2)定义从在Z^*_p到H=\{-1,1\}的映射\psi,\psi(a)=(\frac{a}{p})\\ \because\psi(a\cdot b)=(\frac{ab}{p})=(\frac{a}{p})(\frac{b}{p})=\psi(a)\circ\psi(b)\\ \therefore明显\psi满足同态，且是满同态\\ 很明显，\psi(a)中的单位元是1\\ \therefore Ker\psi=\psi^{-1}(1)为\forall a\in Ker\psi,使得(\frac{a}{b})=1,\\ (3)\forall g\in Ker\psi,明显H的单位元为1，\\ \because \exist x\in H,使得x^2\equiv 1\bmod p,且根据满射，\\ \exist x\in Z^*_p,使得x^2\equiv g\bmod p\\ \therefore g^{(p-1)/2}\equiv x^{p-1}\bmod,\\ \because 根据费马小定理，x^{p-1}\equiv 1\bmod p\\ \therefore g^{(p-1)/2}\equiv 1\bmod p,即Ker\psi\subset Ker\phi\\ (4)\forall g\in Ker\phi,有g^{(p-1)/2}=1,\\ \therefore (g^{\frac{1}{2}})^{p-1}\equiv 1\bmod p,根据费马小定理是成立的\\ \therefore \exist x\in Z^*_p使得x^2\equiv g\bmod p,\\ \therefore g\in QR_p,即Ker\phi\subset Ker\psi\\ (5)\therefore Ker\phi=Ker\psi\\ 根据第一同构定理\\ Z^*_p/Ker\phi与\phi(Z^*_p)同构\\ Z^*_p/Ker\psi与\psi(Z^*_p)同构\\ \therefore \phi(Z^*_p)与\psi(Z^*_p)同构\\ \therefore (\frac{a}{p})\equiv a^{\frac{(p-1)}{2}}\bmod p (1)定义从Zp∗​到Zp∗​的映射ϕ,ϕ(a)=a(p−1)/2∵ϕ(a⋅b)=(ab)(p−1)/2=a(p−1)/2b(p−1)/2=ϕ(a)∘ϕ(b)∴满足群同态很明显，ϕ(a)中的单位元是a0=1,∴Kerϕ=ϕ−1(1)为∀a∈Kerϕ,使得a(p−1)/2=1的集合(2)定义从在Zp∗​到H={−1,1}的映射ψ,ψ(a)=(pa​)∵ψ(a⋅b)=(pab​)=(pa​)(pb​)=ψ(a)∘ψ(b)∴明显ψ满足同态，且是满同态很明显，ψ(a)中的单位元是1∴Kerψ=ψ−1(1)为∀a∈Kerψ,使得(ba​)=1,(3)∀g∈Kerψ,明显H的单位元为1，∵∃x∈H,使得x2≡1modp,且根据满射，∃x∈Zp∗​,使得x2≡gmodp∴g(p−1)/2≡xp−1mod,∵根据费马小定理，xp−1≡1modp∴g(p−1)/2≡1modp,即Kerψ⊂Kerϕ(4)∀g∈Kerϕ,有g(p−1)/2=1,∴(g21​)p−1≡1modp,根据费马小定理是成立的∴∃x∈Zp∗​使得x2≡gmodp,∴g∈QRp​,即Kerϕ⊂Kerψ(5)∴Kerϕ=Kerψ根据第一同构定理Zp∗​/Kerϕ与ϕ(Zp∗​)同构Zp∗​/Kerψ与ψ(Zp∗​)同构∴ϕ(Zp∗​)与ψ(Zp∗​)同构∴(pa​)≡a2(p−1)​modp