Let $f:R\to S$ be a ring homomorphism and J be an ideal of S. Then the subring $R\bowtie ^fJ:=\{(r,f(r)+j)\mid r\in R$ and $j\in J\}$ of $R\times S$ is called the amalgamation of R with S along J with respect to f. In this paper, we characterize when $R\bowtie ^fJ$ is a Hilbert ring. As an application, we provide an example of Hilbert ring with maximal ideals of different heights. We also construct non-Noetherian Hilbert rings whose maximal ideals are all finitely generated (unruly Hilbert rings).

A number of spectrum constructions have been devised to extract topological spaces from algebraic data. Prominent examples include the Zariski spectrum of a commutative ring, the Stone spectrum of a bounded distributive lattice, the Gelfand spectrum of a commutative unital C*-algebra and the Hofmann–Lawson spectrum of a continuous frame.

Inspired by the examples above, we define a spectrum for localic semirings. We use arguments in the symmetric monoidal category of suplattices to prove that, under conditions satisfied by the aforementioned examples, the spectrum can be constructed as the frame of overt weakly closed radical ideals and that it reduces to the usual constructions in those cases. Our proofs are constructive.

Our approach actually gives ‘quantalic’ spectrum from which the more familiar localic spectrum can then be derived. For a discrete ring this yields the quantale of ideals and in general should contain additional ‘differential’ information about the semiring.

Let R be an integral domain with $qf(R)=K$ , and let $F(R)$ be the set of nonzero fractional ideals of R. Call R a dually compact domain (DCD) if, for each $I\in F(R)$ , the ideal $I_{v}=(I^{-1})^{-1}$ is a finite intersection of principal fractional ideals. We characterize DCDs and show that the class of DCDs properly contains various classes of integral domains, such as Noetherian, Mori, and Krull domains. In addition, we show that a Schreier DCD is a greatest common divisor (GCD) (Greatest Common Divisor) domain with the property that, for each $A\in F(R)$ , the ideal $A_{v}$ is principal. We show that a domain R is G-Dedekind (i.e., has the property that $A_{v}$ is invertible for each $A\in F(R)$ ) if and only if R is a DCD satisfying the property $\ast :$ For all pairs of subsets $\{a_{1},\ldots ,a_{m}\},\{b_{1},\ldots ,b_{n}\}\subseteq K\backslash \{0\}, (\cap _{i=1}^{m}(a_{i})(\cap _{j=1}^{n}(b_{j}))=\cap _{i,j=1}^{m,n}(a_{i}b_{j})$ . We discuss what the appropriate names for G-Dedekind domains and related notions should be. We also make some observations about how the DCDs behave under localizations and polynomial ring extensions.

Let R be a commutative ring with identity which is not an integral domain. An ideal I of R is called an annihilating ideal if there exists $r\in R- \{0\}$ such that $Ir=(0)$ . The total graph of nonzero annihilating ideals of R is the graph $\Omega (R)$ whose vertices are the nonzero annihilating ideals of R and two distinct vertices $I,J$ are joined if and only if $I+J$ is also an annihilating ideal of R. We study the strong metric dimension of $\Omega (R)$ and evaluate it in several cases.

The symbolic analytic spread of an ideal $I$ is defined in terms of the rate of growth of the minimal number of generators of its symbolic powers. In this article, we find upper bounds for the symbolic analytic spread under certain conditions in terms of other invariants of $I$. Our methods also work for more general systems of ideals. As applications, we provide bounds for the (local) Kodaira dimension of divisors, the arithmetic rank, and the Frobenius complexity. We also show sufficient conditions for an ideal to be a set-theoretic complete intersection.

Given a nonincreasing function f : ℤ≥ 0 \{0} → ℤ≥ 0 such that (i) f(k) − f(k + 1) ≤ 1 for all k ≥ 1 and (ii) if a = f(1) and b = limk → ∞f(k), then |f−1(a)| ≤ |f−1(a − 1)| ≤ ··· ≤ |f−1(b + 1)|, a system of generators of a monomial ideal I ⊂ K[x1, . . ., xn] for which depth S/Ik = f(k) for all k ≥ 1 is explicitly described. Furthermore, we give a characterization of triplets of integers (n, d, r) with n > 0, d ≥ 0 and r > 0 with the properties that there exists a monomial ideal I ⊂ S = K[x1, . . ., xn] for which limk→∞ depth S/Ik = d and dstab(I) = r, where dstab(I) is the smallest integer k0 ≥ 1 with depth S/Ik0 = depth S/Ik0+1 = depth S/Ik0+2 = ···.

A current research theme is to compare symbolic powers of an ideal $I$ with the regular powers of $I$. In this paper, we focus on the case where $I\,=\,{{I}_{X}}$ is an ideal defining an almost complete intersection (ACI) set of points $X$ in ${{\mathbb{P}}^{1}}\,\times \,{{\mathbb{P}}^{1}}$. In particular, we describe a minimal free bigraded resolution of a non-arithmetically Cohen-Macaulay (also non-homogeneous) set $Z$ of fat points whose support is an ACI, generalizing an earlier result of Cooper et al. for homogeneous sets of triple points. We call $Z$ a fat ACI. We also show that its symbolic and ordinary powers are equal, i.e, $I_{Z}^{\left( m \right)}\,=\,I_{Z}^{m}$ for any $m\,\ge \,1$.

Let $D$ be an integral domain, ${{X}^{1}}\left( D \right)$ be the set of height-one prime ideals of $D$, $\left\{ {{X}_{\beta }} \right\}$ and $\left\{ {{X}_{\alpha }} \right\}$ be two disjoint nonempty sets of indeterminates over $D$, $D\left[ \left\{ {{X}_{\beta }} \right\} \right]$ be the polynomial ring over $D$, and $D\left[ \left\{ {{X}_{\beta }} \right\} \right]{{\left[\!\left[ \left\{ {{X}_{\alpha }} \right\} \right]\!\right]}_{1}}$ be the first type power series ring over $D\left[ \left\{ {{X}_{\beta }} \right\} \right]$. Assume that $D$ is a Prüfer $v$-multiplication domain $\left( \text{P}v\text{MD} \right)$ in which each proper integral $t$-ideal has only finitely many minimal prime ideals (e.g., $t$-$\text{SFT}$$\text{P}v\text{MDs}$, valuation domains, rings of Krull type). Among other things, we show that if ${{X}^{1}}\left( D \right)\,=\,\phi$ or ${{D}_{p}}$ is a $\text{DVR}$ for all $P\,\in \,{{X}^{1}}\left( D \right)$, then $D\left[ \left\{ {{X}_{\beta }} \right\} \right]{{\left[\!\left[ \left\{ {{X}_{\alpha }} \right\} \right]\!\right]}_{1D-\left\{ 0 \right\}}}$ is a Krull domain. We also prove that if $D$ is a $t$-$\text{SFT}\text{P}v\text{MD}$, then the complete integral closure of $D$ is a Krull domain and $\text{ht}\left( M\left[ \left\{ {{X}_{\beta }} \right\} \right]{{\left[\!\left[ \left\{ {{X}_{\alpha }} \right\} \right]\!\right]}_{1}} \right)\,=\,1$ for every height-one maximal $t$-ideal $M$ of $D$.

Let $R$ be a commutative ring with identity. The co-annihilating-ideal graph of $R$, denoted by ${{\mathcal{A}}_{R}}$, is a graph whose vertex set is the set of all non-zero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent whenever $\text{Ann}\left( I \right)\,\cap \,\text{Ann}\left( J \right)\,=\,\left\{ 0 \right\}$. In this paper we initiate the study of the co-annihilating ideal graph of a commutative ring and we investigate its properties.

In this paper, we give an explicit realization of the universal SL2-representation rings of free groups by using ‘the ring of component functions’ of SL(2, ℂ)-representations of free groups. We introduce a descending filtration of the ring, and determine the structure of its graded quotients. Then we study the natural action of the automorphism group of a free group on the graded quotients, and introduce a generalized Johnson homomorphism. In the latter part of this paper, we investigate some properties of these homomorphisms from a viewpoint of twisted cohomologies of the automorphism group of a free group.

All rings are commutative with identity, and all modules are unital. In this paper we introduce the concept of a quasi-copure submodule of a multiplication $R$-module $M$ and will give some results about it. We give some properties of the tensor product of finitely generated faithful multiplication modules.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}R$ be a commutative ring, $I(R)$ be the set of all ideals of $R$ and $S$ be a subset of $I^*(R)=I(R)\setminus \{0\}$. We define a Cayley sum digraph of ideals of $R$, denoted by $\overrightarrow{\mathrm{Cay}}^+ (I(R),S)$, as a directed graph whose vertex set is the set $I(R)$ and, for every two distinct vertices $I$ and $J$, there is an arc from $I$ to $J$, denoted by $I\longrightarrow J$, whenever $I+K=J$, for some ideal $K $ in $S$. Also, the Cayley sum graph $ \mathrm{Cay}^+ (I(R), S)$ is an undirected graph whose vertex set is the set $I(R)$ and two distinct vertices $I$ and $J$ are adjacent whenever $I+K=J$ or $J+K=I$, for some ideal $K $ in $ S$. In this paper, we study some basic properties of the graphs $\overrightarrow{\mathrm{Cay}}^+ (I(R),S)$ and $ \mathrm{Cay}^+ (I(R), S)$ such as connectivity, girth and clique number. Moreover, we investigate the planarity, outerplanarity and ring graph of $ \mathrm{Cay}^+ (I(R), S)$ and also we provide some characterization for rings $R$ whose Cayley sum graphs have genus one.

The purpose of this paper is twofold. We present first a vanishing theorem for families of linear series with base ideal being a fat points ideal. We then apply this result in order to give a partial proof of a conjecture raised by Bocci, Harbourne and Huneke concerning containment relations between ordinary and symbolic powers of planar point ideals.

Recent work of Ein–Lazarsfeld–Smith and Hochster–Huneke raised the problem of which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci–Harbourne developed methods to address this problem, which involve asymptotic numerical characters of symbolic powers of the ideals. Most of the work done up to now has been done for ideals defining 0-dimensional subschemes of projective space. Here we focus on certain subschemes given by a union of lines in ${{\mathbb{P}}^{3}}$ that can also be viewed as points in ${{\mathbb{P}}^{1}}\times {{\mathbb{P}}^{1}}$. We also obtain results on the closely related problem, studied by Hochster and by Li and Swanson, of determining situations for which each symbolic power of an ideal is an ordinary power.

We will state some conditions under which if a quotient of a module M satisfies the radical formula of degree k (s.t.r.f of degree k), so does M. Especially, we will introduce some particular modules M′ such that M′ ⊕ M″ s.t.r.f of degree k, when M″ s.t.r.f of degree k. Furthermore, we will show that, under certain conditions, if the completion of a module M s.t.r.f of degree k, then there is a non-negative integer k′ such that M s.t.r.f. of degree k′. Moreover, we state a corrected version of Leung and Man's theorem (K. H. Leung and S. H. Man, On commutative Noetherian rings which satisfy the radical formula, Glasgow Math. J. 39 (1997), 285–293) on Noetherian rings that satisfies the radical formula.

This paper deals with the concepts of condensed and strongly condensed domains. By definition, an integral domain $R$ is condensed (resp. strongly condensed) if each pair of ideals $I$ and $J$ of $R$, $IJ\,=\,\{ab/a\,\in \,I,\,b\,\in \,J\}$ (resp. $IJ\,=\,aJ$ for some $a\,\in \,I\,or\,I\,J\,=\,Ib$ for some $b\,\in \,J$). More precisely, we investigate the ideal theory of condensed and strongly condensed domains in Noetherian-like settings, especially Mori and strong Mori domains and the transfer of these concepts to pullbacks.

Let R and S be commutative rings, not necessarily with identity. We investigate the ideals, prime ideals, radical ideals, primary ideals, and maximal ideals of R×S. Unlike the case where R and S have an identity, an ideal (or primary ideal, or maximal ideal) of R×S need not be a ‘subproduct’ I×J of ideals. We show that for a ring R, for each commutative ring S every ideal (or primary ideal, or maximal ideal) is a subproduct if and only if R is an e-ring (that is, for r∈R, there exists er∈R with err=r) (or u-ring (that is, for each proper ideal A of R, )), the Abelian group (R/R2 ,+) has no maximal subgroups).

A proper ideal I of a ring R is said to be strongly irreducible if for each pair of ideals A and B of R, implies that either or . In this paper we study strongly irreducible ideals in different rings. The relations between strongly irreducible ideals of a ring and strongly irreducible ideals of localizations of the ring are also studied. Furthermore, a topology similar to the Zariski topology related to strongly irreducible ideals is introduced. This topology has the Zariski topology defined by prime ideals as one of its subspace topologies.

In this paper we prove that if R is a Prüfer domain, then the R-module R⊕ R satisfies the radical formula.

An integral domain $D$ with identity is condensed (resp., strongly condensed) if for each pair of ideals $I,\,J$ of $D,\,IJ\,=\,\{ij\,;\,i\,\in I,j\in J\,\}$ (resp., $IJ=iJ$ for some $i\,\in \,I$ or $IJ\,=Ij$ for some $j\,\in \,J$). We show that for a Noetherian domain $D,\,D$ is condensed if and only if $\text{Pic}\left( D \right)\,=0$ and $D$ is locally condensed, while a local domain is strongly condensed if and only if it has the two-generator property. An integrally closed domain $D$ is strongly condensed if and only if $D$ is a Bézout generalized Dedekind domain with at most one maximal ideal of height greater than one. We give a number of equivalencies for a local domain with finite integral closure to be strongly condensed. Finally, we show that for a field extension $k\,\subseteq K$, the domain $D=\,k+XK[[X]]$ is condensed if and only if $[K:k]\,\le \,2$ or $[K:k]\,=\,3$ and each degree-two polynomial in $k[X]$ splits over $k$, while $D$ is strongly condensed if and only if $[K:k]\,\le \,2$.