Related papers: Core equality of real sequences

Given an ideal $\mathcal{I}$ on $\omega$ and a sequence $x$ in a topological vector space, we let the $\mathcal{I}$-core of $x$ be the least closed convex set containing $\{x_n: n \notin I\}$ for all $I \in \mathcal{I}$. We show two…

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…

We study minimal reductions of edge ideals of graphs and determine restrictions on the coefficients of the generators of these minimal reductions. We prove that when $I$ is not basic, then $\core{I}\subset \m I$, where $I$ is an edge ideal…

The core of an ideal is defined as the intersection of all of its reductions. In this paper we provide an explicit description for the core of a monomial ideal $I$ satisfying certain residual conditions, showing that ${\rm core}(I)$…

We show that an ideal $\mathcal{I}$ on the positive integers is meager if and only if there exists a bounded nonconvergent real sequence $x$ such that the set of subsequences [resp. permutations] of $x$ which preserve the set of…

D. Rees and J. Sally defined the core of an $R$-ideal $I$ as the intersection of all $($minimal$)$ reductions of $I$. However, it is not easy to give an explicit characterization of it in terms of data attached to the ideal. Until recently,…

The core of an $R$-ideal $I$ is the intersection of all reductions of $I$. This object was introduced by D. Rees and J. Sally and later studied by C. Huneke and I. Swanson, who showed in particular its connection to J. Lipman's notion of…

We show several new inequalities found recently that the basic sequence of the saturated homogeneous ideal I of an integral curve in P^3 must satisfy. Then we compare our results with Cook's assertions on the generic initial ideal of I,…

G. Debs and J. Saint Raymond in 2009 defined the Borel separation rank of an analytic ideal $\mathcal{I}$ ($\text{rk}(\mathcal{I})$) as minimal ordinal $\alpha<\omega_{1}$ such that there is $\mathcal{S}\in\bf{\Sigma^0_{1+\alpha}}$ with…

Let $\mathscr{X}$ be the set of positive real sequences $x=(x_n)$ such that the series $\sum_n x_n$ is divergent. For each $x \in \mathscr{X}$, let $\mathcal{I}_x$ be the collection of all $A\subseteq \mathbf{N}$ such that the subseries…

Let $\mathcal{I}$ be an ideal on $\omega$ and $X$ be a topological space. A sequence $(x_n)_{n\in \omega}$ in $X$ is $\mathcal{I}$-convergent if there is $x\in X$ such that $\{n\in \omega:x_n\notin U\}\in\mathcal{I}$ for every open…

Let $I$ be a monomial ideal in a polynomial ring $A=K[x_1,...,x_n]$. We call a monomial ideal $J$ to be a minimal monomial reduction ideal of $I$ if there exists no proper monomial ideal $L \subset J$ such that $L$ is a reduction ideal of…

Let $R$ be a local Gorenstein ring with infinite residue field of arbitrary characteristic. Let $I$ be an $R$--ideal with $g=\height I >0$, analytic spread $\ell$, and let $J$ be a minimal reduction of $I$. We further assume that $I$…

The core of an ideal is the intersection of all its reductions. We describe the core of a zero-dimensional monomial ideal I as the largest monomial ideal contained in a general reduction of I. This provides a new interpretation of the core…

We expand the notion of core to $cl$-core for Nakayama closures $cl$. In the characteristic $p>0$ setting, when $cl$ is the tight closure, denoted by *, we give some examples of ideals when the core and the *-core differ. We note that…

Given a graded ring $A$ and a homogeneous ideal $I$, the ideal is said to be of linear type if the Rees algebra of $I$ is isomorphic to the symmetric algebra of $I$. In general, $y$-regularity of Rees algebra of $I$ is $0 \Rightarrow$ $I$…

The core of an ideal is the intersection of all its reductions. For large classes of ideals I we explicitly describe the core as a colon ideal of a power of a single reduction and a power of I.

Let $\mathscr{F}=(F_n)$ be a sequence of nonempty finite subsets of $\omega$ such that $\lim_n |F_n|=\infty$ and define the ideal $$\mathcal{I}(\mathscr{F}):=\left\{A\subseteq \omega: |A\cap F_n|/|F_n|\to 0~\mbox{as}~n\to \infty \right\}.$$…

Let $\mathcal{I},\mathcal{J}$ be two ideals on $\mathbf{N}$ which contain the family $\mathrm{Fin}$ of finite sets. We provide necessary and sufficient conditions on the entries of an infinite real matrix $A=(a_{n,k})$ which maps…

We investigate the minimal number of generators $\mu$ and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the…