Kronecker function ring of a ring extension in pullback
"Let \(R\subseteq S\) and \(L\subseteq T\) be ring extensions, and consider the commutative diagram:\N\[\N\begin{tikzcd}\NR \arrow[r] \arrow[d, ""\alpha""'] & S \arrow[d, ""\Psi""] \\\NL \arrow[r] & T\N\end{tikzcd}\N\]\Nwith the following properties:\N\begin{itemize}\N\item[(a)] \(\ker\psi\) is an ideal of \(R\);\N\item[(b)] \(\psi: S\to T\) is surjective;\N\item[(c)] The restriction \(\alpha : R \to L\) of \(\psi\) is also surjective;\N\item[(d)] The horizontal arrows are inclusions.\N\end{itemize}\NIf \(\ker\psi\) is a maximal ideal of \(S\), we call the above diagram a \textbf{pullback diagram of type} \(\Box\). A \textbf{star operation} on \(R \subseteq S\) is a map\N\[\N\star : \mathfrak{J}(R, S) \to \mathfrak{J}(R, S),\N\]\Nwhere \(\mathfrak{J}(R, S)\) is the set of all \(R\)-submodules of \(S\), satisfying the following for all \(A, B \in \mathfrak{J}(R, S)\):\N\begin{itemize}\N\item[(1)] \(A \subseteq A^\star\) and \((A^\star)^\star = A^\star\);\N\item[(2)] \(A B^\star \subseteq (AB)^\star\), and if \(A \subseteq B\), then \(A^\star \subseteq B^\star\).\N\end{itemize}\NFurthermore, a star operation \(\star\) on \(R\subseteq S\) is said to be \textbf{e.a.b.} if the following condition holds: for any finitely generated \(R\)-submodules \(A,B,C\) of \(S\) such that \(AS=S\), whenever \((AB)^\star\subseteq (AC)^\star\), it follows that \(B^\star\subseteq C^\star\).\N\NThe classical Kronecker function ring has been generalized to the Kronecker function ring of a ring extension \(R \subseteq S\) with respect to a star operation. More recently, the construction has been extended to pullback diagrams of type \(\Box\) for Prüfer extensions \(R\subseteq S\). In general, for a Prüfer extension \(R\subseteq S\), the associated star operation \(\star\) is an e.a.b. star operation.\N\NThis article studies Kronecker function rings for ring extensions arising from pullback diagrams of type \(\Box\), generalizing prior results on Prüfer extensions to the broader context of e.a.b. star operations. It provides a more general result describing the relation between commutative diagrams and Kronecker function rings, without assuming that \(R\subseteq S\) is Prüfer extension. For instance, let \(X\) be an indeterminate over \(S\). For any \(g\in S[X]\), and any ring \(A\) with \(R\subseteq A\subseteq S\), denote by \(c_A(g)\) the \(A\)-submodule of \(S\) generated by the coefficients of \(g\). Let \(Kr(\star)\) be the set of all quotients \(\frac{f}{g}\in S(X)\), where \(f,g\in S[X], c_S(g)= S\), and for some finitely generated \(S\)-regular \(R\)-submodule \(H\) of \(S, (c_R(f)H)^\star\subseteq (c_R(g)H)^{\star}\). The ring \(Kr(\star)\) is called the \textbf{Kronecker function ring of \(R\subseteq S\) with respect to \(\star\)}.\NThe article proves the following result:\N\NLet \(\star'\) be an e.a.b. star operation on \(R/I\subseteq S/I\), and let \(\star\) be the corresponding e.a.b. star operation on \(R\subseteq S\) defined by\N\[\NA^\star=\Psi^{-1}\left(\Psi(A)^{\star'}\right)\N\]\Nfor each \(A\in \mathfrak{F}(R,S)\). If \(I\subseteq \mathrm{Jac}(R)\) or \(I\subseteq \mathrm{Jac}(S)\), then the\Ndiagram\N\[\N\begin{tikzcd}\NKr(*) \arrow[r, ""i_1""] \arrow[d, ""\overline{\alpha}""'] & S(X) \arrow[d, ""\overline{\Psi}""] \\\NKr(*') \arrow[r, ""i_2""] & (S/I)(X)\N\end{tikzcd}\N\]\Nis a pullback diagram of type \(\Box\); in particular, \N\[\NKr(\star)\cong Kr(\star')\times_{(S/I)(X)}S(X).\N\]"
This page was built for publication: Kronecker function ring of a ring extension in pullback
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6992757)
