J. Korean Math. Soc. 2021; 58(6): 1311-1325
Online first article August 12, 2021 Printed November 1, 2021
https://doi.org/10.4134/JKMS.j200475
Copyright © The Korean Mathematical Society.
Neil Epstein, Jay Shapiro
George Mason University; George Mason University
One says that a ring homomorphism $R \rightarrow S$ is \emph{Ohm-Rush} if extension commutes with arbitrary intersection of ideals, or equivalently if for any element $f\in S$, there is a unique smallest ideal of $R$ whose extension to $S$ contains $f$, called the \emph{content} of $f$. For Noetherian local rings, we analyze whether the completion map is Ohm-Rush. We show that the answer is typically `yes' in dimension one, but `no' in higher dimension, and in any case it coincides with the content map having good algebraic properties. We then analyze the question of when the Ohm-Rush property globalizes in faithfully flat modules and algebras over a 1-dimensional Noetherian domain, culminating both in a positive result and a counterexample. Finally, we introduce a notion that we show is strictly between the Ohm-Rush property and the weak content algebra property.
Keywords: Commutative algebra, content algebras, Ohm-Rush, completion, extended ideals, faithfully flat, Dedekind domain
MSC numbers: Primary 13B02; Secondary 13A15, 13B35, 13B40, 13F05
2022; 59(2): 379-405
2018; 55(6): 1305-1320
2016; 53(6): 1225-1236
1995; 32(3): 609-614
© 2022. The Korean Mathematical Society. Powered by INFOrang Co., Ltd