Related papers: Common properties of some function rings on a topo…

Let $ f_i: X \rightarrow {\bf C}$, for $i$ integer between $ 1$ and $ p $, be analytic functions defined on a complex analytic variety $X$. Let us consider $ {\cal D}_X $ the ring of linear differential operators and $ {\cal D}_X [s_1,…

Assume that $\mathcal{P}$ is a topological property of a space $X$, then we say that $X$ is {\it dense-$\mathcal{P}$} if each dense subset of $X$ has the property $\mathcal{P}$. In this paper, we mainly discuss dense subsets of a space $X$,…

For a Tychonoff space $X$, $B_1(X)$ denotes the space of all Baire-one functions on $X$ endowed with the pointwise topology. We prove that the following assertions are equivalent: (1) $B_1(X)$ is a (semi-)Montel space, (2) $B_1(X)$ is a…

Let $D$ be a convex subset of a real vector space. It is shown that a radially lower semicontinuous function $f: D\to \mathbf{R}\cup \{+\infty\}$ is convex if and only if for all $x,y \in D$ there exists $\alpha=\alpha(x,y) \in (0,1)$ such…

Let $f:A \rightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we study the amalgamation of $A$ with $B$ along $J$ with respect to $f$, a construction that provides a general frame for studying the amalgamated…

A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. Let $C_p(X,[0,1])$ denote the space of all continuous $[0,1]$-valued functions on a Tychonoff space $X$ with the topology of…

Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…

We extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2)…

A ring $A$ is called Hopfian if $A$ cannot be isomorphic to a proper homomorphic image $A/J$. $A$ is called Bassian if there cannot be an injection of $A$ into a proper homomorphic image $A/J$. We consider classes of Hopfian and Bassian…

In this paper, we study rings having the property that every right ideal is automorphism-invariant. Such rings are called right $a$-rings. It is shown that (1) a right $a$-ring is a direct sum of a square-full semisimple artinian ring and a…

Let $D$ be a domain and $M$ a maximal ideal of $D$. The ring of integer-valued polynomials on a subset $E$ of $D$, as well as more general rings of functions from $E$ to $D$, can be viewed as subrings of the product $D^E=\prod_{e\in E}D$.…

For a topological space $X$ we propose to call a subset $S \subset X$ "free in $X$" if it admits a well-ordering that turns it into a free sequence in $X$. The well-known cardinal function $F(X)$ is then definable as $\sup\{|S| : S \text{…

It is shown that if $R$ is a ring, $p$ a prime element of an integral domain $D\leq R$ with $\bigcap_{n=1}^\infty p^nD=0$ and $p\in U(R)$, then $R$ has a conch maximal subring (see \cite{faith}). We prove that either a ring $R$ has a conch…

We consider the Banach space consisting of continuous functions from an arbitrary uncountable compact metric space, $X$, into $\mathbb{R}^n$. The key question is `what is the generic dimension of $f(X)$?' and we consider two different…

In this paper we show that if $(X,\mathcal{A})$ is a measurable space and if $Y$ is a topological model of a Lawvere theory $\mathcal{T}$ equipped with $\mathcal{B}$ the Borel $\sigma$-algebra on $Y$, then the set of…

Let $X$ be a zero-dimensional space and $C_c(X)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K(X)$ (resp., $C_{c}^{\psi}(X)$) the set of all functions in $C_c(X)$ with…

Let $R$ be a commutative ring with nonzero identity. Let $\mathcal{I}(R)$ be the set of all ideals of $R$ and let $\delta : \mathcal{I}(R)\longrightarrow \mathcal{I}(R)$ be a function. Then $\delta$ is called an expansion function of ideals…

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called (1) $\mathcal C$-$closed$ if $X$ is closed in every topological semigroup $Y\in\mathcal C$ containing $X$ as a discrete subsemigroup, (2) $ideally$ $\mathcal…

Let $S$ be an integral domain with field of fractions $F$ and let $A$ be an $F$-algebra having an $S$-stable basis. We prove the existence of an $S$-subalgebra $R$ of $A$ lying over $S$ whose localization with respect to $S$ is $A$ (we call…

Let $(A,\mathfrak{m})$ be a complete Cohen-Macaulay local ring. Assume $A$ is not Gorenstein. We say $A$ is a Teter ring if there exists a complete Gorenstein ring $(B,\mathfrak{n})$ with $\dim B = \dim A$ and a surjective map $B…