Published online by Cambridge University Press: 22 January 2016
As a generalization of the notion of Frobenius algebras over a field Kasch [103 introduced that of Frobenius extensions of a ring. The present writers [13] recently freed one of Kasch’s main theorems from its rather strong S-ring assumption of the ground ring. However, even with the removal of the S-ring assumption of the ground ring the notion does not seem general enough, and we wish, in the present paper and its sequel, to develope the theory upon the basis of a more general notion of Frobenius extensions. Thus, we replace the free module property of the extension by the projective module property (according to a general tendency in algebra), which has been done in fact in case of Frobenius algebras over a commutative ring in a previous work by Eilenberg and one of the writers [4], and, further, take automorphisms of the ground ring into the definition of Frobenius extensions (which seems quite natural particularly in case of non-commutative rings). To such generalized notion of Frobenius extensions we may extend many of Kasch’s theorems, including those which are immediate extensions of classical theorems for Frobenius algebras and those which are essentially new, as the above alluded endomorphism ring theorem. Also homological properties of Frobenius extensions, as were developed in Hirata’s [6] recent paper in succession to Eilenberg-Nakayama [4], can be extended to our present generalized case; we shall also exceed [4], [6] somewhat in considering injective and weak dimensions.