从补零表示到负整数次幂，再回到普通多项式
对于非零多项式，“次数”有一个直观的含义：找出系数不为零的项，其中最大的指数就是次数。但零多项式没有任何非零项，通常的定义便另外规定：
这条规定为什么自然？如果非零多项式的次数最低是 0，为什么零多项式的次数会直接落到 -\infty？
本文从这一疑问出发。我们先把运算中反复使用的“补零”纳入多项式的定义，再为了理解上述跳跃，尝试引入负整数次幂，使考察次数的过程能够越过 0、沿全体整数继续向下。随后，先从“一直向下找不到非零项”的直觉出发，提出统一的上下界条件，证明它们唯一确定次数，并在普通多项式上与原定义一致。建立次数定义之后，再验证扩充后的对象仍然组成整环。最后回头考察：得到这套解释之后，普通多项式是否一定要真正加入负次幂对象？
解释零多项式的次数，是这次探索的目的；引入负整数次幂，是为达到这个目的而采取的步骤。
以下固定一个系数域 K，并记 \mathbb N_0=\{0,1,2,\ldots\}。
一、把“没有写出的系数为零”纳入定义
讲义中的普通多项式写成有限表达式：
这种写法便于阅读，但在运算时，我们常常又要说明：没有写出的系数视为零。例如，一个多项式写到 x^5，另一个只写到 x^2，按同次幂相加之前，就要把后者的 x^3,x^4,x^5 系数补成零。乘法和系数比较中，也会用到相同的处理。
既然这些零系数本来就不改变对象，而且迟早会在运算中出现，就可以把它们提前纳入定义。
定义 1（普通多项式的系数表示）。 一个普通多项式是一个序列
其中只有有限多个 a_k 不为零。记
称它为 f 的支撑。“只有有限多个非零系数”，即支撑为有限集合。
仍把这一序列写作
这里使用了所有非负整数位置，包括常数项所在的 0 次位置。这个求和记号没有引入收敛问题，因为非零项只有有限多个。
例如，在有理数域上，3x^2+1 对应序列
零多项式对应全零序列。两个多项式相等，当且仅当每个位置的系数都相等。
这与原来的有限表达式定义等价：有限表达式可以通过补零得到唯一的系数序列；反过来，有限支撑序列可以在某个足够大的位置截断，写成有限表达式。选择更大的截断位置，只会多写一些零项。
于是，加法与乘法可以直接统一写成
这些公式无需临时比较两个表达式的长度。原先分散在运算中的补零说明，已经成为对象定义的一部分。
二、为了解释从 0 到 -\infty 的跳跃，引入负整数次幂
系数表示统一之后，零多项式的次数问题仍然存在。
对于非零普通多项式，支撑是一个非空有限集，因此有最大元素，通常的次数就是
然而，零多项式的支撑是空集。空集没有最大元素，因此“取最高非零项的指数”不能直接给出零多项式的次数。
如果按通常的规定赋予它 -\infty，次数的取值范围便成为
这个定义本身没有矛盾。我们追问的是：怎样让 -\infty 与“寻找最高非零项”之间建立更直接的联系？
对于普通多项式，从高处向下检查系数，检查到常数项就到头了。既然我们的疑问恰好发生在 0 以下，就尝试让这个观察过程继续下去，考察
这些指数位置，并允许它们出现非零系数。这样，x^{-1}、x^{-2} 等对象就能分别具有负整数次数。
这里先有解释 \deg0=-\infty 的问题，才有引入负整数次幂的尝试。
为使这个尝试保持清楚，我们保留“只有有限多个非零系数”的要求。
定义 2（整数指数的有限支撑对象）。 令
仍记
例如，x^{-3}+x^{-1}+x^2 属于这个集合。整个集合允许任意整数指数，但每个具体对象都只有有限多个非零项。
此时，x^m 可以严格理解为：第 m 个位置的系数为 1，其他位置的系数全为 0 的序列。这使负指数的引入具有明确含义，而不必预先讨论数值代入或除以零的问题。
三、先从“一直向下找不到非零项”的直觉出发
现在，指数已经能够取遍全体整数。先不急着给出新的次数定义，我们可以沿着“从高处向下寻找第一个非零系数”的想法，看看它会把我们带到哪里。
由于每个对象只有有限多个非零系数，总能选择一个足够高的整数位置，从这里逐个向下检查。
对于非零对象，最终会遇到第一个非零系数。按照“最高非零项的指数”这一原有理解，这个位置就应当是它的次数。例如，对 x^{-3}+x^{-1}，检查过程可以越过 0，直到 -1 才遇到第一个非零系数，因此它的次数应当是 -1。
对于零对象，情形发生了变化：每个整数位置的系数都为零。检查过程越过 0，继续经过 -1,-2,-3,\ldots，始终找不到非零项。
于是产生一个直觉：零对象没有任何有限的停止位置；如果它也有次数，这个次数应当位于所有整数之下。 我们希望用 -\infty 表示这个位置。
这个直觉可以进一步展开。假如所有高于某个整数 N 的系数都为零，那么次数就不应高于 N。而对零对象来说，无论 N 取哪个整数，这个条件都成立。因此，我们期待它的次数不大于任何整数。
与此同时，只要某个位置出现了非零系数，次数就不能低于这个位置。这给出了另一个方向的约束，使非零对象的次数能够准确停在最高非零项处。
这两种约束，启发我们用“上界条件”和“下界条件”共同定义次数。 它们应当既保留非零对象的原有次数，又让零对象的次数从同一套条件中确定下来。
这里的向下寻找是帮助提出定义的直观图景。要完成严格论证，还需要把它改写成对任意整数都适用的条件，并证明这些条件确实确定唯一的值。-\infty 也不会成为经过无穷多步后找到的某个整数位置；它将是我们加入次数取值集合的一个新元素。
四、用两条统一条件定义次数
把上一节的直觉写成精确条件，就得到下面的次数定义。它直接比较次数与各个整数位置，不再依赖一个逐项查找的过程。
两种约束分别是：如果某个整数以上的系数已经全为零，次数就不应高于这个整数；只要某个位置的系数非零，次数就不能低于这个位置。
为同时容纳所有对象，取有序集合
保留整数通常的大小关系，并加入一个小于每个整数的元素 -\infty：
-\infty 是这个有序集合中新加入的最小元素。
定义 3（次数的统一刻画）。 对 f=(a_k)_{k\in\mathbb Z}\in\mathcal L_K，如果 d\in D 满足以下两条条件，就称 d 为 f 的次数，记为 \deg f=d。
上界条件： 对任意整数 N，如果所有指数大于 N 的系数都为零，那么 d\le N。即
下界条件： 对任意整数 k，只要第 k 位系数非零，就有 d\ge k。即
上界条件也可以等价地写成严格不等式：对任意整数 n，如果所有 k\ge n 的系数都为零，那么 d<n。取 N=n-1，便得到上面的表述。
两条条件都涉及任意整数，因此在检查次数时不会停在 0。
不过，要让这成为一个有效的定义，还必须证明：每个对象都有且只有一个满足条件的 d。
五、证明次数存在且唯一，并与原定义等价
先证明统一条件为每个对象确定唯一的次数，再比较它与讲义中的原定义。
非零对象。 先看 f\ne0 的情形。支撑是非空有限集，设
因为所有高于 n 的系数都为零，上界条件给出
又因为 a_n\ne0，下界条件给出
所以只能有 d=n。
反过来，n 本身确实满足这两条条件：每个非零项的指数都不超过 n；任何能截断全部非零项的整数 N，也都不得小于 n。因此，次数存在且唯一，并且仍等于通常的最高非零指数。
例如，在扩充后的集合中，
零对象。 现在看零多项式。
此时，对每个整数 k，都有 a_k=0。因此，无论选取哪个整数 N，“所有高于 N 的系数都为零”都成立。
上界条件于是要求
没有整数能够满足这个要求。如果 d 是整数，取 N=d-1，就会得到
矛盾。
在已经选定的 D=\mathbb Z\cup\{-\infty\} 中，唯一可能的值便是 -\infty。
而且，这个值确实满足两条条件：它小于每个整数；零多项式没有非零系数，因此下界条件也成立。
由此得到：
定理。 对每个 f\in\mathcal L_K，统一的上下界条件都确定唯一的次数。其中，非零对象的次数是支撑的最大元素，零对象的次数为 -\infty。
也就是说，
这个分段公式现在是统一定义的推论。尤其是，\deg0=-\infty 不再需要作为针对零多项式的单独条款加入。
与讲义中原定义的等价性。 比较时，把普通多项式没有出现的整数位置系数补为零；特别是，所有负下标系数均为零。第七节将进一步说明这种表示的意义。
对于非零普通多项式，讲义定义的次数是最高非零项的指数，而上面的证明表明，新定义唯一确定的值也正是这个指数。对于零多项式，讲义规定其次数为 -\infty，新定义则由统一条件推出同一个值。
因此，对每个普通多项式，都有
这就是两套次数定义在普通多项式上的等价性。对更大的集合 \mathcal L_K，新定义进一步允许负整数次数，因而构成原次数函数的扩展。
到这里，第三节提出的直觉已经成为严格结论：每个对象都有唯一的次数，非零对象的次数保留最高非零指数的含义，零对象的次数则由同一套条件确定为 -\infty。
六、利用次数证明：这个扩充仍然是整环
前面已经在系数对象的集合 \mathcal L_K 上定义了次数，并证明它存在且唯一。这一步只依赖系数及其非零位置，并不需要预先知道这个集合是环。
现在为这些对象定义加法与乘法，先验证它们组成环，再利用已经建立的次数证明它没有零因子。
对 f=(a_k)、g=(b_k)\in\mathcal L_K，定义
对固定的 k，满足 i+j=k 的整数对虽然有无穷多个，但两个因子都只有有限多个非零系数，所以乘法公式中只有有限多个非零项。它仍是普通的有限和。
若 A=\operatorname{supp}(f)、B=\operatorname{supp}(g)，则
右边的集合都有限，因此运算结果仍属于 \mathcal L_K。
加法的结合律、交换律和逆元逐系数继承自 K。乘法的交换律、结合律与分配律可以通过展开有限和得到；全零序列是零元，第 0 位为 1 的序列是乘法单位元。由乘法公式还可直接得到
特别地，x x^{-1}=1。因此，负次幂与原有幂运算相容，这些对象组成一个含幺交换环。
下面利用次数证明它没有零因子。设 f,g\ne0，并令
由第五节的结论，n,m 都是整数，而且
所有高于 n 的 a_i、高于 m 的 b_j 均为零。
因此，对乘积中一个可能非零的系数乘积 a_i b_j，必有 i\le n、j\le m，从而 i+j\le n+m。所以，乘积在所有高于 n+m 的位置上的系数都为零。
再看 n+m 位置。若 i\le n、j\le m 且 i+j=n+m，就只能有 i=n,j=m。故
最后一步使用了系数域 K 中两个非零元素的乘积不为零。因此 fg\ne0。
同时，对乘积使用第四节的两条次数条件：高于 n+m 的系数全部为零，给出 \deg(fg)\le n+m；第 n+m 位的系数非零，给出 \deg(fg)\ge n+m。于是
由此，我们既得到了非零对象乘积的次数公式，也证明了两个非零对象的乘积不为零。又因为 K 是域，零序列与常数 1 对应的序列不同，所以这个含幺交换环确实是整环。
这个结构通常称为一元洛朗多项式环，记作 K[x,x^{-1}]。[2] 本篇先完成次数的解释，再检查这一扩充的基本代数性质；更完整的环论讨论留待后篇。
七、回头看普通多项式：只给负下标补零，也能保留解释
到这里，我们已经通过真正允许负次幂对象，找到了对零多项式次数的统一解释。
现在再回到普通多项式，便会发现：这套解释可以保留下来，而不必真的允许普通多项式出现负次非零项。
对普通多项式的系数序列 (a_k)_{k\ge0}，定义
这样，它也有了全体整数下标的系数表示。
例如，3x^2+1 仍然只在第 2 位和第 0 位有非零系数；其他所有整数位置，包括负整数位置，系数都是零。
从记录同一个多项式的角度看，“没有写出这一项”与“把这一位置的系数记作零”没有改变其非零项。最初对高次位置补零，现在对负下标位置补零，都是这种表示方式的统一。
在这个表示下，第四节的两条次数条件直接适用：
- 对非零普通多项式，最高非零指数没有改变，所得次数仍然是原来的次数。
- 对零多项式，全部整数位置上的系数都为零，因此再次得到 \deg0=-\infty。
需要区分两个操作。给负下标补零，只改变原对象的记录方式；允许负下标系数取非零值，才真正加入了新的对象。
形式地，普通多项式对应于
这个集合对加法、乘法和取负封闭：两个非负指数相加仍为非负指数，因而乘法不会产生负次非零项。它就是大环中的普通多项式子环，与原来的 K[x] 自然同构。
这是在找到解释之后，对解释途径作出的简化。探索时，引入负整数次幂帮助我们越过 0，看清“低于每一个整数”的含义；回头表述时，只保留全整数下标的补零表示与统一的次数条件，就足以对普通多项式作出同样的解释。
至此我们两次修改多项式定义，最终将其范围进行了扩展，而后又证明了扩展后的多项式集合中原有部分（即普通多项式）与原定义多项式等价。对原多项式环的研究可看作对扩展后多项式环的一个子环的研究。
八、我们减少的是特殊规定
这套构造仍然需要定义。系数域、有限支撑条件、加法与乘法，以及次数取值集合 D 的序关系，都是理论的起点。
尤其要区分两件事：我们在 D 中加入一个小于所有整数的元素，并把它记作 -\infty；随后，通过适用于所有对象的次数条件，证明零多项式只能取这个值。
因此，本文解释的是：在这套统一的次数定义下，为什么零多项式的次数必然是 -\infty。 这一结论依赖所选定的取值集合与定义条件。也可以采用“零多项式的次数不定义”等其他约定，但那会形成另一种表述体系。
我们所获得的统一性，是将原来分别处理的情形放进同一组条件中：非零对象有最高非零项，次数就停在该整数位置；零对象在所有整数位置都没有非零项，每一个整数都成为有效截断位置，次数便只能位于所有整数之下。
负整数次幂让这个解释过程得以越过 0。完成解释后，我们又能将它带回普通多项式，使 \deg0=-\infty 成为统一定义的推论。
写在最后
对我而言，这样的推广在结构上更美。我们为了理解零多项式的次数，沿着负整数次幂向外探索，最终找到一套同时适用于零对象与非零对象的次数条件。原来需要单独说明的情形，由此进入同一个框架。这种美感来自定义之间的协调，也来自不同情形能够得到同一种解释。
不过，对于讲义所讨论的普通多项式问题，原定义确实实用得多。有限表达式直观易读，非零多项式的次数属于非负整数，许多证明可以直接按次数归纳；补零以及零多项式次数的约定，又能用很短的篇幅交代清楚。为了进行日常计算和论证，没有必要每次都先构造一个更大的环。一个定义是否适合使用，还取决于它所服务的问题：追求结构上的统一，与追求表述和计算上的简便，都是合理的选择。
这也使我重新理解了数学中的一些“规定”：有些看似独立的规定，在逻辑上可以理解为更一般、更完整的定义经过简化后的表达。 在较大的框架中，它们能够由统一条件推出；把讨论范围缩小后，为了省去暂时用不到的结构，就将相应结论直接保留为约定。本文对 \deg0=-\infty 的讨论，便提供了这样一种理解方式。理解较大的结构，能够帮助我们明白规定为什么自然；回到较简洁的定义，则让这些理解便于使用。
这次探索也让我感受到数学中的自由。我们可以从一个疑问出发，选择自己的研究对象，提出新的定义或公理，考察这些选择会产生怎样的结论。只要概念明确、所采用的前提相容、推理合乎逻辑，就可以在这些前提下建立自己的理论。若还希望把它称为已有理论的推广，就需要进一步说明旧对象如何进入新体系，以及哪些原有结论能够保留。
这种自由也伴随着约束：起点可以选择，但选择之后，结论必须经得起证明。一个理论是否有用、是否简洁、是否具有解释力，则值得在建立它之后继续考察。对我来说，这次尝试的价值，正在于把一句原本只能接受的规定，变成了一个能够主动追问、尝试构造并亲自验证的问题。
来源与阅读说明
[1] 学校高等代数讲义中的普通多项式、系数运算与次数定义，也是一般教科书中的定义，是本文的讨论起点。
[2] SageMath 官方文档，Ring of Laurent Polynomials (base class)，用于核对“洛朗多项式环”的标准名称与记号。本文的次数刻画及证明已在正文中完整给出。