数学、とくに環論において、フロベニウス環 (Frobenius ring) のクラスとその一般化は、フロベニウス多元環についてなされた研究の拡張である。おそらく最も重要な一般化は準フロベニウス環 (quasi-Frobenius ring, QF ring) のそれであろう。これはさらに右擬フロベニウス環 (pseudo-Frobenius ring, PF ring) と右有限擬フロベニウス環 (finitely pseudo-Frobenius ring, FPF ring) に一般化される。準フロベニウス環の他の種々の一般化には QF-1, QF-2, QF-3 環がある。

これらのタイプの環はゲオルク・フロベニウスによって考察された多元環の子孫と見ることができる。準フロベニウス環のパイオニアたちを部分的に挙げれば、R. ブラウアー英語版森田紀一中山正C. J. Nesbitt英語版, R. M. Thrall英語版

定義

編集

説明のためにはまず準フロベニウス環を定義するのが易しいだろう。各タイプの環の以下の特徴づけにおいて、環の多くの性質が明らかにされる。

R準フロベニウス (quasi-Frobenius) であるとは、R が以下の同値な条件のうちの1つを満たすことをいう:

フロベニウス環 (Frobenius ring) R とは以下の同値な条件のうちの1つを満たす環のことである。J = J(R) を Rジャコブソン根基とする。

  • R は準フロベニウスかつ右 R 加群として半単純成分 (socle)  
  • R は準フロベニウスかつ左 R 加群として  
  • R 加群として   でありかつ左 R 加群として  

可換環 R に対して、以下は同値である:

R右擬フロベニウス (right pseudo-Frobenius) とは、以下の同値な条件の1つを満たすことである:

R右有限擬フロベニウス (right finitely pseudo-Frobenius) とは、すべての有限生成忠実右 R 加群が Mod-R の生成加群であることをいう。

Thrall の QF-1,2,3 の一般化

編集

大きな影響を与えた論文 (Thrall 1948) で R. M. Thrall は(有限次元)QF 代数の3つの特定の性質に焦点を当て個別に研究した。追加の仮定をしてこれらの定義は QF 環を一般化するために使うこともできる。これらの一般化を開拓した少しの他の数学者には 森田紀一と太刀川弘幸が含まれる。

(Anderson & Fuller 1992) に従って、R を左または右アルティン環とする:

  • R が QF-1 であるとは、すべての忠実左加群と忠実右加群が平衡加群英語版であることをいう。
  • R が QF-2 であるとは、各直既約射影右加群と各直既約射影左加群が唯一の極小部分加群を持つことをいう。(すなわちそれらの半単純成分は単純である。)
  • R が QF-3 であるとは、移入包絡 E(RR) および E(RR) がともに射影加群であることをいう。

番号は階層を表しているわけではない。より緩い条件のもとで、環のこれら3つのクラスは互いを含まない。しかしながら、R が左または右アルティンという仮定の下では、QF-2 環は QF-3 である。QF-1 かつ QF-3 だが QF-2 でない例すらある。

  • すべてのフロベニウス k 多元環はフロベニウス環である。
  • すべての半単純環は明らかに準フロベニウスである。すべての加群が射影かつ移入だからである。しかしさらに、半単純環はすべてフロベニウスである。これは定義によって容易に確かめられる。半単純環に対して   であり J = rad(R) = 0 だからである。
  • 商環   は任意の自然数 n > 1 に対して準フロベニウスである。
  • 可換アルティン列環英語版 はすべてフロベニウスであり、実はさらに、すべての商環 R/I もフロベニウスであるという性質を持つ。可換アルティン環の中で、列環はちょうど、(非零な)商がすべてフロベニウスであるような環であることが判明する。
  • 多くのエキゾチックな PF および FPF 環が (Faith 1984) の例として見つけられる。

QF, PF, FPF の定義は圏論的な性質であることが容易にわかり、したがって森田同値によって保存されるのであるが、フロベニウス環であることは保存されない

片側ネーター環に対して左または右 PF の条件はともに QF と一致するが、FPF 環はなお異なる。

k 上の有限次元代数 R がフロベニウス k-代数であることと R がフロベニウス環であることは同値である。

QF 環は加群のすべてを自由 R 加群に埋め込めるという性質を持つ。これは次のようにしてわかる。加群 M移入包絡その E(M) に埋め込まれ、E(M) は今射影的でもある。射影加群として E(M) は自由加群 F の直和成分であるから E(M) は包含写像によって F に埋め込まれる。この2つの写像を合成して MF に埋め込まれる。

教科書

編集
  • Anderson, Frank Wylie; Fuller, Kent R (1992), Rings and Categories of Modules, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97845-1, https://books.google.co.jp/books?id=PswhrD_wUIkC&redir_esc=y&hl=ja 
  • Faith, Carl; Page, Stanley (1984), FPF Ring Theory: Faithful modules and generators of Mod-R, London Mathematical Society Lecture Note Series No. 88, Cambridge University Press, ISBN 0-521-27738-8, MR0754181 
  • Lam, Tsit-Yuen (1999), Lectures on modules and rings, Graduate Texts in Mathematics No. 189, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98428-5, MR1653294 
  • Nicholson, W. K.; Yousif, M. F. (2003), Quasi-Frobenius rings, Cambridge University Press, ISBN 0-521-81593-2 

References

編集

For QF-1, QF-2, QF-3 rings:

関連項目

編集