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

[過去ﾛｸﾞ] 純粋・応用数学（含むガロア理論）3 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

604: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/08/22(土) 22:48:58.46 ID:qg6YAvVW

>>581 補足

雪江の代数学3 書棚の肥やしでつんどくだったが、7.5をちらみしてみると、ヤコブソン根基が出てくる
下記だが、ジャコブソンだ？ 普通、雪江の呼び方だろうが（＾＾
ヤコブソン根基は、直感的な議論としては、「ベキ零根基によく似ている。環論において「悪い」という意味はいくつか考えられるが、その一つは零因子であることである。それよりより広い意味での「悪い」という概念は、単元でない（乗法について可逆でない）ことである」
か、なるほど（＾＾

https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A3%E3%82%B3%E3%83%96%E3%82%BD%E3%83%B3%E6%A0%B9%E5%9F%BA
ジャコブソン根基
(抜粋)
環論において、環 R のジャコブソン根基あるいはヤコブソン根基（英: Jacobson radical）とは、すべての単純右 R-加群を零化する R の元からなるイデアルである。定義において「右」の代わりに「左」としても同じイデアルが得られるので、この概念は左右対称である。環のジャコブソン根基をよく J(R) あるいは rad(R) と表すが、他の環の根基との混乱を避けるため、この記事では前者の表記を使う。ジャコブソン根基はジャコブソン（英語版）にちなんで名づけられた。彼は初めてそれを任意の環について(Jacobson 1945)で研究した人である。

環のジャコブソン根基には内在的な特徴づけが数多くあり、そのいくつかは単位元をもたない環に対する定義としても採用することができる。加群の根基はジャコブソン根基の定義を加群を含むように拡張する。ジャコブソン根基は多くの環や加群の理論の結果、例えば中山の補題において、際立った役割を果たす。

直感的な議論
他の環の根基のように、ジャコブソン根基 は「悪い」元の集まりとして考えることができる。この場合「悪い」性質はこれらの元は環のすべての単純左・右加群を零化するということである。比較の目的のため、可換環のベキ零根基 √0 を考えよう。これはすべてのベキ零元からなる。実は任意の環について、環の中心に入っているベキ零元はジャコブソン根基にも入っている[1]。なので、可換環については、ベキ零根基はジャコブソン根基に含まれている。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1595166668/604

626: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/08/23(日) 16:06:25.22 ID:ehdjUjVy

>>614
>行列環 Mn(R)で、零因子を含むヤコブソン根基（>>604）J(Mn(R)を作って
>商環 Mn(R)/J(Mn(R)) 作れば J(Mn(R)/J(Mn(R))) = {0} が言えて（>>605）
>零因子を含まない環が、できるのか

これも撤回（＾＾；
上記の話は、可換環 R の話みたい（>>619-620ご参照）

行列環が、Division ringになる条件
うん、これか
"Relation to fields and linear algebra
In fact the converse is also true and this gives a characterization of division rings via their module category: A unital ring R is a division ring if and only if every R-module is free.[7]"
（ unitary ring、単位的環、単位環 ）
むずいｗ（＾＾；

https://en.wikipedia.org/wiki/Division_ring
Division ring

Relation to fields and linear algebra
All fields are division rings; more interesting examples are the non-commutative division rings. The best known example is the ring of quaternions H. If we allow only rational instead of real coefficients in the constructions of the quaternions, we obtain another division ring. In general, if R is a ring and S is a simple module over R, then, by Schur's lemma, the endomorphism ring of S is a division ring;[6] every division ring arises in this fashion from some simple module.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1595166668/626

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.035s