Weakly based modules over Dedekind domains (Q397851): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Pavel Růžička / rank | |||
Property / author | |||
Property / author: Pavel Růžička / rank | |||
Normal rank | |||
Property / review text | |||
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\). | |||
Property / review text: 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\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jebrel M. Habeb / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C12 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13G05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D70 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6329092 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
minimal generating set | |||
Property / zbMATH Keywords: minimal generating set / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weak basis | |||
Property / zbMATH Keywords: weak basis / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Dedekind domain | |||
Property / zbMATH Keywords: Dedekind domain / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local | |||
Property / zbMATH Keywords: local / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
torsion | |||
Property / zbMATH Keywords: torsion / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semisimple | |||
Property / zbMATH Keywords: semisimple / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q114565342 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2013.09.031 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1965900578 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 22:54, 19 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