自由加群

数学において、自由加群(じゆうかぐん、: free module) とは、加群の圏における自由対象英語版である。集合 E が与えられたとき、E 上の自由加群とは E基底 にもつ自由加群である。たとえば、すべてのベクトル空間は自由であり[1]集合上の自由ベクトル空間は集合上の自由加群の特別な場合である。任意の加群はある自由加群の準同型像である。

定義

[編集]

R-加群 M について、集合 EMM基底であるとは、次の2条件を満たすことである。

  1. EM を生成する。すなわち、M の任意の元は E の元に R係数をかけたものの有限和である。
  2. E は一次独立である。すなわち、任意の E の互いに異なる有限個の元 に対して であれば、 となる。(ただし 0MM の零元で、0RR の零元である。)

R-加群 M が基底をもつとき、M自由加群であるという[2]

R基底数一定性質 (IBN) をもてば、定義によって任意の2つの基底は同じ濃度をもつ。勝手な(したがってすべての)基底の濃度を自由加群 Mランク階数)と言い、濃度が有限ならば、Mランク n の自由加群、あるいは単に有限ランクの自由加群と言う。

(2) から直ちにわかることだが、(1) の係数はすべての x について一意的である。

無限自由基底の定義は、E が無限に多くの元をもつことを除いて、同様である。しかしながら、和は有限であり、どの x についても E の有限個の元しか含まれない。

基底が無限のとき、M のランクは E濃度である。

構成

[編集]

集合 E が与えられたとき、E 上の自由 R-加群を作ることができる。それは単純に R|E| 個のコピーの直和であり、しばしば R(E) と表記される。この直和を C(E) と表記し、具体的に構成しよう。

  • 台集合: C(E) は次のような関数からなる。f: ER であって、有限個を除くすべてxE に対して f(x) = 0 である。
  • 加法: 2つの元 f, gC(E) に対し、f + gC(E)(f + g)(x) = f(x) + g(x), (∀xE で定義する。
  • 反元: fC(E) に対し、(−f) ∈ C(E)(−f)(x) = −(f(x)), (∀xE で定義する。
  • スカラー倍: αR, fC(E) に対し、αfC(E)(αf)(x) = α(f(x)), (∀xE で定義する。

C(E) の基底は集合 {δa: aE} によって与えられる。ただし

である。(クロネッカーのデルタの変形であり、 集合 {a}指示関数の特別な場合である。)

写像 ι: EC(E)ι(a) = δa で定義する。この写像は E と基底ベクトル {δa}aE} の間の全単射を与える。 従ってこれらの集合を同一視できる。よって EC(E) の線型独立な基底と考えることができる。

普遍性

[編集]

上で定義された写像 ι: EC(E) は次のような意味で普遍的である。

自由加群の普遍性
任意の R-加群 M と任意の写像 に対して、 を満たす加群準同型 が一意的に存在する。

さらに自由加群の構成を関手 としてみれば、これは忘却関手 左随伴であること、つまり自然同型

がわかる。

一般化

[編集]

自由加群についての多くのステートメントは、一般の環上の加群については成り立たないが、自由加群のある種の一般化に対してはなお成り立つ。射影加群は自由加群の直和因子なので、自由加群への単射が存在し、その基底を射影加群に関する何らかの証明で使うことができる。より弱い一般化として平坦加群やねじれのない加群がある。平坦加群はテンソル積が完全列を保つという性質をもつ。環が特別な性質をもてば、逆が成り立つことがある。例えば、任意の完全局所デデキント環上のすべてのねじれのない加群は平坦加群、射影加群、自由加群でもある。

Module properties in commutative algebra
Module properties in commutative algebra

局所環完全環デデキント環を見よ。

脚注

[編集]
  1. ^ Keown (1975), p. 24
  2. ^ Hazewinkel (1989), p. 110

参考文献

[編集]
  • Adamson, Iain T. (1972). Elementary Rings and Modules. University Mathematical Texts. Oliver and Boyd. pp. 65–66. ISBN 0-05-002192-3. MR0345993 
  • Keown, R. (1975). An Introduction to Group Representation Theory. Mathematics in science and engineering. 116. Academic Press. ISBN 978-0-12-404250-6. MR0387387 
  • Govorov, V. E. (2001), “Free module”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Free_module&oldid=13029 .

関連項目

[編集]

外部リンク

[編集]

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目free vector space over a setの本文を含む