跳转到内容

抽象代数/数论

来自维基教科书,开放世界中的开放书籍

由于各种数系的数字构成了研究抽象代数时必须使用的基本单位,我们现在将定义自然数和有理整数以及加法和乘法等基本运算。利用这些定义,我们还将推导出这些数集和运算的重要性质。在此之后,我们将讨论数论中的重要概念;这将引导我们讨论模 n 的整数的性质。

皮亚诺公理和自然数

[编辑 | 编辑源代码]

定义:使用未定义的概念“1”和“后继”(用 ) 表示),我们定义不包含零的自然数集 ,以下简称自然数,并给出以下公理,我们称之为皮亚诺公理

公理 1.
公理 2.
公理 3.
公理 4.
公理 5.

我们可以使用数学归纳法来证明自然数的定理,这是第五个皮亚诺公理的结果。

定义:我们使用两个额外的公理递归定义自然数的加法,作为一种组合;加法的其他性质随后可以从这些公理中推导出来。我们用中缀运算符 + 表示加法。

公理 6.
公理 7.

上面的公理 6 依赖于第一个皮亚诺公理(关于 1 的存在)以及第二个(关于每个数字都有一个后继的存在)。

从现在起,我们假设已证明的定理适用于所有 中。

定义: 我们类似地为自然数递归地定义乘法,同样使用两个公理

公理 8.
公理 9.

加法的性质

[编辑 | 编辑源代码]

我们首先证明加法是结合的。

定理 1: 加法的结合律:

证明: 基本情况:根据公理 6 和 7,.

根据公理 6,.
归纳假设:假设对于 .
归纳步骤:根据公理 7,.
根据归纳假设,.
根据公理 7,.
根据公理 7,.
通过归纳法,. QED.

引理 1:

证明: 基本情况:1+1=1+1。

归纳假设:假设对于 .
归纳步骤:根据公理 6,.
根据归纳假设,.
根据定理 1,.
根据公理 6,.
根据归纳法,. 证毕。

定理 2: 加法交换律:

证明: 基础情况:根据引理 1,.

归纳假设:假设对于.
根据公理 6,.
根据定理 1,.
根据归纳假设,.
根据定理 1,.
根据引理 1,.
根据定理 1,.
根据公理 6,.
根据归纳法,. 证毕。

定理 3: .

证明: 基础情况:假设 .

根据定理 2,.
根据公理 6,.
根据公理 4,.
归纳假设:假设对于.
归纳步骤:假设.
根据公理 6,.
根据定理 2,.
根据定理 1,.
根据基本情况,。因此,.
根据归纳假设,.
根据归纳法,。证毕。

乘法的性质

[编辑 | 编辑源代码]

定理 4:乘法对加法的左分配律:.

证明:基本情况:根据公理 6 和 9,.

根据公理 8,.
归纳假设:假设对于.
归纳步骤:根据公理 7,.
根据公理 9,.
根据归纳假设,.
根据定理 1,.
根据公理 9,.
根据归纳法,. 证毕。

定理 5: .

证明: 基本情况:根据公理 8,1(1)=1。

归纳假设:假设对于.
归纳步骤:根据公理 6,.
根据定理 4,.
根据基本情况,.
根据归纳假设,.
根据公理 6,.
根据归纳法,. 证毕。

定理 6: .

证明: 基本情况:根据公理 8,.

根据公理 6,.
根据公理 8,.
归纳假设:假设对于.
归纳步骤:根据公理 9,.
根据归纳假设,.
根据公理 6,.
根据定理 1,.
根据定理 2,.
根据定理 1,
根据公理 9,.
根据定理 1,.
根据公理 6,.
根据归纳法,. 证毕。

定理 7:乘法的结合律:

证明:基本情况:根据公理 8,.

归纳假设:假设对于.
归纳步骤:根据公理 9,.
根据归纳假设,.
根据定理 4,.
根据公理 9,.
根据归纳法,。QED。

定理 8:乘法的交换律:

证明:基本情况:根据公理 8 和定理 5,

归纳假设:假设对于
归纳步骤:根据公理 9,
根据归纳假设,
根据定理 6,
根据归纳法,。QED。

定理 9:乘法对加法的右分配律:

证明:根据定理 4 和定理 7,

根据定理 7,。QED。

整数集合 可以由自然数的有序对 (a, b) 构造。我们定义了所有这些有序对集合上的等价关系,使得

然后,有理整数集就是所有这些有序对的等价类的集合。我们将包含某个对 (a, b) 的等价类记为 [(a, b)]。那么,对于任何自然数 ab,[(a, b)] 表示一个有理整数。

整数加法

[编辑 | 编辑源代码]

定义:我们定义整数的加法如下

使用这个定义和自然数的性质,可以证明整数加法是结合律和交换律。

整数乘法

[编辑 | 编辑源代码]

定义:整数的乘法,就像加法一样,可以用一个公理定义

同样,使用这个定义和前面证明的自然数的性质,可以证明整数乘法是交换律和结合律,而且它对于整数加法既是左分配律又是右分配律。


华夏公益教科书