The genus of a module (Q789450)

From MaRDI portal
Revision as of 10:59, 14 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The genus of a module
scientific article

    Statements

    The genus of a module (English)
    0 references
    1984
    0 references
    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.
    0 references
    genus of module
    0 references
    ring of algebraic integers
    0 references
    Bezout ring
    0 references
    isomorphism classes of modules
    0 references
    finitely generated modules over orders
    0 references
    Dedekind domain
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references