Related papers: Idealization of Ganster-Reilly decomposition theor…

On montre qu'une fonction holomorphe non-constante $f$ definie sur un sous-espace analytique de $\CC_p$ est injective si et seulement si on a $$ | \frac{f(x) - f(y)}{{x - y)} |^2 = |f'(x) f'(y)|,$$ pour tous $x$ et $y$ distincts. Cette…

In this paper, at first, we show that for a ramified regular local ring $S$, which is an Eisenstein extension of an unramified regular local ring $R$, when an ideal $I$ of $S$ is extended from an ideal $J$ of $R$, the punctured spectrum of…

We show that a real sequence $x$ is convergent if and only if there exist a regular matrix $A$ and an $F_{\sigma\delta}$-ideal $\mathcal{I}$ on $\mathbf{N}$ such that the set of subsequences $y$ of $x$ for which $Ay$ is…

We prove a general decomposition theorem for the modal $\mu$-calculus $L_\mu$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a structure (i.e., transition system) is composed of two…

Let $R$ be a commutative ring, $Y\subseteq \mathrm{Spec}(R)$ and $ h_Y(S)=\{P\in Y:S\subseteq P \}$, for every $S\subseteq R$. An ideal $I$ is said to be an $\mathcal{H}_Y$-ideal whenever it follows from $h_Y(a)\subseteq h_Y(b)$ and $a\in…

In 1982, J.E. Jayne and C.A. Rogers proved that a mapping $f \colon X \rightarrow Y$ of an absolute Souslin-F set X to a metric space Y is $\Delta^0_2$-measurable if and only if it is piecewise continuous. We now give a similar result for a…

Building on coprincipal mesoprimary decomposition [Kahle and Miller, 2014], we combinatorially construct an irreducible decomposition of any given binomial ideal. In a parallel manner, for congruences in commutative monoids we construct…

In 1895, Cantor showed that between every two countable dense real sets, there is an order isomorphism. In fact, there is always such an order isomorphism, which is the restriction of a universal entire function.

We ask for a given system of polynomials f_1,...,f_n and f over the complex numbers when there exist continuous functions q_1,...,q_n such that q_1 f_1+...+q_n f_n = f. This condition defines the continuous closure of an ideal. We give…

Efroymson's approximation theorem asserts that if $f$ is a $\mathcal{C}^0$ semialgebraic mapping on a $\mathcal{C}^\infty$ semialgebraic submanifold $M$ of $\mathbb{R}^n$ and if $\varepsilon:M\to \mathbb{R}$ is a positive continuous…

Let $\Lambda$ be a numerical semigroup and $I\subset \Lambda$ be an ideal of $\Lambda$. The graph $G_I(\Lambda)$ assigned to an ideal $I$ of $\Lambda$ is a graph with elements of $(\Lambda \setminus I)^*$ as vertices and any two vertices…

Let G be a locally compact group, and let U be its unitary representation on a Hilbert space H. Endow the space L(H) of linear bounded operators on H with weak operator topology. We prove that if U is a measurable map from G to L(H) then it…

A real function $f$ is ward continuous if $f$ preserves quasi-Cauchyness, i.e. $(f(x_{n}))$ is a quasi-Cauchy sequence whenever $(x_{n})$ is quasi-Cauchy; and a subset $E$ of $\textbf{R}$ is quasi-Cauchy compact if any sequence…

Let $I(G)$ be the edge ideal of a simple graph $G$ over a field k. We prove that $${\rm reg}(\overline {I(G)^s}) = {\rm reg}(I(G)^s),$$ for all $s \le 4$. Furthermore, we provide an example of a graph $G$ such that $${\rm reg} I(G)^s = {\rm…

Classical theorems from the early 20th century state that any Haar measurable homomorphism between locally compact groups is continuous. In particular, any Lebesgue-measurable homomorphism $\phi:\mathbb{R} \to \mathbb{R}$ is of the form…

In this paper, we will define $\mathcal{I}^{*}$-sequential topology on a topological space $(X,\tau)$ where $\mathcal{I}$ is an ideal of the subset of natural numbers $\mathbb{N}$. Besides the basic properties of the…

We consider the $3$-dimensional relativistic Vlasov-Maxwell system with data without compact support in momentum space. We prove two continuation criteria for solutions to this system. First, we show that a regular solution can be continued…

We give a short proof, that can be used in an introductory real analysis course, that if a function that is defined on the set of real numbers is continuous on a countable dense set, then it is continuous on an uncountable set. This is done…

Let $I$ be a monomial ideal of the polynomial ring $S=K[x_1,...,x_4]$ over a field $K$. Then $S/I$ is sequentially Cohen-Macaulay if and only if $S/I$ is pretty clean. In particular, if $S/I$ is sequentially Cohen-Macaulay then $I$ is a…

Let $G$ be a discrete group and let $\mathcal A$ and $\mathcal B$ be two subgroups of $G$-valued continuous functions defined on two $0$-dimensional compact spaces $X$ and $Y$. A group isomorphism $H$ defined between $\mathcal A$ and…