由于各种数系的数字构成了研究抽象代数时必须使用的基本单位,我们现在将定义自然数和有理整数以及加法和乘法等基本运算。利用这些定义,我们还将推导出这些数集和运算的重要性质。在此之后,我们将讨论数论中的重要概念;这将引导我们讨论模 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)]。那么,对于任何自然数 a 和 b,[(a, b)] 表示一个有理整数。
定义:我们定义整数的加法如下
使用这个定义和自然数的性质,可以证明整数加法是结合律和交换律。
定义:整数的乘法,就像加法一样,可以用一个公理定义
同样,使用这个定义和前面证明的自然数的性质,可以证明整数乘法是交换律和结合律,而且它对于整数加法既是左分配律又是右分配律。