Torsion theory extensions and finite normalizing extensions (Q1861463): Difference between revisions

Let \(S\) be a ring extension of \(R\), and let \(\tau_R=({\mathcal T}_R,{\mathcal F}_R)\) and \(\tau_S=({\mathcal T}_S,{\mathcal F}_S)\) be (not necessarily hereditary) torsion theories for \(R\) and \(S\), respectively. Using the functors \(\Hom_R(-,S)\) and \(-\otimes_RS\), the author examines numerous conditions that could relate the torsion and torsionfree classes for \(\tau_R\) and \(\tau_S\). Two such conditions are as follows: (1) if \(M\in{\mathcal T}_R\), then \(M\otimes_RS\in{\mathcal T}_S\), and (2) if \(N\in{\mathcal F}_R\), then \(\Hom_R(S,N)\in{\mathcal F}_S\). When these two conditions hold \(\tau_S\) is called a TH-extension of \(\tau_R\). If \(S\) is an excellent extension of \(R\) and \(\tau_S\) is a TH-extension of \(R\), then \(\tau_R\) is hereditary (stable) if and only if \(\tau_S\) is hereditary (stable). Relationships of \(\tau_R\) and \(\tau_S\) to torsion theories obtained from canonical correspondences between tors-\(R\) and tors-\(S\) are discussed. If \(S\) is an almost excellent extension, \(\tau_R\) is hereditary, and \(\tau_S\) is a TH-extension of \(\tau_R\), the \(R\) is \(\tau_R\)-coherent if and only if \(S\) is \(\tau_S\)-coherent. If \(S\) is an almost excellent extension of \(R\), then \(\text{r.gl.dim }R=\text{r.gl.dim }S\). If \(S\) is an excellent extension of \(R\) and if \(\tau_S\) is a TH-extension of \(\tau_R\), then \(R\) is \(\tau_R\)-Noetherian (\(\tau_R\)-Artinian) if and only if \(S\) is \(\tau_S\)-Noetherian (\(\tau_S\)-Artinian). Under the same general hypotheses, the relationships of \(\text{Spec}_{\tau_R}(R)\) and \(\text{Spec}_{\tau_S}(S)\) are examined, and it is shown that the nilpotence of the \(\tau_S\)-prime radical of \(S\) implies the nilpotence of the \(\tau_R\)-prime radical of \(R\).