明日は絶対午前中布団の上で死んでる...空気になりたい凡人です。
諸事情あって集会のようなものに日中参加していた。人が多すぎるのでストレスが半端ない...おまけに結構な遠出だったのでかなり体力削られた。正直今眠たいし。来週から後期始まるんだよなぁ。朝起きれるかな...
現場からは以上です。
今日のやつ 整拡大から代数拡大を作る
整拡大R⊆TについてQ(R)は体である。RegRをRの正則元とするとT_{RegR}はQ(R)上整であることになる。整域での整拡大は、拡大環が体であることと部分環が体であることが同値となる。従って、T_{RegR}はQ(R)上整となり、これは代数的と言える。従って、代数拡大であり、Q(R)の代数閉包に単射を持たせることができる。
