Related papers: On the non primality of certain symmetric ideals

Let $R=\mathbf{C}[\xi_1,\xi_2,\ldots]$ be the infinite variable polynomial ring, equipped with the natural action of the infinite symmetric group $\mathfrak{S}$. We classify the $\mathfrak{S}$-primes of $R$, determine the containments among…

Cohen proved that the infinite variable polynomial ring $R=k[x_1,x_2,\ldots]$ is noetherian with respect to the action of the infinite symmetric group $\mathfrak{S}$. The first two authors began a program to understand the…

Let $K$ be a field and let $\mathbb N = \{1,2, \dots \}$. Let $R_n=K[x_{ij} \mid 1\le i\le n, j\in \mathbb N]$ be the ring of polynomials in $x_{ij}$ $(1 \le i \le n, j \in \mathbb N)$ over $K$. Let $S_n = Sym (\{1,2, \ldots, n \})$ and…

In this article, we define the concept of an $S$-$k$-irreducible ideal and $S$-$k$-maximal ideal in a commutative semiring. We also establish several results concerning $S$-$k$-primary ideals and prove the existence theorem and the…

In this paper, new algebraic and topological results on purely-prime ideals of a commutative ring (pure spectrum) are obtained. Especially, Grothendieck type theorem is obtained which states that there is a canonical correspondence between…

We investigate the structure and properties of symmetric ideals generated by general forms in the polynomial ring under the natural action of the symmetric group. This work significantly broadens the framework established in our earlier…

Using recent work by Erman-Sam-Snowden, we show that finitely generated ideals in the ring of bounded-degree formal power series in infinitely many variables have finitely generated Gr\"obner bases relative to the graded reverse…

We study the ring generated over a field of characteristic 0 by noncommuting indeterminates {x_1,x_2,...,x_n} subject only to the relations x_i\sigma_k=\sigma_k x_i, for i,k=1,2,...,n, and their consequences, where \sigma_k…

Let $R$ be a polynomial ring in $N$ variables over an arbitrary field $K$ and let $I$ be an ideal of $R$ generated by $n$ polynomials of degree at most 2. We show that there is a bound on the projective dimension of $R/I$ that depends only…

Let k be a field and R a pure subring of the infinite-dimensional polynomial ring k[X1;...]. If R is generated by monomials, then we show that the equality of height and grade holds for all ideals of R. Also, we show R satisfies the weak…

In 1936, Krull asked if the integral closure of a primary ideal is still primary. Fifty years later, Huneke partially answered this question by giving a primary polynomial ideal whose integral closure is not primary in a regular local ring…

Let R be a commutative ring with identity and N(R) be the set of all nilpotent elements of R. The aim of this paper is to introduce and study the notion of nil-prime ideals as a generalization of prime ideals. We say that a proper ideal P…

Let R be a nil ring. We prove that primitive ideals in the polynomial ring R[x] in one indeterminate over R are of the form I[x] for some ideals I of R.

We show that the ring of exponential polynomials is not Noetherian even respect to prime E-ideals. Moreover we give a characterization of exponential radical ideals

We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…

We construct a monomorphism from the differential algebra $k\{x\} / [x^m]$ to a Grassmann algebra endowed with a structure of differential algebra. Using this monomorphism we prove primality of $k\{x\} / [x^m]$ and its algebra of…

Let $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be a monomial ideal of degree $d\leq 2$. We show that $(I^{k+1}:I)=I^k$ for all $k\geq 1$ and we disprove a motivation question that was appeared in…

Let $R$ be a commutative ring with identity and $S \subseteq R$ be a multiplicative set. An ideal $Q$ of $R$ (disjoint from $S$) is said to be $S$-primary if there exists an $s\in S$ such that for all $x,y\in R$ with $xy\in Q$, we have…

A complete understanding of the structure of all prime ideals of an infinite direct product of commutative rings (e.g. in terms of more specific objects) has remained a challenging problem for decades. In this article, new advances have…

A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gr\"obner bases for symmetric ideals in the infinite…