>>687
おお、すごいじゃん
勉強してますね

>しかし逆は即座には言えない
>（つまりねじれ元がなくても、基底が存在しない場合があり得る）

この後を聞きたいのだが
つまり、「自由加群（つまり基底がある）⇒ねじれ元がない　がいえる（基底の定義から自明）」は良いとして

（>>682より）
>https://en.wikipedia.org/wiki/Division_ring
>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]"
>https://ja.wikipedia.org/wiki/%E6%96%9C%E4%BD%93_(%E6%95%B0%E5%AD%A6)
>斜体 (数学) division ring
>斜体であるという性質は加群の圏の性質から特徴づけることもできる。環 R が斜体である必要十分条件はすべての左 R 加群が自由加群であることである[5]。
(引用終り)

”単位的環 R が斜体である必要十分条件はすべての左 R 加群が自由加群であることである[5]。”
をどぞ、語ってください