The genus of a module

Quaternion and other division algebras: arithmetic, zeta functions (11R52) Structure, classification theorems for modules and ideals in commutative rings (13C05) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05)

Review text

The author generalizes classical results on the genus of lattices over orders in semi-simple algebras to finitely generated modules over orders in - not necessarily - semi-simple algebras. His interesting techniques for the proofs yield even in the classical situation simplifications of the existing proofs. More precisely, let R be an integral domain with field of fractions K and denote by \(\bar K\) its integral closure, and put \(\bar R=\{\bar r\in \bar K:r\) is integral over \(R\}\). One crucial observation is theorem 1: Let R be a Dedekind domain satisfying the Jordan-Zassenhaus theorem. Then (i) \(\bar R\) is Bezout; (ii) the stable range of \(\bar R\) is one; (iii) \(\bar R\) is a local-global (LG-)-ring; i.e. whenever \(f\in \bar R[x_ 1,...,x_ m]\) represents a unit in \(\bar R_{{\mathfrak p}}\) for every \({\mathfrak p}\in spec(\bar R)\), then f represents a unit in \(\bar R\). Theorem 2: Let R be as in (1) and \(\Lambda\) an R-algebra which is a finitely generated R-module. Let M be a finitely generated left \(\Lambda\)-module. Then \(G(M)=\{N\in mod(\Lambda):N_{{\mathfrak p}}\simeq M_{{\mathfrak p}}\quad for\quad all\quad {\mathfrak p}\in spec(R)\}\) contains finitely many isomorphism classes of \(\Lambda\)-modules. - Theorem 3: Let \(\{\) R,\(\Lambda\),\(M\}\) be as in (2). Then there exists a positive integer t, and a finite extension L of K (t and L depend on M) such that the following are equivalent for a \(\Lambda\)-module N: (a) \(M_{{\mathfrak p}}| N_{{\mathfrak p}}\) for all \({\mathfrak p}\in spec(R) (\quad | \quad\) is the sign for a direct summand); (b) \(N^{(t)}| M^{(t)}\); (c) \((N\otimes_ RS)|(M\otimes_ RS)\) as \(\Lambda \otimes_ RS\)- module, \(S=L\cap \bar R\); (d) \((N\otimes_ R\bar R)|(M\otimes_ R\bar R)\) as \(\Lambda \otimes_ R\bar R\)-module, (e) \(N^{(s)}| M^{(s)}\) for some s. (The result also holds if in every statement \(| \) is replaced by \(\simeq )\). - The author gives an example that t and L in (3) can not be chosen for all genera of \(\Lambda\) simultaneously. The proof of (2) and (3) is reduced to the situation, where M is a finitely generated projective module over \(E=End_{\Lambda}(M)\)- using an observation of A. Dress. Now, \(E/Nil(E)\simeq {\tilde \Lambda}\oplus T\), where T is semi-simple artinian, torsion over R. Given now N with \(N| M^{(t)}\) we can define the projective \(\Lambda\)-lattice \(N^*\) via: \(N\rightsquigarrow Hom_{\Lambda}(M,N)=:N_ 1\rightsquigarrow N_ 1/Nil(N_ 1)=:\bar N_ 1\rightsquigarrow \Lambda^*\bar N_ 1=N^*.\) The author then proves that \(N\rightsquigarrow N^*\) induces a bijection between G(N) and \(G(N^*)\). Now an application of (1) gives the desired results.

Recommendations

Cites work

Cited in

(27)

This page was built for publication: The genus of a module

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q789450)