全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示英文版。

Mathematics · 术语表

什么是 torsion?

Definition 3.11 University Mathematics — Year 3 · 第 3 章 — Modules over a Principal Ideal Domain

Let AA be a domain and MM an AA-module. The torsion submodule is

T(M)={x∈M:ax=0 for some a≠0}T(M) = \{x \in M : ax = 0 \text{ for some } a \neq 0\}

(a submodule: if ax=by=0ax = by = 0 then ab(x+y)=0ab(x + y) = 0, ab≠0ab \ne 0). MM is torsion-free if T(M)=0T(M) = 0, a torsion module if T(M)=MT(M) = M.

示例

Example 3.2

The three motivating cases.

  1. A=KA = K a field: modules are vector spaces.
  2. A=ZA = \Z: modules are exactly abelian groups (nxnx is forced to be x+⋯+xx + \dots + x), submodules are subgroups.
  3. A=K[X]A = K[X]: a module is a KK-vector space VV together with the KK-linear map u ⁣:x↦X⋅xu\colon x \mapsto X\cdot x — conversely, every pair (V,u)(V, u) with u∈L(V)u \in \mathcal L(V) becomes a K[X]K[X]-module by P⋅x=P(u)(x)P \cdot x = P(u)(x). The submodules are precisely the uu-stable subspaces.

An ideal of AA is exactly a submodule of AA; a quotient ring A/IA/I is an AA-module. Unlike vector spaces, modules can have torsion: in Z/6Z\Z/6\Z, the element 3ˉ≠0\bar 3 \ne 0 is killed by 2≠02 \neq 0.

在原文中阅读 →