Integrality of subrings of matrix rings (Q760477)

Let \(A\subset B\) be commutative rings, and let M be a multiplicative monoid which generates the matrix ring \(M_ n(B)\) as a B-module. Suppose that the trace of each \(\mu\in M\) is integral over A. The main results of the present article show that, under the above assumptions, the algebra \(A(M)\subset M_ n(B)\) generated by M over A is integral over A in each of the following two cases: either A is an algebra over a field F with char F\(=0\) or \(>n\), or for every prime ideal P of A the integral closure of A/P is completely integrally closed. An example is given which demonstrates the need for the latter hypotheses on A. As a corollary, the authors deduce a theorem of Bass which states that A(M) is a finitely generated A-module if A is Noetherian, M is finitely generated, and the trace of each \(\mu\in M\) is integral over A. In addition, the article contains short proofs of two results of A. Braun concerning prime p.i. rings integral over their centers.