基底を持たない加群の例

952

本稿では環は必ずしも可換ではない単位的な環、体は可換体を表すものとします。また、加群といえば「左加群」を表すものとします。

以下、 $A$ を環、 $M$ を $A$ 加群 $, B$ を空でない $M$ の部分集合とする。

$M$ の任意の元 $b$ が、Bのある有限個の元 $x_{1}, \dots x_{m}$ と元 $a_{1}, \dots a_{m}$ を用いて $b = a_{1} x_{1} + \dots a_{m} x_{m}$ と表されるとき、 $B$ は $M$ を $A$ 加群として生成するという。

$m$ や $x_{1}, \dots x_{m}, a_{1}, \dots a_{m}$ が $b$ によって変化しても良い。

$M$ の部分集合 ${x_{1}, \dots x_{m}}$ が一次独立であるとは $a_{1} x_{1} + \dots + a_{m} x_{m} = 0 \Rightarrow a_{1} = \dots = a_{m} = 0$ が成立することである。

$B$ が $M$ を生成し、 $B$ の任意の有限部分集合が一次独立であるとき、 $B$ は $M$ の基底であるという。

零加群は $\emptyset$ を基底として持つと考えるのが一般的である。

基底を持つ加群の例

$Z$ は自然な作用で $Z$ は左 $Z$ 加群になる。このとき、 $Z$ は基底 ${1}$ を持つ。

基底を持たない加群の例

$Z / 2 Z$ は自然な作用で $Z$ 加群になるが $2 \cdot 1 = 0$ のため基底を持たない。

最後に

例1は $A$ が整域であれば $A$ 加群として基底 ${1}$ を持ちます。
選択公理の元では $A$ が体のとき基底を持つことが知られていますがそれはまた別の機会に $\dots$ (任意の $A$ 加群が基底を持つような $A$ のクラスとかは知られているんでしょうか。少し考えてみます。)

投稿日：2020年11月12日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

いとはる

13432

B2 現在代数学(特に環論)を勉強中。将来は群論やりたいとか思ってます。気が向いた時に更新していく感じでいきます。

他の人のコメント

コメントはありません。

読み込み中

いとはる

基底を持たない加群の例

最後に