Related papers: Characterizations of the Ideal Core
Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$ and $I\subset S$ be a squarefree monomial ideal generated in degree $n-2$. Motivated by the remarkable behavior of the powers of $I$ when $I$ admits a linear resolution, as…
We continue the study of ideal convergence for sequences $(x_n)$ with values in a topological space $X$ with respect to a family $\{F_\eta:\eta\in X\}$ of subsets of $X$ with $\eta\in F_\eta$, where each $F_\eta$ measures the allowed…
In this paper, the core convex topology on a real vector space $X$, which is constructed just by $X$ operators, is investigated. This topology, denoted by $\tau_c$, is the strongest topology which makes $X$ into a locally convex space. It…
We define a class of so-called thinnable ideals $\mathcal{I}$ on the positive integers which includes several well-known examples, e.g., the collection of sets with zero asymptotic density, sets with zero logarithmic density, and several…
An ideal is a nonempty collection of subsets closed under heredity and finite additivity. The aim of this paper is to unify some weak separation properties via topological ideals. We concentrate our attention on the separation axioms…
The core of an ideal is the intersection of all of its reductions. The core has geometric significance coming, for example, from its connection to adjoint and multiplier ideals. In general, though, the core is difficult to describe…
Let $X$ be an uncountable Polish space and let $\mathcal{I}$ be an ideal on $\omega$. A point $\eta \in X$ is an $\mathcal{I}$-limit point of a sequence $(x_n)$ taking values in $X$ if there exists a subsequence $(x_{k_n})$ convergent to…
Let $\mathcal{I}$ be a meager ideal on $\mathbf{N}$. We show that if $x$ is a sequence with values in a separable metric space then the set of subsequences [resp. permutations] of $x$ which preserve the set of $\mathcal{I}$-cluster points…
Let $R$ be a reduced affine $\mathbb C$-algebra, with corresponding affine algebraic set $X$. Let $\mathcal C(X)$ be the ring of continuous (Euclidean topology) $\mathbb C$-valued functions on $X$. Brenner defined the \emph{continuous…
We say that an ideal I is homogeneous, if its restriction to any I-positive subset is isomorphic to I. The paper investigates basic properties of this notion -- we give examples of homogeneous ideals and present some applications to…
Let $I_G$ be the binomial edge ideal on the generic 2 x n - Hankel matrix associated with a closed graph $G$ on the vertex set [n]. We characterize the graphs $G$ for which $I_G$ has maximal regularity and is Gorenstein.
According to Cartan, given an ideal $\mathcal I$ of $\mathbb N$, a sequence $(x_n)_{n\in\mathbb N}$ in the circle group $\mathbb T$ is said to {\em $\mathcal I$-converge} to a point $x\in \mathbb T$ if $\{n\in \mathbb N: x_n \not \in U\}\in…
Let $X=\{x_i\}_{i=1}^m$ be a set of unit vectors in $\RR^n$. The coherence of $X$ is $\coh(X):=\max_{i\not=j}|\langle x_i, x_j\rangle|$. A vector $x\in X$ is said to be isolable if there are no unit vectors $x'$ arbitrarily close to $x$…
Let C be a clutter and let A be its incidence matrix. If the linear system x>=0;xA<=1 has the integer rounding property, we give a description of the canonical module and the a-invariant of certain normal subrings associated to C. If the…
The classical definitions of the Incipient Infinite Cluster (IIC) of percolation consist in conditioning the origin on being connected to radius $n$ and letting $n$ go to infinity. We provide a short proof of that convergence in the planar…
A retract of a graph $\Gamma$ is an induced subgraph $\Psi$ of $\Gamma$ such that there exists a homomorphism from $\Gamma$ to $\Psi$ whose restriction to $\Psi$ is the identity map. A graph is a core if it has no nontrivial retracts. In…
A relational structure is a core, if all its endomorphisms are embeddings. This notion is important for computational complexity classification of constraint satisfaction problems. It is a fundamental fact that every finite structure has a…
An ideal $I$ is a family of subsets of positive integers $\textbf{N}$ which is closed under taking finite unions and subsets of its elements. A sequence $(x_n)$ of real numbers is said to be $I$-convergent to a real number $L$, if for each…
We show that every integrally closed $\mathfrak{m}$-primary ideal $I$ in a commutative Noetherian local ring $(R,\mathfrak{m},k)$ has maximal complexity and curvature, i.e., $ {\rm cx}_R(I) = {\rm cx}_R(k) $ and $ {\rm curv}_R(I) = {\rm…
In this paper we have shown that a double sequence in a topological space satisfies certain conditions which in turn are capable to generate a topology on a non empty set. Also we have used the idea of I-convergence of double sequences to…