超幻日記

素粒子、量子論、宇宙論のことを辺境にいる一人の視点から改めて眺めてみます。単なる勉強帳になるかも。。

2016-08-23から1日間の記事一覧

可換環の極大イデアル、素イデアル

以下は可換環のこと 定義 極大イデアル 極大イデアルは、非自明なイデアルの包含関係において極大のもの。 定理1 極大イデアルであることはその剰余環が非自明なイデアルをもたないこと 定義 体 非自明なイデアルをもたない環 定理2 極大イデアルの剰余環が…

層の定義

層 前層...位相空間X上の前層F 開集合 U ⊂ X に対し アーベル群 F(U) 開埋め込み V ⊂ U に対して アーベル群の準同型 ρUV:F(U)->F(V) .. 制限写像 ρUVの制限: 1. ρUU:F(U)->F(U) = 恒等写像 2. 3つの開集合 W⊂V⊂U に対し ρUW = ρVW.ρUV ρUV(s) は s|V とも…