Skip to main content
MathOverflow

Return to Question

Small assumption changes
Source Link
anonomous_owl
anonomous_owl
  • 11
  • 3

Let $(R, M)$$(R, \mathfrak{m})$ be a local (Noetherian) ring containing the rationals with maximal ideal $M$. Then the formal power series ring $\mathbb{Q}[[x_1, \ldots, x_n]]$ naturally forms a subring of $R[[x_1, \ldots, x_n]]$. Let $\mathfrak{p}, \mathfrak{p}' \in \mathrm{Spec}\,R[[x_1, \ldots, x_n]]$ be such that neither $\mathfrak{p}$ nor $\mathfrak{p}'$ are contained in each other and \begin{equation} \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p}' \neq (0). \end{equation}\begin{equation*} \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p}' \neq (0). \end{equation*} If $(x_1, \ldots, x_n) \not\subseteq \mathfrak{p}, \mathfrak{p}'$, we can choose a monomial in $x_1, \ldots, x_n$, call if $f$, such that $f \not\in \mathfrak{p}, \mathfrak{p}'$. Let $\mathfrak{q}$ be a minimal prime ideal over $(\mathfrak{p}, f)$ and $\mathfrak{q}'$ a minimal prime ideal over $(\mathfrak{p}', f)$.

I'm interested in whether $\mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q}'$. I suspect the answer is "not always," but can we choose $f$, $\mathfrak{q}$, and $\mathfrak{q}'$ such that equality holds?

Let $(R, M)$ be a local (Noetherian) ring containing the rationals with maximal ideal $M$. Then the formal power series ring $\mathbb{Q}[[x_1, \ldots, x_n]]$ naturally forms a subring of $R[[x_1, \ldots, x_n]]$. Let $\mathfrak{p}, \mathfrak{p}' \in \mathrm{Spec}\,R[[x_1, \ldots, x_n]]$ be such that \begin{equation} \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p}' \neq (0). \end{equation} If $(x_1, \ldots, x_n) \not\subseteq \mathfrak{p}, \mathfrak{p}'$, we can choose a monomial in $x_1, \ldots, x_n$, call if $f$, such that $f \not\in \mathfrak{p}, \mathfrak{p}'$. Let $\mathfrak{q}$ be a minimal prime ideal over $(\mathfrak{p}, f)$ and $\mathfrak{q}'$ a minimal prime ideal over $(\mathfrak{p}', f)$.

I'm interested in whether $\mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q}'$. I suspect the answer is "not always," but can we choose $f$, $\mathfrak{q}$, and $\mathfrak{q}'$ such that equality holds?

Let $(R, \mathfrak{m})$ be a local (Noetherian) ring containing the rationals. Then the formal power series ring $\mathbb{Q}[[x_1, \ldots, x_n]]$ naturally forms a subring of $R[[x_1, \ldots, x_n]]$. Let $\mathfrak{p}, \mathfrak{p}' \in \mathrm{Spec}\,R[[x_1, \ldots, x_n]]$ be such that neither $\mathfrak{p}$ nor $\mathfrak{p}'$ are contained in each other and \begin{equation*} \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p}' \neq (0). \end{equation*} If $(x_1, \ldots, x_n) \not\subseteq \mathfrak{p}, \mathfrak{p}'$, we can choose a monomial in $x_1, \ldots, x_n$, call if $f$, such that $f \not\in \mathfrak{p}, \mathfrak{p}'$. Let $\mathfrak{q}$ be a minimal prime ideal over $(\mathfrak{p}, f)$ and $\mathfrak{q}'$ a minimal prime ideal over $(\mathfrak{p}', f)$.

I'm interested in whether $\mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q}'$. I suspect the answer is "not always," but can we choose $f$, $\mathfrak{q}$, and $\mathfrak{q}'$ such that equality holds?

added 34 characters in body
Source Link
anonomous_owl
anonomous_owl
  • 11
  • 3

Let $(R, M)$ be a local (Noetherian) ring containing the rationals with maximal ideal $M$. Then the formal power series ring $\mathbb{Q}[[x_1, \ldots, x_n]]$ naturally forms a subring of $R[[x_1, \ldots, x_n]]$. Let $\mathfrak{p}, \mathfrak{p}' \in \mathrm{Spec}\,R[[x_1, \ldots, x_n]]$ be such that $\mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p}' \neq (0)$. If \begin{equation} \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p}' \neq (0). \end{equation} If $(x_1, \ldots, x_n) \not\subseteq \mathfrak{p}, \mathfrak{p}'$, we can choose a monomial in $x_1, \ldots, x_n$, call if $f$, such that $f \not\in \mathfrak{p}, \mathfrak{p}'$. Let $\mathfrak{q}$ be a minimal prime ideal over $(\mathfrak{p}, f)$ and $\mathfrak{q}'$ a minimal prime ideal over $(\mathfrak{p}', f)$.

I'm interested in whether $\mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q}'$. I suspect the answer is "not always," but can we choose $f$, $\mathfrak{q}$, and $\mathfrak{q}'$ such that equality holds?

Let $(R, M)$ be a local (Noetherian) ring containing the rationals with maximal ideal $M$. Then the formal power series ring $\mathbb{Q}[[x_1, \ldots, x_n]]$ naturally forms a subring of $R[[x_1, \ldots, x_n]]$. Let $\mathfrak{p}, \mathfrak{p}' \in \mathrm{Spec}\,R[[x_1, \ldots, x_n]]$ be such that $\mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p}' \neq (0)$. If $(x_1, \ldots, x_n) \not\subseteq \mathfrak{p}, \mathfrak{p}'$, we can choose a monomial in $x_1, \ldots, x_n$, call if $f$, such that $f \not\in \mathfrak{p}, \mathfrak{p}'$. Let $\mathfrak{q}$ be a minimal prime ideal over $(\mathfrak{p}, f)$ and $\mathfrak{q}'$ a minimal prime ideal over $(\mathfrak{p}', f)$.

I'm interested in whether $\mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q}'$. I suspect the answer is "not always," but can we choose $f$, $\mathfrak{q}$, and $\mathfrak{q}'$ such that equality holds?

Let $(R, M)$ be a local (Noetherian) ring containing the rationals with maximal ideal $M$. Then the formal power series ring $\mathbb{Q}[[x_1, \ldots, x_n]]$ naturally forms a subring of $R[[x_1, \ldots, x_n]]$. Let $\mathfrak{p}, \mathfrak{p}' \in \mathrm{Spec}\,R[[x_1, \ldots, x_n]]$ be such that \begin{equation} \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p}' \neq (0). \end{equation} If $(x_1, \ldots, x_n) \not\subseteq \mathfrak{p}, \mathfrak{p}'$, we can choose a monomial in $x_1, \ldots, x_n$, call if $f$, such that $f \not\in \mathfrak{p}, \mathfrak{p}'$. Let $\mathfrak{q}$ be a minimal prime ideal over $(\mathfrak{p}, f)$ and $\mathfrak{q}'$ a minimal prime ideal over $(\mathfrak{p}', f)$.

I'm interested in whether $\mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q}'$. I suspect the answer is "not always," but can we choose $f$, $\mathfrak{q}$, and $\mathfrak{q}'$ such that equality holds?

Source Link
anonomous_owl
anonomous_owl
  • 11
  • 3

Extending prime ideals that lie over the same prime ideal via monomials

Let $(R, M)$ be a local (Noetherian) ring containing the rationals with maximal ideal $M$. Then the formal power series ring $\mathbb{Q}[[x_1, \ldots, x_n]]$ naturally forms a subring of $R[[x_1, \ldots, x_n]]$. Let $\mathfrak{p}, \mathfrak{p}' \in \mathrm{Spec}\,R[[x_1, \ldots, x_n]]$ be such that $\mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{p}' \neq (0)$. If $(x_1, \ldots, x_n) \not\subseteq \mathfrak{p}, \mathfrak{p}'$, we can choose a monomial in $x_1, \ldots, x_n$, call if $f$, such that $f \not\in \mathfrak{p}, \mathfrak{p}'$. Let $\mathfrak{q}$ be a minimal prime ideal over $(\mathfrak{p}, f)$ and $\mathfrak{q}'$ a minimal prime ideal over $(\mathfrak{p}', f)$.

I'm interested in whether $\mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q} = \mathbb{Q}[[x_1, \ldots, x_n]] \cap \mathfrak{q}'$. I suspect the answer is "not always," but can we choose $f$, $\mathfrak{q}$, and $\mathfrak{q}'$ such that equality holds?