Related papers: Ideal Analytic sets

We introduce a $\sigma$-ideal on $\omega_1 \times \omega_1$ and a filter on the collection of graphs of strictly decreasing partial functions on $\omega_1$ taking values in $\omega_1$. We use them to prove that a certain space is a…

We consider the ring of real analytic functions defined on $[0,1]$, i.e. $$C^{\omega}[0,1] =\lbrace f :[0,1] \longrightarrow \mathbb{R} | f \text{ is analytic on } [0,1]\rbrace$$ In this article, we explore the nature of ideals in this…

We show that the class of completely m-full ideals coincides with the class of componentwise linear ideals in a polynomial ring over an infinite field.

If $X$ is a compact Hausdorff space and $\sigma$ is a homeomorphism of $X$, then an involutive Banach algebra $\ell^1(\Sigma)$ of crossed product type is naturally associated with the topological dynamical system $\Sigma=(X,\sigma)$. We…

We obtain a complete description of closed ideals of the algebra $\mathcal{D}\cap \mathrm{lip}_\alpha},$ $0<\alpha\leq{1/2},$ where $\mathcal{D}$ is the Dirichlet space and $\mathrm{lip}_\alpha}$ is the algebra of analytic functions…

Let B1 denote the set {0,1} with the usual operations except that $1+1=1$, in other words, the smallest characteristic 1 semifield . We compare two possible analogues of the notion of prime ideal for B1--algebras. We then consider the…

Here we have introduced and studied the idea of $ Ig^*$-closed set with respect to an ideal and investigated some of its properties in Alexandroff spaces. We have also introduced $ Ig^*$-$T_0 $ axiom, $ Ig^*$-$T_1$ axiom, $ Ig^*$-$T_\omega…

This paper studies algebraic residual intersections in rings with Serre's condition \( S_{s} \). It demonstrates that residual intersections admit free approaches i.e. perfect subideal with the same radical. This fact leads to determining a…

The main result of this paper is that the isomorphism for omega-automatic trees of finite height is at least has hard as second-order arithmetic and therefore not analytical. This strengthens a recent result by Hjorth, Khoussainov,…

We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…

This article introduces patterns of ideals of numerical semigroups, thereby unifying previous definitions of patterns of numerical semigroups. Several results of general interest are proved. More precisely, this article presents results on…

We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cu$^\sim$. We show that the set of ideals of a Cu$^\sim$-semigroup has a complete lattice structure. In fact, we prove…

We resolve a conjecture about a class of binomial initial ideals of $I_{2,n}$, the ideal of the Grassmannian, Gr$(2,\mathbb{C}^n$), which are associated to phylogenetic trees. For a weight vector $\omega$ in the tropical Grassmannian,…

For an ideal $I$ of a Noetherian local ring $(R,\fm,k)$ we show that $\bt_1^R(I)-\bt_0^R(I)\geq -1$. It is demonstrated that some residual intersections of an ideal $I$ for which $\bt_1^R(I)-\bt_0^R(I)= -1\;\text{or}\;0$ are perfect. Some…

We consider $K$-semialgebras for a commutative semiring $K$ that are at the same time $\Sigma$-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over…

The main focus of this paper is on the problem of relating an ideal $I$ in the polynomial ring $\mathbb Q[x_1, \dots, x_n]$ to a corresponding ideal in $\mathbb F_p[x_1,\dots, x_n]$ where $p$ is a prime number; in other words, the…

In this paper, we investigate some topics around the closed image $S$ of a rational map $\lambda$ given by some homogeneous elements $f_1,...,f_n$ of the same degree in a graded algebra $A$. We first compute the degree of this closed image…

A family I of subsets of a set X is an ideal on X if it is closed under taking subsets and finite unions of its elements. An ideal I on X is below an ideal J on Y in the Katetov order if there is a function $f:Y\to X$ such that…

Tree sets are abstract structures that can be used to model various tree-shaped objects in combinatorics. Finite tree sets can be represented by finite graph-theoretical trees. We extend this representation theory to infinite tree sets.…

For a graph G, we construct two algebras, whose dimensions are both equal to the number of spanning trees of G. One of these algebras is the quotient of the polynomial ring modulo certain monomial ideal, while the other is the quotient of…