相关论文: Primary Decomposition: Compatibility, Independence…
The purpose of this paper and its sequel, is to introduce a new class of modules over a commutative ring $R$, called $\mathbb{P}$-radical modules (modules $M$ satisfying the prime radical condition "$(\sqrt[p]{{\cal{P}}M}:M)={\cal{P}}$" for…
It was previously known, by work of Smith-Swanson and of Sharp-Nossem, that the linear growth property of primary decompositions of Frobenius powers of ideals in rings of prime characteristic has strong connections to the localization…
Let $R$ be a commutative Noetherian ring and $M$ be an $R$-module such that the set of associated prime ideals of the quotient module $M/L$ is finite for all submodules $L$ of $M$. In this paper, it is shown that there is a finitely…
We show that if a graded submodule of a Noetherian module cannot be written as a proper intersection of graded submodules, then it cannot be written as a proper intersection of submodules at all. More generally, we show that a natural…
Throughout this paper, $R$ is an associative ring (not necessarily commutative) with identity and $M$ is a right $R$-module with unitary. In this paper, we introduce a new concept of $\phi$-prime submodule over an associative ring with…
We introduce differential primary decompositions for ideals in a commutative ring. Ideal membership is characterized by differential conditions. The minimal number of conditions needed is the arithmetic multiplicity. Minimal differential…
Let $R$ be a commutative Noetherian ring. We give criteria for flatness of $R$-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if $R$ has…
Let $R$ be a commutative ring with nonzero identity and $M$ be an $R$-module. Quasi-prime submodules of $M$ and the developed Zariski topology on $q\Spec(M)$ are introduced. We also, investigate the relationship between the algebraic…
Primary decomposition of commutative monoid congruences is insensitive to certain features of primary decomposition in commutative rings. These features are captured by the more refined theory of mesoprimary decomposition of congruences,…
This paper provides a full characterization for when the expansion of a complete o-minimal theory by a unary predicate that picks out a divisible dense and codense subgroup has a model companion. This result is motivated by criteria and…
Recent results of Kahle and Miller give a method of constructing primary decompositions of binomial ideals by first constructing "mesoprimary decompositions" determined by their underlying monoid congruences. These mesoprimary…
We present an effective method for computing parametric primary decomposition via comprehensive Gr\"obner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with…
Let $A$ be a Noetherian ring, $J\subseteq A$ an ideal and $C$ a finitely generated $A$-module. In this note we would like to prove the following statement. Let $\{I_n\}_{n\geq 0}$ be a collection of ideals satisfying : (i) $I_n\supseteq…
We study when $R \to S$ has the property that prime ideals of $R$ extend to prime ideals or the unit ideal of $S$, and the situation where this property continues to hold after adjoining the same indeterminates to both rings. We prove that…
Over any partially ordered abelian group whose positive cone is closed in an appropriate sense and has finitely many faces, modules that satisfy a weak finiteness condition admit finite primary decompositions. This conclusion rests on the…
Given a polynomial ring $C$ over a field and proper ideals $I$ and $J$ whose generating sets involve disjoint variables, we determine how to embed the associated primes of each power of $I+J$ into a collection of primes described in terms…
We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is…
Under the name prime decomposition (pd), a unique decomposition of an arbitrary $N$-dimensional density matrix $\rho$ into a sum of seperable density matrices with dimensions given by the coprime factors of $N$ is introduced. For a class of…
Let $M_n$ be a sequence of finite factors with $\dim(M_n)\rightarrow \infty$ and denote $\text{\bf M}=\Pi_\omega M_n$ their ultraproduct over a free ultrafilter $\omega$. We prove that if $\text{\bf Q}\subset \text{\bf M}$ is either an…
We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on…