No label defined (Q4343552)

Let \(k\) be a field and \(R\) a one-dimensional, reduced commutative Noetherian ring such that its normalization is finite over \(R\). Let \(M\) be an \(R\)-lattice, that is a finitely generated torsion-free \(R\)-module and \(\text{Genus} (M)\) the set of all isomorphism classes of \(R\)-modules \(N\) such that \(M_m\cong N_m\) for any \(m\in \text{Max } R\). \(\text{Genus} (M)\) has an abelian group structure given by \([N]\oplus [P]=[Q]\) where \(Q\) is the unique lattice defined by \(N\oplus P \cong M\oplus Q\). If \(k\) is separable closed and \(n\) is prime with \(\text{char}(k)\), then \(\text{Genus} (M)\) has only finitely many elements of order \(n\). If \(T\subset R\) is an ideal then \(\text{Genus} (I)\) has only finitely many elements of order \(n\) if \(n\) is prime to \(\text{char } k\) (even if \(k\) is not separably closed). If \(L/k\) is a separable algebraic field extension then the kernel of the natural map from \(\text{Genus} (I)\) to \(\text{Genus} (L\otimes_k I)\) is finite. If \(I=R\) then \(\text{Genus} (I)= \text{Pic} (R)\) and the above result remind us to a previous result of \textit{R. Guralnick}, \textit{D. B. Jaffe}, \textit{W. Raskind} and \textit{R. Wiegand} [J. Algebra 183, No. 2, 420-455 (1996; Zbl 0884.14003)]. For the entire collection see [Zbl 0865.00039].