- 博客(9)
- 收藏
- 关注
RSS订阅原创 CINTA作业八
1. 解：注意到221=13*17，先计算2000 mod 221.：即40*50 mod 13*17,根据中国剩余定理的代数版本可以得到：40<->(1,6), 50<->(11,16).那么(1,6)*(11,16)=( [1*11 mod 13] , [6*16 mod 17] ) = (11,11)即可以得到原式=11^2019 mod 13*17=( [11^2019 mod 13] , [11^2019 mod 17] ) 再根据费马小定理可以
2022-01-17 20:39:52
78
原创 CINTA作业九
1.证明命题11.2证明：（1）封闭性 ：任意a、b∈QRp，有a·b=QR∈QRp（2）结合律：(a·b)·c=a·(b·c)（3）存在单位元：单位元为1（4）每个元素都有逆元：∀a∈QRp，存在x∈Z，使得a mod p=x²，又由a *≡≡ 1(mod p)，所以≡(mod p)2.使用群论的方法证明定理11.1证明：设到的映射：∀a∈, a→，其中a,b∈有（a⋅b）===(a)∘(b),所以是群同态的单位元为1，Ker=1,p-1=K,是的正规子群...
2022-01-11 20:36:25
258
原创 CINTA作业七
1.设 ϕ : G ↦ H ϕ:G↦Hϕ:G↦H是一种群同态。请证明:如果G是循环群，则f（G）也是循环群；如果G是交换群，则f（G）也是交换群。首先令g ∈ G是生成元，则 g^m = e,对任意a∈G，则f(a) = f(g^m)=f(g) ^m ,f(g)也是群H的生成元。任取 a , b ∈ G , f (a*b)=f(b*a)=f(b)f(a)。2.证明：如果H是群G上指标为2的子群，则H是G的正规子群。g∈H，gh1=h2g∈H,即gH = Hg；g∉ H，gh ∈G−H，hg∈G−H，
2022-01-10 08:09:32
236
原创 CINTA作业六
1.设G是群，H是G的子群。任取g1、g2∈G，则g1H=g2H当且仅当g1^(-1)g2∈H充分性证明：存在h1、h2∈H，使得g1h1=g2h2，则有h1=g1^(-1)g2h2，最终可得h1h2^(-1)=g1^(-1)g2，而h1h2^(-1)由于封闭性，一定属于群H，故g1^(-1)g2∈H必要性证明：由于g1^(-1)g2∈H，则存在h∈H，使得g1^(-1)g2=h，则有g2=g1h，即g2∈g1H，又由陪集性质可知g1H=g2H2.如果G是群，H是G的子群，且[G:H]=
2022-01-09 01:33:05
977
原创 CINTA作业五
1、请心算列举出群 Z10 的所有生成元。群Z10的所有生成元为2. 群 Z_17^* 有多少个生成元?已知 3 是其中一个生成元，请问 9 和 10 是否生成元?3、证明：如果群G没有非平凡子群，则群G是循环群。4、证明：有限循环群G中任意元素的阶都整除群G的阶。...
2022-01-08 01:54:44
813
原创 CINTA作业四
1.证明命题6.6证明：因为G为群，且a∈G，所以存在a的逆元使得aa^(-1)=e，又因为ba=ca，等式两边同乘以a的逆元，可以得到baa^(-1)=caa^(-1)，所以b=c；如果ab=ac，等式两边同乘以a的逆元，可以得到a^(-1)ab=a^(-1)ac，所以b=c。2.证明命题6.7证明：g^m是进行了（m-1）次群运算，g^n是进行了（n-1）次群运算，g^m与g^n之间也进行了一次群运算，所以g^mg^n一共是进行了（m+n-1）次群运算，而g^(m+n)也表示进行
2022-01-06 01:13:27
221
原创 CINTA作业三
1、实现求乘法逆元的函数，给定a和m，求a模m的乘法逆元，无解时请给出无解提示，并且只返回正整数。进而给出求解同余方程（ax = b mod m）的函数，即给定a，b，m，输出满足方程的x，无解给出无解提示。int mul_i(int a, int b){ int r1 = 1; int r2 = 0; int s1 = 0; int s2 = 1; while (b) { int mod1 = a % b; int di...
2022-01-05 23:42:19
32
原创 CINTA作业二
证明：GCD算法迭代版本#include<iostream>using namespace std;int gcd(int a, int b){ while (b != 0) { a = b; b = a % b; } return a;}int main() { int a, b; int c; cout << "请输入两个数(大数在前，小数在后)：" << ...
2022-01-03 20:59:16
659
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人