In mathematics, especially ring theory, the class of Frobenius rings and their generalizations are the extension of work done on Frobenius algebras. Perhaps the most important generalization is that of quasi-Frobenius rings (QF rings), which are in turn generalized by right pseudo-Frobenius rings (PF rings) and right finitely pseudo-Frobenius rings (FPF rings). Other diverse generalizations of quasi-Frobenius rings include QF-1, QF-2 and QF-3 rings.
Contents
These types of rings can be viewed as descendants of algebras examined by Georg Frobenius. A partial list of pioneers in quasi-Frobenius rings includes R. Brauer, K. Morita, T. Nakayama, C. J. Nesbitt, and R. M. Thrall.
Definitions
For the sake of presentation, it will be easier to define quasi-Frobenius rings first. In the following characterizations of each type of ring, many properties of the ring will be revealed.
A ring R is quasi-Frobenius if and only if R satisfies any of the following equivalent conditions:
- R is Noetherian on one side and self-injective on one side.
- R is Artinian on a side and self-injective on a side.
- All right (or all left) R modules which are projective are also injective.
- All right (or all left) R modules which are injective are also projective.
A Frobenius ring R is one satisfying any of the following equivalent conditions. Let J=J(R) be the Jacobson radical of R.
- R is quasi-Frobenius and the socle
s o c ( R R ) ≅ R / J as right R modules. - R is quasi-Frobenius and
s o c ( R R ) ≅ R / J as left R modules. - As right R modules
s o c ( R R ) ≅ R / J , and as left R moduless o c ( R R ) ≅ R / J .
For a commutative ring R, the following are equivalent:
- R is Frobenius
- R is QF
- R is a finite direct sum of local artinian rings which have unique minimal ideals. (Such rings are examples of "zero-dimensional Gorenstein local rings".)
A ring R is right pseudo-Frobenius if any of the following equivalent conditions are met:
- Every faithful right R module is a generator for the category of right R modules.
- R is right self-injective and is a cogenerator of Mod-R.
- R is right self-injective and is finitely cogenerated as a right R module.
- R is right self-injective and a right Kasch ring.
- R is right self-injective, semilocal and the socle soc(RR) is an essential submodule of R.
- R is a cogenerator of Mod-R and is a left Kasch ring.
A ring R is right finitely pseudo-Frobenius if and only if every finitely generated faithful right R module is a generator of Mod-R.
Thrall's QF-1,2,3 generalizations
In the seminal article (Thrall 1948), R. M. Thrall focused on three specific properties of (finite-dimensional) QF algebras and studied them in isolation. With additional assumptions, these definitions can also be used to generalize QF rings. A few other mathematicians pioneering these generalizations included K. Morita and H. Tachikawa.
Following (Anderson & Fuller 1992), let R be a left or right Artinian ring:
The numbering scheme does not necessarily outline a hierarchy. Under more lax conditions, these three classes of rings may not contain each other. Under the assumption that R is left or right Artinian however, QF-2 rings are QF-3. There is even an example of a QF-1 and QF-3 ring which is not QF-2.