Related papers: Unboring ideals

It is known that for $X$ a nowhere locally compact metric space, the set of bounded continuous, nowhere locally uniformly continuous real-valued functions on $X$ contains a dense $G_\delta$ set in the space $C_b(X)$ of all bounded…

Let ${\rm Fin}(X)$ be the hyperspace consisting of non-empty finite subsets of a space $X$ endowed with the Vietoris topology. In this paper, we characterize a metrizable space $X$ whose hyperspace ${\rm Fin}(X)$ is homeomorphic to the…

\emph{Minkowski rings} are certain rings of simple functions on the Euclidean space $W = {\mathbb{R}}^d$ with multiplicative structure derived from Minkowski addition of convex polytopes. When the ring is (finitely) generated by a set…

Let $\I$ be an ideal on $\N$ which is either analytic or coanalytic. Assume that $(f_n)$ is a sequence of functions with the Baire property from a Polish space $X$ into a complete metric space $Z$, which is divergent on a comeager set. We…

A topological space $G$ is said to be a {\it rectifiable space} provided that there are a surjective homeomorphism $\phi :G\times G\rightarrow G\times G$ and an element $e\in G$ such that $\pi_{1}\circ \phi =\pi_{1}$ and for every $x\in G$…

A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems in the theory of functional spaces is the…

A topological space is defined to be banalytic (resp. analytic) if it is the image of a Polish space under a Borel (resp. continuous) map. A regular topological space is analytic if and only if it is banalytic and cosmic. Each (regular)…

We consider an homogeneous ideal $I$ in the polynomial ring $S=K[x_1,\dots,$ $x_m]$ over a finite field $K=\mathbb{F}_q$ and the finite set of projective rational points $\mathbb{X}$ that it defines in the projective space…

We prove that the statement `For all Borel ideals I and J on $\omega$, every isomorphism between Boolean algebras $P(\omega)/I$ and $P(\omega)/J$ has a continuous representation' is relatively consistent with ZFC. In this model every…

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…

Our focus in this paper is in effective computation of the core core(I) of an ideal I which is defined to be the intersection of all minimal reductions of I. The first main result is a closed formula for the graded core(m) of the maximal…

Let $\mathbb{K}$ be a field, $\mathcal{X}$ be an infinite set (of indeterminates), and $\mathcal{G}$ be a group acting on $\mathcal{X}$. An ideal in the polynomial ring $\mathbb{K}[\mathcal{X}]$ is called equivariant if it is invariant…

We study the complexity with respect to Borel reducibility of the relations of isometry and isometric embeddability between ultrametric Polish spaces for which a set $D$ of possible distances is fixed in advance. These are, respectively, an…

Let $\mathbb{K}$ be a finite commutative ring, and let $\mathbb{L}$ be a commutative $\mathbb{K}$-algebra. Let $A$ and $B$ be two $n \times n$-matrices over $\mathbb{L}$ that have the same characteristic polynomial. The main result of this…

A topological group $G$ is said to have a local $\omega^\omega$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set $\omega^\omega$. In particular, every metrizable group is such, but the class…

Topology, a well-established concept in mathematics, has nowadays become essential to describe condensed matter. At its core are chiral electron states on the bulk, surfaces and edges of the condensed matter systems, in which spin and…

The proper subgroup $B$ of the group $G$ is called {\it strongly embedded}, if $2\in\pi(B)$ and $2\notin\pi(B \cap B^g)$ for any element $g \in G \setminus B $ and, therefore, $ N_G(X) \leq B$ for any 2-subgroup $ X \leq B $. An element $a$…

We discuss principality of prime ideals of finite algebraic number fields $L=K(\theta)$ over an algebraic number field $K ([K:\mathbb{Q}]<\infty)$ defined by irreducible polynomials $f(x)\in \mathfrak{O}_{K}[x]$ and $f(\theta)=0$. Our main…

Let $G$ be a compact connected Lie group and let $\xi,\nu$ be complex vector bundles over the classifying space $BG$. The problem we consider is whether $\xi$ contains a subbundle which is isomorphic to $\nu$. The necessary condition is…

Suppose $\mathcal I$ and $\mathcal J$ are proper ideals on some set $X$. We say that $\mathcal I$ and $\mathcal J$ are incompatible if $\mathcal I \cup \mathcal J$ does not generate a proper ideal. Equivalently, $\mathcal I$ and $\mathcal…