Related papers: Maximal ideals in countable rings, constructively

We develop the theory of rational ideals for arbitrary associative algebras R without assuming the standard finiteness conditions, noetherianness or the Goldie property. The Amitsur-Martindale ring of quotients replaces the classical ring…

We prove an assortment of results on (commutative and unital) NIP rings, especially $\mathbb{F}_p$-algebras. Let $R$ be a NIP ring. Then every prime ideal or radical ideal of $R$ is externally definable, and every localization $S^{-1}R$ is…

In this paper, we consider the N-pure notion. An ideal $I$ of a ring $R$ is said to be N-pure, if for every $a\in I$ there exists $b\in I$ such that $a(1-b)\in N(R)$, where N(R) is nil radical of $R$. We provide new characterizations for…

Let $R$ be a commutative Noetherian ring of prime characteristic $p$. In this paper we give a short proof using filter regular sequences that the set of associated prime ideals of $H^t_I(R)$ is finite for any ideal $I$ and for any $t \ge 0$…

This paper explores the study of $S$-prime and $S$-maximal ideals in the context of trivial ring extensions $A \ltimes M$. Through counterexamples, we demonstrate that $S$-prime (resp., $S$-maximal) ideals in $A \ltimes M$ are not…

We investigate the rings in which the set of nonzero elements is positive-existential (i.e. a finite union of projections of "algebraic" sets). In the case of Noetherian domains, we prove in particular that this condition is satisfied…

In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predicatively acceptable theories in that framework was explored.…

We prove that the finite generation of adjoint rings proved in [Cascini and Lazi\'c] implies all the foundational results of the Minimal Model Program: the Rationality, Cone and Contraction theorems, the existence of flips, and termination…

We prove that if the initial ideal of a prime ideal is Borel-fixed and the dimension of the quotient ring is less than or equal to two, then given any non-minimal associated prime ideal of the initial ideal it contains another associated…

Suppose $A=k[X_1, X_2, \ldots, X_n]$ is a polynomial ring over a field $k$ and $I$ is an ideal in $A$. Then M. P. Murthy conjectured that $\mu(I)=\mu(I/I^2)$, where $\mu$ denotes the minimal number of generators. Recently, Fasel \cite{F}…

According to Ogg's conjecture (Mazur's Theorem), cuspidal subgroup coincides with rational torsion points of the Jacobian variety of modular curves of the form $X_0(N)$ for a {\it prime} number $N$. There is a recent interest to generalize…

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 $H$ be a connected Hopf algebra acting on an algebra $A$. Working over a base field having characteristic $0$, we show that for a given prime (semi-prime, completely prime) ideal $I$ of $A$, the largest $H$-stable ideal of A contained…

We show that any $n$-absorbing ideal must be strongly $n$-absorbing, which is the first of Anderson and Badawi's three interconnected conjectures on absorbing ideals. We prove this by introducing and studying objects called maximal and…

A theorem of Cohen from 1950 states that a commutative ring is Noetherian if and only if every prime ideal is finitely generated. In this note, we establish analogues of this result in tensor triangular geometry. In particular, for an…

Let $R$ be a commutative ring with nonzero identity. Let $\mathcal{I}(R)$ be the set of all ideals of $R$ and let $\delta : \mathcal{I}(R)\longrightarrow \mathcal{I}(R)$ be a function. Then $\delta$ is called an expansion function of ideals…

The main purpose of this paper is a wide generalization of one of the results abstract algebraic geometry begins with, namely of the fact that the prime spectrum $\mathrm{Spec}(R)$ of a unital commutative ring $R$ is always a spectral…

It has been shown by McCoy that a right ideal of a polynomial ring with several indeterminates has a non-trivial homogeneous right annihilator of degree 0 provided its right annihilator is non-trivial to begin with. In this note, it is…

We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that…

We characterize symbolic powers of prime ideals in polynomial rings over any field in terms of $\mathbb{Z}$-linear differential operators, and of prime ideals in polynomial rings over complete discrete valuation rings with a $p$-derivation…