(Jordan) derivation on amalgamated duplication of a ring along an ideal

Let A be a ring and I be an ideal of A. The amalgamated duplication of A along I is the subring of A × A defined by $A\bowtie I := {(a, a + i) |a ∈ A, i ∈ I}$. In this paper, we characterize $A\bowtie I$ over which any (resp. minimal) prime ideal is invariant under any derivation provided that A is semiprime. When A is noncommutative prime, then $A\bowtie I$ is noncommutative semiprime (but not prime except if I = (0)). In this case, we prove that any map of $A\bowtie I$ which is both Jordan and Jordan triple derivation is a derivation.

Krull modules and completely integrally closed modules

Let [Formula: see text] be a torsion-free module over an integral domain [Formula: see text] with quotient field [Formula: see text]. We define a concept of completely integrally closed modules in order to study Krull modules. It is shown that a Krull module [Formula: see text] is a [Formula: see text]-multiplication module if and only if [Formula: see text] is a maximal [Formula: see text]-submodule and [Formula: see text] for every minimal prime ideal [Formula: see text] of [Formula: see text]. If [Formula: see text] is a finitely generated Krull module, then [Formula: see text] is a Krull module and [Formula: see text]-multiplication module. It is also shown that the following three conditions are equivalent: [Formula: see text] is completely integrally closed, [Formula: see text] is completely integrally closed, and [Formula: see text] is completely integrally closed.

Maximal prime homomorphic images of mod-p Iwasawa algebras

Let k be a finite field of characteristic p, and G a compact p-adic analytic group. Write kG for the completed group ring of G over k. In this paper, we describe the structure of the ring kG/P, where P is a minimal prime ideal of kG. We give an explicit isomorphism between kG/P and a matrix ring with coefficients in the ring ${(k'G')_\alpha }$ , where $k'/k$ is a finite field extension, $G'$ is a large subquotient of G with no finite normal subgroups, and (–) α is a “twisting” operation that preserves many desirable properties of the ring structure. We demonstrate the usefulness of this isomorphism by studying the correspondence induced between certain ideals of kG and those of ${(k'G')_\alpha }$ , and showing that this preserves many useful “group-theoretic” properties of ideals, in particular almost-faithfulness and control by a closed normal subgroup.

On a question of D. Rees on classical integral closure and integral closure relative to an Artinian module

Let [Formula: see text] be a commutative Noetherian complete local ring and [Formula: see text] and [Formula: see text] ideals of [Formula: see text]. Motivated by a question of Rees, we study the relationship between [Formula: see text], the classical Northcott–Rees integral closure of [Formula: see text], and [Formula: see text], the integral closure of [Formula: see text] relative to an Artinian [Formula: see text]-module [Formula: see text] (also called here ST-closure of [Formula: see text] on [Formula: see text]), in order to study a relation between [Formula: see text], the multiplicity of [Formula: see text], and [Formula: see text], the multiplicity of [Formula: see text] relative to an Artinian [Formula: see text]-module [Formula: see text]. We conclude [Formula: see text] when every minimal prime ideal of [Formula: see text] belongs to the set of attached primes of [Formula: see text]. As an application, we show what happens when [Formula: see text] is a generalized local cohomology module.

Primary Decomposition of Ideals of Lattice Homomorphisms

For two given finite lattices $L$ and $M$, we introduce the ideal of lattice homomorphism $J(L,M)$, whose minimal monomial generators correspond to lattice homomorphisms $\phi : L\to M$. We show that $L$ is a distributive lattice if and only if the equidimensinal part of $J(L,M)$ is the same as the equidimensional part of the ideal of poset homomorphisms $I(L,M)$. Next, we study the minimal primary decomposition of $J(L,M)$ when $L$ is a distributive lattice and $M=[2]$. We present some methods to check if a monomial prime ideal belongs to $\mathrm{ass}(J(L,[2]))$, and we give an upper bound in terms of combinatorial properties of $L$ for the height of the minimal primes. We also show that if each minimal prime ideal of $J(L,[2])$ has height at most three, then $L$ is a planar lattice and $\mathrm{width}(L)\leq 2$. Finally, we compute the minimal primary decomposition when $L=[m]\times [n]$ and $M=[2]$.

A characterization of minimal prime ideals

Let P be a prime ideal of a ring R, O(P) = {a ∊ R | aRs = 0, for some s ∊ R/P} | and Ō(P) = {x ∊ R | xn ∊ O(P), for some positive integer n}. Several authors have obtained sheaf representations of rings whose stalks are of the form R/O(P). Also in a commutative ring a minimal prime ideal has been characterized as a prime ideal P such that P= Ō(P). In this paper we derive various conditions which ensure that a prime ideal P = Ō(P). The property that P = Ō(P) is then used to obtain conditions which determine when R/O(P) has a unique minimal prime ideal. Various generalizations of O(P) and Ō(P) are considered. Examples are provided to illustrate and delimit our results.

On the vanishing and the positivity of intersection multiplicities over local rings with small non complete intersection loci

Throughout this paperAis a commutative Noetherian ring of dimensiondwith the maximal ideal m and we assume that there exists a regular local ringSsuch thatAis a homomorphic image ofS, i.e.,A=S/Ifor some idealIofS. Furthermore we assume thatAis equi-dimensional, i.e., dimA= dimA/for any minimal prime idealofA. We put.

Minimal prime ideals and arithmetic comprehension

We assume that the reader is familiar with the program of “reverse mathematics” and the development of countable algebra in subsystems of second order arithmetic. The subsystems we are using in this paper are RCA0, WKL0 and ACA0. (The reader who wants to learn about them should study [1].) In [1] it was shown that the statement “Every countable commutative ring has a prime ideal” is equivalent to Weak Konig's Lemma over RCA0, while the statement “Every countable commutative ring has a maximal ideal” is equivalent to Arithmetic Comprehension over RCA0. Our main result in this paper is that the statement “Every countable commutative ring has a minimal prime ideal” is equivalent to Arithmetic Comprehension over RCA0. Minimal prime ideals play an important role in the study of countable commutative rings; see [2, pp. 1–7].