純粋・応用数学（含むガロア理論）3

純粋・応用数学（含むガロア理論）3at MATH

純粋・応用数学（含むガロア理論）3 - 暇つぶし2ch739:OX-加群の層を考える。これらの全体は代数幾何学のスキーム論的取り扱いで重要な圏 OX-Mod を成す。 X がただ一点からなるならば、これは可換環 OX(X) 上の通常の意味での加群の圏である。半環上の加群を考えることもできる。環上の加群はアーベル群だが、半環上の加群は可換単位的半群であればよい。通常の加群に関する議論の多くが、この一般化された意味での加群に対しても有効である。特に、任意の半環 S に対して S 上の n-次行列全体は半環を成し、S の元の順序 n-組の全体はその行列半環上の（ここで言う意味でのみだが）加群となる。これにより、理論計算機科学の分野から半環の概念を併合した、ベクトル空間の概念の更なる一般化が得られたことになる。 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%94%B1%E5%8A%A0%E7%BE%A4 自由加群自由加群(じゆうかぐん、英: free module) とは、加群の圏における自由対象（英語版）である。集合 E が与えられたとき、E 上の自由加群とは E を基底にもつ自由加群である。たとえば、すべてのベクトル空間は自由であり[1]、集合上の自由ベクトル空間は集合上の自由加群の特別な場合である。任意の加群はある自由加群の準同型像である。つづく

次ページ

続きを表示

1を表示