加群基礎

完全列　加群ごとに比較考察する場合は、それぞれ具体的に確認すればいいが任意個の加群の関係や加群そのものの性質に複数個の異なる加群から導かれる状況では現実的ではない。そこで今回は線形写像の性質を図式で表現可能にし、一つの列として考える完全列を導入する。

加群の直積と直和　ベクトルや線形代数のベクトル空間では、成分ごとの和とスカラー倍で体上の加群としての演算を定義していた。これを集合で説明すると直積集合にこの2つの演算を定義していることと同じである。今回は、直積集合にそのまま演算を定義した加群の直積と特別な形の直和を定義しこれらの性質の差を見る。

零因子と正則元　線形代数では特に気にならない作用だが、環上の加群では加群と作用させる元それぞれ零元でなくともその作用が零元となることがある。今回は、作用で零元にできる零因子とその逆である非零因子（正則元）を定義し作用を線形写像による側面を考える。

準同型定理　集合論では自然な射影とそこから誘導される写像が定義できる。誘導写像が単射になる条件は決まっているが、線形写像の場合は特に核による剰余の関係がちょうど当てはまる。今回は、集合論での誘導写像の事実を用いて誘導写像の性質と準同型定理を示しその系として同型定理群を示す。

生成された部分加群　イデアルと同様に、特定の部分集合を含む最小の加群として生成された部分加群が定義される。こちらも有限生成を考えることができるがその側面はイデアルの場合と異なるものがある。今回は、生成された部分加群を定義するとともに線形代数における基底と環上の加群での生成系について考える。

剰余加群　加群構造を持つように商空間を構成した剰余加群は、ただ加群構造を簡略化しただけではなくイデアルの特徴を見る側面が存在する。そしてイデアルの対応と同様に部分加群の対応が存在しこれが大きな意味を持つ。今回は、剰余加群の定義と意義を見るとともに剰余加群同士の一致を考える。

今回ほぼ線形代数...こんにちは！ケンけんです。今回は、加群準同型写像を取り扱います。代数系の基礎導入はどれも同じですがしっかりやっていきますよ。キーワード：加群準同型写像（線形写像）この記事では、$R$加群と書き単位的可換環$R$上の加群...

部分加群　イデアルが加群であることは定義の類似性からわかるが、それは元の環との間の関係としてどう説明されるのか。それが部分加群であり、線形部分空間の一般化でもある。そしてその定義分はまさしくイデアルそのものであり環論の視点だけではなく加群論からの見方を与えてくれる。

環上の加群　ベクトル空間は実数や複素数のような体のスカラー倍を持つ集合である。これは一般に体上の加群と呼ばれ、体に依存した様々な議論が可能であった。環上の加群は、スカラー倍の元が整数環などの環にい置き換えたものであり体で可能だった議論がどのような性質から成り立つのかを与えてくれる。