Related papers: Ideal Containments under Flat Extensions

We construct a (shellable) polyhedral cell complex that supports a minimal free resolution of a Borel fixed ideal, which is minimally generated (in the Borel sense) by just one monomial in S=k[x_1,x_2,...,x_n]; this includes the case of…

Let $R$ be a noetherian commutative ring. Of great interest is the question whether one can find an explicit integer $k$ such that $\overline{I^{k+n}}\subseteq I^n$ for each ideal $I$ and each integer $n\geq 1$ (the notation…

We consider ideals $I$ in a Stanley-Reisner ring $k[\Delta]$ over the simplical complex $\Delta$, such that the tight closure of $I$, $I^*$, is equal to $\mathfrak{m}$, the standard graded maximal ideal of $k[\Delta]$. We determine the…

Let $B \subseteq A$ be an inclusion of C$^*$-algebras. We study the relationship between the regular ideals of $B$ and regular ideals of $A$. We show that if $B \subseteq A$ is a regular C$^*$-inclusion and there is a faithful invariant…

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…

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…

One point compactification is studied in the light of ideal of subsets of $\mathbb{N}$. $\mathcal{I}$-proper map is introduced and showed that a continuous map can be extended continuously to the one point $\mathcal{I}$-compactification if…

Star configurations are certain unions of linear subspaces of projective space that have been studied extensively. We develop a framework for studying a substantial generalization, which we call matroid configurations, whose ideals…

Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and let $I \subset S$ be a monomial ideal. For a vector $\mathfrak{c}\in\mathbb{N}^n$, we set $I_{\mathfrak{c}}$ to be the ideal generated by monomials…

Let $\ast $ be a star operation of finite character. Call a $\ast $-ideal $I$ of finite type a $\ast $-homogeneous ideal if $I$ is contained in a unique maximal $\ast $-ideal $M=M(I).$ A maximal $\ast $-ideal that contains a $\ast…

Let $I$ be a monomial ideal $I$ in a polynomial ring $R = k[x_1,...,x_r]$. In this paper we give an upper bound on $\overline{\dstab} (I)$ in terms of $r$ and the maximal generating degree $d(I)$ of $I$ such that $\depth R/\overline{I^n}$…

In general relativity, an IDEAL (Intrinsic, Deductive, Explicit, ALgorithmic) characterization of a reference spacetime metric $g_0$ consists of a set of tensorial equations $T[g]=0$, constructed covariantly out of the metric $g$, its…

Given an homogeneous monomial ideal $I$, we provide a question- and example-based investigation of the stabilization patterns of the Betti tables shapes of $I^d$ as we vary $d$. We build off Whieldon's definition of the stabilization index…

For commutative rings with identity, we introduce and study the concept of semi $r$-ideals which is a kind of generalization of both $r$-ideals and semiprime ideals. A proper ideal $I$ of a commutative ring $R$ is called semi $r$-ideal if…

For a given ideal I in K[x_1,...,x_n,y_1,...,y_m] in a polynomial ring with n+m variables, we want to find all elements that can be written as f-g for some f in K[x_1,...,x_n] and some g in K[y_1,...,y_m], i.e., all elements of I that…

A minor is principal means it is defined by the same row and column indices. Let $X$ be a square generic matrix, $K[X]$ the polynomial ring in entries of $X$, over an algebraically closed field, $K$. For fixed $t\leq n$, let $\mathfrak P_t$…

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\}.$$…

We investigate the relationship between ideal membership of an operator and its pieces relative to several canonical types of partitions of the entries of its matrix representation with respect to a given orthonormal basis. Our main…

In this paper we introduce the notion of I-convergence of sequences of k-dimensional subspaces of an inner product space, where I is an ideal of subsets of N, the set of all natural numbers and k in N. We also study some basic properties of…