- 博客(15)
- 收藏
- 关注
RSS订阅原创 CINTA：二次剩余
1.证明命题11.2：用Q\mathbb{Q}QR\mathbb{R}Rp_pp表示模p的QR\mathbf{QR}QR的集合，Q\mathbb{Q}QR\mathbb{R}Rp_pp在乘法上成群。证：2.使用群论的方法证明定理11.1：设 p 为奇素数，则刚好存在 (p − 1)/2个模p的QR\mathbf{QR}QR和(p − 1)/2个模p的QNR\mathbf{QNR}QNR。证：3.定义映射...
2021-12-26 04:11:46
240
原创 CINTA：中国剩余定理
1.手动计算 20002019^{2019}2019(mod221)\pmod{221}(mod221)，不允许使用电脑或者其他电子设备。证：2.运用 CRT 求解：x ≡\equiv≡ 8(mod11)\pmod{11}(mod11)x ≡\equiv≡ 3(mod19)\pmod{19}(mod19)证：3.运用 CRT 求解：x ≡\equiv≡ 1(mod5)\pmod{5}(mod5)x ≡\equiv≡ 2(mod7)\pmod{7}(mod7)x ≡\equiv≡ .
2021-12-26 01:43:51
958
原创 CINTA：同构，同态与商群
3.如果H\mathbb{H}H1_11和H\mathbb{H}H2_22是群G\mathbb{G}G的正规子群，证明H\mathbb{H}H1_11H\mathbb{H}H2_22也是群G\mathbb{G}G的正规子群。证：5.定义映射ϕ\phiϕ:G\mathbb{G}G→\rightarrow→G\mathbb{G}G为g→\rightarrow→g2^22请证明ϕ\phiϕ是一种群同态当且仅当 G\mathbb{G}G是阿贝尔群。证：7.证明：如果H\mathbb{H}H.
2021-12-25 23:13:56
1427
原创 CINTA：陪集与拉格朗日定理
1.设G\mathbb{G}G是群，H\mathbb{H}H是G\mathbb{G}G的子群。任取g1_11,g2_22∈\in∈G\mathbb{G}G,则g1_11H\mathbb{H}H=g2_22H\mathbb{H}H当且仅当g1_11−^-−1^11g2_22∈\in∈H\mathbb{H}H。证：2.设G\mathbb{G}G是群，H\mathbb{H}H是G\mathbb{G}G的子群。已知存在两个不同的元素g1_11,g2_22∈\in∈G\mathbb{G}G.
2021-12-25 22:44:05
1294
原创 CINTA——群、子群的相关证明
完成以下证明：命题 6.6设 G 为群，且 a, b, c ∈ G。如果 ba = ca，则 b = c；并且，如果 ab = ac，则 b = c。命题 6.9群 G 的非空子集 H 是 G 的子群，当且仅当对
2021-12-14 17:38:08
2452
原创 使用费马小定理和欧拉定理计算余数
1.设p = 23和a = 5，使用费尔马小定理计算a^{2020} mod p?2. 使用欧拉定理计算2^{100000} mod 55。手动计算7^{1000}的最后两个数位等于什么？
2021-10-12 22:40:20
1404
1
原创 CINTA-3：求乘法逆元，进而求解同余方程；实现模指数运算的函数；模指数运算函数
《数论与代数的计算性导论》 华南师范大学 王立斌c*c^(-1) ≡ 1 (mod m)这个 c^(−1) 被称为 c 在模 m 下的乘法逆元 (multiplicative inverse) 。1-1实现求乘法逆元的函数，给定a和m，求a模m的乘法逆元，无解时请给出无解提示，并且只返回正整数。由于只返回正整数，很显然当m为1时乘法逆元取0，当a和m最大公因数大于1（非互质）的时候乘法逆元不符合要求.（证明：①当m=1时，1%m=0，只有 c^(−1)为0时， 才有(cc^(-1))%m=.
2021-10-12 20:28:55
650
1
原创 批处理版本的GCD算法(C++实现)
《数论与代数的计算性导论》 华南师范大学 王立斌定理 2.1. 欧几里德算法给定两个整数 a 和 b，设 a ≥ b，则 a 和 b 的最大公因子等于 b 和 a mod b 的最大公因子。即gcd(a, b) = gcd(b, a mod b)其中，a mod b 表示用 a 除以 b 所得到的余数 r。实现一种批处理版本的GCD算法，即，给定一个整数数组，输出其中所有整数的最大公因子。输入：一个整数数组a；输出：一个整数d，是a数组中所有整数的最大公因子。C++实现：（使用visual.
2021-10-10 01:37:22
246
原创 EGCD算法的C++实现
《数论与代数的计算性导论》 华南师范大学 王立斌欧几里德算法计算两个非零整数a和b的最大公因子，而扩展欧几里德算法（extendedEuclidean algorithm ，简记为 egcd 算法）不但计算出最大公因子，还同时计算出这个公因子如何表达为 a 和 b 的线性组合。C++实现：（使用visual studio 2019）#include<iostream>using namespace std;int main(){ void EGCD(int a, int .
2021-10-09 12:50:54
395
原创 GCD算法的迭代版本
《数论与代数的计算性导论》 华南师范大学 王立斌欧几里德算法 (Euclidean algorithm)计算两个整数的最大公因子，也简记为 gcd 算法 。这是一种古老的、著名的，且目前依然应用广泛的算法，其历史可以追溯到古希腊数学家欧几里德 (Euclid)。定理 2.1. 欧几里德算法给定两个整数 a 和 b，设 a ≥ b，则 a 和 b 的最大公因子等于 b 和 a mod b 的最大公因子。即gcd(a, b) = gcd(b, a mod b)其中，a mod b 表示用 a 除以 .
2021-10-07 21:08:33
320
原创 Bezout定理的完整证明
《数论与代数的计算性导论》 华南师范大学 王立斌定理 2.2. Bézout 定理设 a 和 b 为非零整数，存在整数 r 和 s 使得：gcd(a, b) = ar + bs而且，a 与 b 的最大公因子是惟一的。称 r 和 s 为 Bézout 系数。证明定理2.2：设d=gcd(a,b),则存在正整数p和q使得：a=pd,b=qd....
2021-10-07 20:25:24
5114
原创 简单乘法·迭代法
```cpp#include<iostream>using namespace std;int main(){ int multipy(int m, int n); int a, b; cout << "请输入两个整数\n"; cin >> a >> b; cout << multipy(a, b);}int multipy(int m, int n){ int quo[32]; int j = 0; int sum.
2021-09-29 01:22:51
310
原创 证明除法算法
这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入欢迎使用Markdown编辑器你好！ 这是你第一次使用 Markdown编辑器 所展示的欢迎页。如果你想学习如何使用Mar
2021-09-28 23:17:03
597
原创 整除性的证明
《数论与代数的计算性导论》 华南师范大学 王立斌P6命题 1.1. 整除性设 a, b, c ∈ Z，如果 a | b，b | c，则 a | c。如果 c | a，c | b，则对任意 m, n ∈ Z，有c | (ma + nb)。证明命题1.1证明过程：首先证明前半部分：根据a | b，b | c，设b=qa，c=pb，其中q,p∈ Z。则c=p*(qa)=pq*a。由于p∈ Z，q∈ Z，因此pq∈ Z。则 c | a得证。证明后半部分：...
2021-09-15 14:02:58
2078
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人