数学において，O 加群の層 (sheaf of O-modules) あるいは単に環付き空間 (X, O) 上の O 加群 (O-module) とは，層 F であって，X の任意の開部分集合 U に対し，F(U) が O(U) 加群であり，制限写像 F(U) → F(V) が制限写像 O(U) → O(V) と整合的なもの，すなわち O(U) の任意の f と F(U) の任意の s に対し，fs の制限が f の制限と s の制限との積であるものである． 標準的な場合は X がスキームで O がその構造層であるときである．
数学において，O 加群の層 (sheaf of O-modules) あるいは単に環付き空間 (X, O) 上の O 加群 (O-module) とは，層 F であって，X の任意の開部分集合 U に対し，F(U) が O(U) 加群であり，制限写像 F(U) → F(V) が制限写像 O(U) → O(V) と整合的なもの，すなわち O(U) の任意の f と F(U) の任意の s に対し，fs の制限が f の制限と s の制限との積であるものである． 標準的な場合は X がスキームで O がその構造層であるときである．
出典: Wikipedia「加群の層」 · CC BY-SA 4.0
この記事を共有: X · Bluesky