We consider analogies between the logically independent properties of strong going-between (SGB) and going-down (GD), as well as analogies between the universalizations of these properties. Transfer results are obtained for the (universally) SGB property relative to pullbacks and Nagata ring constructions. It is shown that if $A\subseteq B$ are domains such that $A$ is an LFD universally going-down domain and $B$ is algebraic over $A$, then the inclusion map $A[X_1,\cdots ,X_n]\hookrightarrow B[X_1,\cdots ,X_n]$ satisfies GB for each $n\ge 0$. However, for any nonzero ring...

A ring extension $R\subseteq S$ is said to be strongly affine if each $R$-subalgebra of $S$ is a finite-type $R$-algebra. In this paper, several characterizations of strongly affine extensions are given. For instance, we establish that if $R$ is a quasi-local ring of finite dimension, then $R\subseteq S$ is integrally closed and strongly affine if and only if $R\subseteq S$ is a Prüfer extension (i.e. $(R,S)$ is a normal pair). As a consequence, the equivalence of strongly affine extensions, quasi-Prüfer extensions and INC-pairs is shown. Let $G$ be...

For a symmetric (= invariant under the action of a compact Lie group G) semialgebraic basic set C, described by s polynomial inequalities, we show, that C can also be written by s + 1 G-invariant polynomials. We also describe orbit spaces for the action of G by a number of inequalities only depending on the structure of G.

Let d be a k-derivation of k[x,y], where k is a field of characteristic zero. Denote by $\tilde{d}$ the unique extension of d to k(x,y). We prove that if ker d ≠ k, then ker $\tilde{d}$ = (ker d)0, where (ker d)0 is the field of fractions of ker d.

Let $R$ be a commutative ring with an identity different from zero and $n$ be a positive integer. Anderson and Badawi, in their paper on $n$-absorbing ideals, define a proper ideal $I$ of a commutative ring $R$ to be an $n$-absorbing ideal of $R$, if whenever $x_1\cdots x_{n+1}\in I$ for $x_1,...,x_{n+1}\in R$, then there are $n$ of the $x_i$’s whose product is in $I$ and conjecture that ${\omega }_{R\left[X\right]}\left(I\left[X\right]\right)={\omega }_R\left(I\right)$ for any ideal $I$ of an arbitrary ring $R$, where ${\omega }_R\left(I\right)=min\{n:I\text{is}\text{an}n\text{-absorbing}\text{ideal}\text{of}R\}$. In the present paper, we use content formula techniques to prove that their conjecture is true, if one of the following conditions...

We give a simplified approach to the Abhyankar-Moh theory of approximate roots. Our considerations are based on properties of the intersection multiplicity of local curves.

Let ℕ represent the positive integers and ℕ₀ the non-negative integers. If b ∈ ℕ and Γ is a multiplicatively closed subset of ${\mathbb{Z}}_b=\mathbb{Z}/b\mathbb{Z}$, then the set $H_{\Gamma }=x\in \mathbb{N}|x+b\mathbb{Z}\in \Gamma \cup 1$ is a multiplicative submonoid of ℕ known as a congruence monoid. An arithmetical congruence monoid (or ACM) is a congruence monoid where Γ = ā consists of a single element. If $H_{\Gamma }$ is an ACM, then we represent it with the notation M(a,b) = (a + bℕ₀) ∪ 1, where a, b ∈ ℕ and a² ≡ a (mod b). A classical 1954 result of James and Niven implies that the only ACM...