Related papers: Strolling through Paradise

Consider ideals $I$ of the form \[ I=(x_1^2,\dots, x_n^2)+\mathrm{RLex}(x_ix_j) \] where $\mathrm{RLex}(x_ix_j)$ is the ideal generated by all the square-free monomials which are greater than or equal to $x_ix_j$ in the reverse…

An ideal I of a commutative ring R is said to be irreducible if it cannot be written as the intersection of two larger ideals. A proper ideal I of a ring R is said to be strongly irreducible if for each ideals J, K of R, J\cap K\subseteq I…

We study an extensive connection between factor forcings of Borel subsets of Polish spaces modulo a sigma-ideal, and factor forcings of subsets of countable sets modulo an ideal.

Tropical ideals are a class of ideals in the tropical polynomial semiring that combinatorially abstracts the possible collections of supports of all polynomials in an ideal over a field. We study zero-dimensional tropical ideals I with…

In classical and real algebraic geometry there are several notions of the radical of an ideal I. There is the vanishing radical defined as the set of all real polynomials vanishing on the real zero set of I, and the real radical defined as…

This paper continues the investigation of the three square-bracket operations $[\cdot\cdot]$ from chapter 5 of \cite{Walks}. \ We say that a square-bracket operation $[\cdot\cdot]$ has the \emph{Ramsey club property} if for every club…

Let $G$ be a finite group. Let $K/k$ be a Galois extension of number fields with Galois group isomorphic to $G$, and let $C \subseteq \mathrm{Gal}(K/k) \simeq G$ be a conjugacy invariant subset. It is well known that there exists an…

We study the linkage classes of homogeneous ideals in polynomial rings. An ideal is said to be homogeneously licci if it can be linked to a complete intersection using only homogeneous regular sequences at each step. We ask a natural…

Given a tree T on n vertices, there is an associated ideal I of a polynomial ring in n variables over a field, generated by all paths of a fixed length of T. We show that such an ideal always satisfies the Konig property and classify all…

Let I be a complete m-primary ideal of a regular local ring (R,m). In the case where R has dimension two, the beautiful theory developed by Zariski implies that I factors uniquely as a product of powers of simple complete ideals and each of…

There is interesting internal structure in the nullspaces of graph and hypergraph adjacency matrices, especially for trees, bipartite graphs, and related combinatorial classes. The zero loci of nullvectors, i.e., their zero coordinates'…

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…

We extend two well-known results on primitive ideals in enveloping algebras of semisimple Lie algebras, the `Irreducibility theorem' and `Duflo theorem', to much wider classes of algebras. Our general version of Irreducibility theorem says…

Let $I\subset R=K[x_1, \ldots, x_n]$ be a square-free monomial ideal, $\mathfrak{q}$ be a prime monomial ideal in $R$, $h$ be a square-free monomial in $R$ with $\mathrm{supp}(h) \cap (\mathrm{supp}(\mathfrak{q}) \cup…

Let $\Delta$ be a pure simplicial complex and $I_\Delta$ its Stanley-Reisner ideal in a polynomial ring $S$. We show that $\Delta$ is a matroid (complete intersection) if and only if $S/I_\Delta^{(m)}$ ($S/I_\Delta^m$) is clean for all…

Let $I$ be a monomial ideal in the polynomial ring $S$ generated by elements of degree at most $d$. In this paper, it is shown that, if the $i$-th syzygy of $I$ has no element of degrees $j, \ldots, j+(d-1)$ (where $j \geq i+d$), then…

A famous result due to I. M. Isaacs states that if a commutative ring $R$ has the property that every prime ideal is principal, then every ideal of $R$ is principal. This motivates ring theorists to study commutative rings for which every…

Let $\mathcal{N}$ be the $\sigma$-ideal of the null sets of reals. We introduce a new property of forcing notions that enable control of the additivity of $\mathcal{N}$ after finite support iterations. This is applied to answer some open…

A family $\mathcal{A} \subseteq [\omega]^\omega$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal A$ and $A \in \mathcal{A} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i \in n} X_i$ is infinite, is said to be…

\noindent Let $I$ be an ideal of the ring of formal power series $\bK[[x,y]]$ with coefficients in an algebraically closed field $\bK$ of arbitrary characteristic. Let $\Phi$ denote the set of all parametrizations…