全部书籍

专业

应用 关于 Coach 登录 开始阅读

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

Matemática · 术语表

什么是 torção?

Definição 3.11 Matemática universitária — Graduação 3 · 第 3 章 — Módulos sobre um domínio de ideais principais

Sejam AA um domínio e MM um AA-módulo. O submódulo de torção é

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

(é um submódulo: se ax=by=0ax = by = 0, então ab(x+y)=0ab(x + y) = 0, ab≠0ab \ne 0). MM é sem torção se T(M)=0T(M) = 0, e é um módulo de torção se T(M)=MT(M) = M.

示例

Exemplo 3.2

Os três casos motivadores.

  1. A=KA = K um corpo: os módulos são os espaços vetoriais.
  2. A=ZA = \Z: os módulos são exatamente os grupos abelianos (nxnx é obrigado a valer x+⋯+xx + \dots + x), e os submódulos são os subgrupos.
  3. A=K[X]A = K[X]: um módulo é um KK-espaço vetorial VV munido da aplicação KK-linear u ⁣:x↦X⋅xu\colon x \mapsto X\cdot x — reciprocamente, todo par (V,u)(V, u) com u∈L(V)u \in \mathcal L(V) torna-se um K[X]K[X]-módulo por P⋅x=P(u)(x)P \cdot x = P(u)(x). Os submódulos são precisamente os subespaços uu-estáveis.

Um ideal de AA é exatamente um submódulo de AA; um anel quociente A/IA/I é um AA-módulo. Ao contrário dos espaços vetoriais, os módulos podem ter torção: em Z/6Z\Z/6\Z, o elemento 3ˉ≠0\bar 3 \ne 0 é aniquilado por 2≠02 \neq 0.

在原文中阅读 →