Weakly based modules over Dedekind domains (Q397851): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:10, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weakly based modules over Dedekind domains |
scientific article |
Statements
Weakly based modules over Dedekind domains (English)
0 references
12 August 2014
0 references
A subset \(X\) of a left \(R\)- module \(M\) is weakly independent provided that whenever \(a_1 x_1+\cdots+a_n x_n=0\) for pairwise distinct elements \(x_1+\cdots+x_n\) from \(X\), then none of \(a_1,\dots,a_n\) is invertible in \(R\). Weakly independent generating sets (called weak bases) are exactly generating sets minimal with respect to inclusion. The aim of the paper is to characterize modules over Dedekind domains possessing a weak basis. The authors characterize them as follows: Let \(R\) be a Dedekind domain and let \(M\) be a \(\chi\)-generated \(R\)-module, for some infinite cardinal \(\chi\). Then \(M\) has a weak basis if and only if at least one of the following conditions is satisfied: (1) There are two different prime ideals \(P\), \(Q\) of \(R\) such that \(\dim_{R/P} (M/PM) = \dim_{R/Q} (M/QM) =\chi\); (2) There are a prime ideal \(P\) of \(R\) and a decomposition \(M \cong F\oplus N\) where \(F\) is a free module and \(\dim_{R/P} (\tau N/P\tau N) \)= gen\((N)\); (3) There is a projection of \(M\) onto an \(R\)-module \(\oplus _{P \in \mathrm{Spec}(R)} V_{p}\), where \(V_{P}\) is a vector space over \(R/P\) with \(\dim_{R/P} (V_{P}) < \chi\) for each \(P \in \mathrm{Spec}(R)\) and \(\sum_{P \in \mathrm{Spec}(R))}\dim_{(R/P} (V_{P)} = \chi\).
0 references
minimal generating set
0 references
weak basis
0 references
Dedekind domain
0 references
local
0 references
torsion
0 references
semisimple
0 references