区块链

【定义】 对于，如果有使得，则称整除，记为. 若，，且，则. ，也可记为. 【引理】 设，这里，则. 欧几里德算法又称辗转相除法，是指用于计算两个正整数和的最大公因子。证明过程主要依据上面的引理。 【定义】 对于，我们称为的整系数线性组合，并用表示它们构成的集合。 【扩展欧几里…