Related papers: Countable strongly annihilated ideals in commutati…
We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…
In this paper we examine the commutativity of ideal extensions. We introduce methods of constructing such extensions, in particular we construct a noncommutative ring T which contains a central and idempotent ideal I such that T/I is a…
A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel…
A topological space $X$ is $strongly$ $rigid$ if each non-constant continuous map $f:X\to X$ is the identity map of $X$. A Hausdorff topological space $X$ is called $Brown$ if for any nonempty open sets $U,V\subseteq X$ the intersection…
Let $R$ be a commutative $G$-graded ring with a nonzero unity. In this article, we introduce the concept of graded radically principal ideals. A graded ideal $I$ of $R$ is said to be graded radically principal if $Grad(I)=Grad(\langle…
Given a countable Turing ideal $\mathcal{I} \subseteq \omega^{\omega}$, we say that $x$ is a list (resp. weak list) of $\mathcal{I}$ if $\mathcal{I}=\{x^{[n]} : n \in \omega\}$ (resp. if $\mathcal{I} \subseteq \{x^{[n]} :n \in \omega\}$).…
We determine the metric dimension of the annihilating-ideal graph of a local finite commutative principal ring and a finite commutative principal ring with two maximal ideals. We also find the bounds for the metric dimension of the…
Let $R$ be a commutative ring with identity. The co-maximal ideal graph of $R$, denoted by $\Gamma(R)$, is a simple graph whose vertices are proper ideals of $R$ which are not contained in the Jacobson radical of $R$ and two distinct…
We prove that in the Miller model, every $M$-separable space of the form $C_p(X)$, where $X$ is metrizable and separable, is productively $M$-separable, i.e., $C_p(X)\times Y$ is $M$-separable for every countable $M$-separable $Y$.
In this paper, constructing a class of ideals of $B_1(X)$ from proper ideals of $C(X)$ a one-one correspondence between the class of real maximal ideals of $C(X)$ and those of $B_1(X)$ is established. The collection of all real maximal…
It is well known that the only proper non-trivial norm-closed ideal in the algebra L(X) for X=\ell_p (1 \le p < \infty) or X=c_0 is the ideal of compact operators. The next natural question is to describe all closed ideals of…
Let R be a commutative ring. If P is a maximal ideal of R whose a power is finitely generated then we prove that P is finitely generated if R is either locally coherent or arithmetical or a polynomial ring over a ring of global dimension…
We study the ideal structure of reduced crossed product of topological dynamical systems of a countable discrete group. More concretely, for a compact Hausdorff space $X$ with an action of a countable discrete group $\Gamma$, we consider…
Given a property $P$ of subspaces of a $T_1$ space $X$, we say that $X$ is {\em $P$-bounded} iff every subspace of $X$ with property $P$ has compact closure in $X$. Here we study $P$-bounded spaces for the properties $P \in \{\omega D,…
Let $m,n$ be positive integers. Suppose that $G$ is a residually finite group in which for every element $x \in G$ there exists a positive integer $q=q(x) \leqslant m$ such that $x^q$ is $n$-Engel. We show that $G$ is locally virtually…
Let $R$ be a commutative ring with identity and $\Bbb A (R)$ be the set of ideals of $R$ with non-zero annihilator. The annihilator-ideal graph of $R$, denoted by $A_{I} (R) $, is a simple graph with the vertex set $\Bbb A(R)^{\ast} := \Bbb…
Let $(R,\frak m)$ be a commutative noetherian local ring. In this paper, we prove that if $\frak m$ is decomposable, then for any finitely generated $R$-module $M$ of infinite projective dimension $\frak m$ is a direct summand of (a direct…
The ring of periodic distributions on ${\mathbb{R}}^{\tt d}$ with usual addition and with convolution is considered. Via Fourier series expansions, this ring is isomorphic to the ring ${\mathcal{S}}'({\mathbb{Z}}^{\tt d})$ of all maps…
Let $X$ be a closed subscheme embedded in a scheme $W$ smooth over a field ${\bf k}$ of characteristic zero, and let ${\mathcal I}(X)$ be the sheaf of ideals defining $X$. Assume that the set of regular points of $X$ is dense in $X$. We…
Let $R$ be a commutative ring with unity. The co-maximal ideal graph of $R$, denoted by $\Gamma(R)$, is a graph whose vertices are the proper ideals of $R$ which are not contained in the Jacobson radical of $R$, and two vertices $I_1$ and…