例子纵览

线性算子

设 V 和 W 是向量空间并设 T 是从 V 到 W 的线性变换。如果0W 是 W 的零向量，则 T 的核是单元素集合{0W} 的前像；就是说 V 的由被 T 映射到元素 0W 的那些 V 的元素构成的子集。核通常指示为“ker T”，或者：

因为线性变换保持零向量，V 的零向量0V 必须属于核。变换 T 是单射的，当且仅当它的核只是单元素集合 {0V}。

ker T 显然总是 V 的子空间。因此，它使谈论商空间V/(ker T) 有意义。对向量空间的第一同构定理声称这个商空间自然同构于 T 的像（它是 W 的子空间）。作为结论，V 的维度等于核的维度加上像的维度。

如果 V 和 W 是有限维的向量空间，并且基已经选择好了，则 T 可以用矩阵M 描述，而这个核可以通过解齐次线性方程组Mv = 0 来计算。在这种表示中，核对应于 M 的零空间。零空间的维度叫做 M 的零化度（nullity）由 M 的纵列数减去 M 的秩得到，这是秩-零化度定理的结论。

解齐次微分方程经常涉及计算特定微分算子的核。例如，为了找到从实数轴到自身的所有二次可微函数f 使得

设 V 是二次可微函数的空间，设 W 是所有函数的空间，定义从 V 到 W 的线性算子 T 为

对于在 V 中的 f 而 x 是任意实数。这个微分方程的所有解都在 ker T 中。

你可以用类似方式定义在环之上的模之间的同态的核。这包括了在阿贝尔群之间的同态的核作为特殊情况。这个例子捕捉了在一般阿贝尔范畴内的核的本质；参见核 (范畴论)。

群同态

设 G 和 H 是群并设 f 是从 G 到 H 的群同态。如果 eH 是 H 的单位元，则 f 的核是单元素集合 {eH} 的前像；就是说，G 的由被 f 映射到元素 eH 的所有 G 的元素构成的子集。核通常指示为“ker f”。或者：

因为群同态保持单位元素，G 的单位元素 eG 必须属于这个核。同态 f 是单射，当且仅当它的核只是单元素集合{eG}。

ker f 明显不只是 G 的子群，实际上还是正规子群。因此它使谈论商群G/(ker f) 有意义。群的第一同构定理声称这个商群自然同构于 f 的像（它是 H 的子群）。

在阿贝尔群的特殊情况下，这以同前面章节的完全同样的方式工作。

环同态

幺半群同态

泛代数

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。