In some branches of mathematics, especially the representation theory of Artin algebras and orders, it has been an important problem to study the (geometric) quotient GLn(Λ)\Mn(M) for a (Λ,Λ)-module M (g · m := gmg−1 for g ∈ GLn(Λ) and m ∈ Mn(M)). An effective formulation of such problems is a bimodule problem [4,9], which is a study of the matrix category Mat(C,M) associated to an additive category C and a (C,C)-module M (Section 2.1). The bimodule problems have nice module-theoretical interpretation by means of prinjective modules [22,29,30]. They have already many useful applications in the representation theory of finite-dimensional algebras, artinian rings, orders, vector space categories, and bocses, see [6,7,9,16,19,25,28,29]. In this paper, we introduce the concept of quadratic extensions of rings (Section 1.2), which are closely related to many rings known in representation theory, for example Bass orders [10,17], Backstrom orders [28], Green orders [27], special biserial algebras [31], and clannish algebras [5] (see Sections 1.3, 3.4, and 3.5). Using quadratic extensions, we introduce the concept of quadratic bimodules (Section 3.1), where we can easily formulate self-reproducing systems [21] and clans [5] in terms of quadratic bimodules. Then we study their matrix category Mat(C,M) associated to a quadratic (C,C)-module M , especially we give a description of all indecomposable objects in terms of walks (Sections 3.3, 6.1), which can be regarded as a generalization of Green walks [13] (Section 3.4), strings and bands [5,31] (Section 3.5). As an application, we give a description of finitely generated indecomposable modules over quadratic orders (Section 1.3(2)) in Section 7.3. In forthcoming papers, our results will be applied in construction of large new classes of orders of tame representation type. Some of the results of this paper were presented at the Conference and Workshop Constanta 2000 and were announced in [19] without proof.
Read full abstract