|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 半 : [はん] 1. (n,n-adv,n-suf,n-pref) half ・ 局 : [きょく, つぼね] 【名詞】 1. court lady 2. lady-in-waiting ・ 局所 : [きょくしょ] 1. (n,adj-no) section 2. local ・ 所 : [ところ, どころ] (suf) place ・ 環 : [わ, かん] 【名詞】 1. circle 2. ring 3. link 4. wheel 5. hoop 6. loop
数学において、半局所環 (semi-local ring) は ''R''/J(''R'') が半単純環であるような環 ''R'' である。ここで J(''R'') は ''R'' のジャコブソン根基である 。 この定義は ''R'' の極大右(左)イデアルが有限個であれば満たされる。''R'' が可換環のときは逆も成り立つため、可換環に対する半局所環の定義はしばしば「極大イデアルが有限個である環」とされる。 いくつかの文献では一般の可換半局所環を''擬半局所環'' (quasi-semi-local ring) と呼び、極大イデアルが有限個のネーター環を半局所環と呼んでいる。 したがって半局所環は、極大(右/左/両側)イデアルをただひとつだけもつ局所環よりも一般的である。 == 例 == * 任意の右あるいは左アルティン環、任意の , 任意の半完全環は半局所環である。 * 剰余環 は半局所環である。とくに、 が素冪であれば、 は局所環である。 * 有限個の体の直和 は半局所環である。 * 単位元を持つ可換環の場合には、この例は次のような意味でプロトタイプである。すなわち、中国の剰余定理によって、極大イデアルが ''m''1, ..., ''mn'' である単位的可換半局所環 ''R'' に対し、 :: :である。(写像は自然な射影)。右辺は体の直和である。ここで ∩''i'' ''mi'' = J(''R'') であることに注意すると、''R''/J(''R'') は実際半局所環であることがわかる。 * 任意の可換ネーター環に対するは半局所環である。 * アルティン加群の自己準同型環は半局所環である。 * 半局所環は例えば代数幾何学において(可換)環 ''R'' が積閉集合 ただし ''pi'' たちは有限個の素イデアル、によって局所化されるときに生じる。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「半局所環」の詳細全文を読む スポンサード リンク
|