完璧な指輪

環論として知られる抽象代数学の分野において、左完全環とは、すべての左加群が射影被覆を持つような環の一種である。右の場合は類推によって定義され、条件は左右対称ではない。つまり、片側が完全だがもう一方が完全ではない環が存在する。完全環はバスの著書で導入された。[ 1 ]

半完全環とは、その環上のすべての有限生成左加群が射影被覆を持つ環である。この性質は左右対称である。

完璧な指輪

定義

左完全環Rの次の同値な定義はアンダーソンとフラーによるものである: [ 2 ]

  • すべての左Rモジュールには射影カバーがあります。
  • R /J( R ) は半単純であり、 J( R ) は左 T 冪零です(つまり、 J( R ) の元の無限列ごとに、最初のn項の積が0 になるnが存在します)。ここで、 J( R ) はRのヤコブソン根号です。
  • （バスの定理P）Rは主右イデアル上の下降連鎖条件を満たす。（間違いではない。この右主イデアル上の条件は、環が左完全であることと同値である。）
  • すべての平坦左R加群は射影的である。
  • R /J( R ) は半単純であり、すべての非ゼロ左Rモジュールには最大サブモジュールが含まれます。
  • R には無限直交べき等集合は含まれず、すべての非ゼロ右Rモジュールには最小サブモジュールが含まれます。

例

で添え字が付けられ、対角線より上に位置する非零要素が有限個しか存在しない無限行列の集合を と記す。また、対角線上の要素がすべて 1 である 行列を と記すと、集合北×北{\displaystyle \mathbb {N} \times \mathbb {N} }J{\displaystyle J}私{\displaystyle I\,}
R＝{f⋅私+j∣f∈F、j∈J}{\displaystyle R=\{f\cdot I+j\mid f\in F,j\in J\}\,}
Rは単位元を持つ環であり、そのヤコブソン根号はJであることが示される。さらにR / Jは体であるため、Rは局所的であり、Rは右完全だが左完全ではない。[ 3 ]

プロパティ

左完全環Rの場合:

  • 上記の同値性から、すべての左R加群には最大サブ加群と射影被覆があり、平坦な左R加群は射影左加群と一致します。
  • Baer の基準と同様のものが射影モジュールにも当てはまります。

半完全リン​​グ

意味

Rを環とする。Rが半完全環であるのは、以下の同値な条件のいずれかが成立する場合である。

例

半完全環の例としては次のようなものがあります。

プロパティ

環Rが半完全である場合と、すべての単純左R加群が射影被覆を持つ場合とでは、半完全環に 同値なすべての森田環も半完全である。

引用

参考文献

「 https://en.wikipedia.org/w/index.php?title=Perfect_ring&oldid=1269758429」より取得