Lattice-finite rings. (Q2490351): Difference between revisions

An algebra is representation finite if there are only finitely many isomorphism classes of indecomposable \(A\)-modules. If \(R\) is a left Noetherian ring then the author calls an \(R\)-module a lattice if its socle is \(0\). In the classical case this coincides with the usual concept of lattices over classical orders. The author used this concept already very efficiently [in Algebr. Represent. Theory 8, No. 3, 323-345 (2005; see the preceding review Zbl 1094.16011)]. A Noetherian ring is called lattice finite if there are only finitely many isomorphism classes of indecomposable lattices. The present paper studies more systematically the representation theory of lattice finite Noetherian rings, in particular aspects from homological algebra with a view to an Auslander-Reiten theory. For this the author calls a ring \(R'\) a left over-order of \(R\) if \(R\) is a subring of \(R'\), if the socle of \(R'\) as an \(R\)-module is \(0\) and the left conductor of \(R'\) in \(R\) has finite index in \(R'\). Similarly, right orders are defined. A subring \(R\) of a ring \(Q\) is said to be a left order in \(Q\) if every regular element of \(R\) is invertible in \(Q\) and every element in \(Q\) is of the form \(r^{-1}a\) with \(a,r\in R\) and \(r\) regular. Similarly right orders are defined, and an order in \(Q\) is a ring which is at once left and right order in \(Q\). A first main result shows that for a left Noetherian ring \(R\) so that the left regular module has socle \(0\) and which is lattice finite, the maximal left quotient ring \(Q\) in the sense of Utumi [\textit{J. Lambek}, Can. J. Math. 15, 363-370 (1963; Zbl 0111.24602)] is semisimple. Moreover, if \(R\) is Noetherian, then \(R\) is an order in \(Q\). The second main result states that whenever \(R\) is a lattice finite ring admitting as left over-order a direct product of matrix rings over (in general) non commutative discrete valuation domains, then the category of finitely generated \(R\)-lattices is a strict \(\tau\)-category in the sense of Iyama with strictly enough projectives and strictly enough injectives. Moreover, one gets a functorial bijection between the set of isomorphism classes of strictly injective \(R\)-lattices and simple \(R\)-modules. The paper contains a number of very illuminating examples from algebraic geometry and ring theory. The proofs are very elegant using mostly methods from homological algebra.