The commutative-rings tag has no wiki summary.

**0**

votes

**1**answer

79 views

### Explicit representation of $R[\frac{x}{y}]$ where $x, y\in R$ for non-Euclidean PIDs $R$?

It's a fact proven by Pendleton, Gilmer, and Ohm (as an obvious corollary of their work, anyways) that PIDs are QR-domains, meaning every overring (ring between the domain and the quotient field) is a ...

**2**

votes

**3**answers

219 views

### When does “second annihilator” of a (principal) ideal equal the ideal itself , ie $Ann_R(Ann_R(r))=Rr$?

Suppose that $R$ is a (local) ring and $r\in R$. When do the equations $Ann_R(Ann_R(r))=Rr$ or $\sqrt{Ann_R(Ann_R(r))}=\sqrt{Rr}$ hold?
I already know that it holds for Artinian Gorenstein rings (due ...

**4**

votes

**1**answer

150 views

### Number of generators of colon and intersection ideals of two finitely generated ideals in a Prufer domain

Hi!
I'm wanting to see why the following is true: Given 2 finitely generated ideals $B$ and $C$ in a Prufer domain $D$ with bases of $n$ and $m$ generators respectively, $B\cap C$ has a basis of ...

**3**

votes

**1**answer

180 views

### Example of an overring of an integral domain which is not a ring of quotients?

Hi!
I'm trying to make headway on a question for my undergraduate honors thesis, specifically the question of which rings of integer-valued polynomials if any satisfy the QR-property; that is, the ...

**4**

votes

**2**answers

454 views

### When does End(M) consist entirely of zero, zero divisors, and units?

Let $R$ be a commutative ring (with $1$) such that every non-zero divisor in $R$ is a unit (see Rings in which every non-unit is a zero divisor for various stabs at what these are called). Let $M$ be ...

**0**

votes

**0**answers

57 views

### Algorithm for computing basis of zero dimensional ring?

If given a zero dimensional ring over a field, for example, a polynomial ring $A=k[x_1,\ldots,x_n]/(f_1,\ldots,f_n)$ such that $A$ is 0-dimensional, is there an algorithm to compute a monomial basis ...

**2**

votes

**3**answers

2k views

### Why Does Induction Prove Multiplication is Commutative?

Andrew Boucher's General Arithmetic (GA2) is a weak sub-theory of second order Peano Axioms (PA2). GA has second order induction and a single successor axiom:
$$\forall x \forall y \forall ...

**0**

votes

**0**answers

285 views

### Definitions for Oddness

In the thread Even Xor Odd Infinities I defined odd models of Modular Arithmetic (MA) as models satisfying the axioms of MA and two first order statements. Even XOR Odd Infinities?
$O1) \forall x(x=0 ...

**0**

votes

**1**answer

157 views

### lattice of subalgebras of a finite commutative algebra

(I) Suppose A is a finite commutative local algebra. Must every lattice of local subalgebras of A be a distributive lattice ?
By a subalgebra of A we mean an algebra contained in A that shares the ...

**0**

votes

**1**answer

494 views

### “thematic” algebras

I scoured what I could in the literature but I have yet to find the information that should be out there. Consider the property
(P1) Every local subalgebra can be embedded in a local ideal ...

**28**

votes

**3**answers

2k views

### Even XOR Odd Infinities?

Modular Arithmetic (MA) has the same axioms as first order Peano Arithmetic (PA) except $\forall x (Sx \ne 0)$ is replaced with $\exists x(Sx = 0)$.
...

**0**

votes

**1**answer

279 views

### The equivalence of Artinian and Noetherinan for the modules of a semisimple ring

We know in a semisimple ring R, for every R-module, Noetherian is equivalent to Artinian, my question is:
If for every R-module M Noetherian is equivalent to Artinian, can we prove R is a semisimple ...

**5**

votes

**0**answers

333 views

### Does existence of an isolated solution imply the Jacobian determinant is non-zero?

Let $f_1,\dots,f_n$ be formal power series in $\mathbb{C}[[x_1,\dots,x_n]]$ whose constant terms are all zero (i.e. $f_1,\dots f_n$ are not units in the ring). Suppose further that the radical of the ...

**2**

votes

**1**answer

393 views

### Localization of a pure-injective module is pure-injective?

Hi,
is there some work on localization of pure-injective modules? Is a localization of a pure-injective module pure-injective?
By localization I mean the standard localization defined for any ...

**2**

votes

**0**answers

279 views

### Orthogonality (wrt. Ext, Tor) in commutative noetherian rings

Hi,
it is a folklore, that:
let $p$, $q$ be two primes of a commutative Gorenstein ring $R$.
$$
\operatorname{Tor}^k(E(R/p), E(R/q)) \neq 0 \iff p = q\mbox{ and }k = \operatorname{height} p.
$$
...

**1**

vote

**2**answers

369 views

### A Question About Free Resolutions

I would warmly appreciate it if someone could tell me whether the following question has an affirmative answer. I am new to the field of commutative algebra, so I am simply trying to fill in some ...

**1**

vote

**1**answer

463 views

### Intersection of maximal ideals contains an ideal

Let $R$ be a commutative unitary ring and $M_{I}$ be the intesection of all maximal ideals contains $I$.
Question: When for any two ideals $I$ and $J$ of $R$ there exists an ideal $K$ of $R$ such that ...

**1**

vote

**0**answers

232 views

### when is a sum of idempotents idempotent in commutative ring theory?

As this question demonstrates that the sum of idempotents is idempotent iff every pairwise product is zero, for finite matrices with complex entries.
What additional restrictions do we need to put ...

**1**

vote

**1**answer

128 views

### Surjective and injective criteria via Hilbert polynomials

Let $X$ be a projective complex manifold. Is it true that any coherent sheaf $\mathcal{E}$ on $X$ whose Hilbert polynomial is a constant has a surjective morphsim $\mathcal{O}_X\rightarrow ...

**1**

vote

**1**answer

121 views

### R is regular local rings of Krull dimension 2.Can we find any ideal of height 2 different from m? [closed]

Maybe it is too easy but I want to know that: If $R$ is regular local ring of Krull dimension $2$ and $m$ is the maximal ideal of $R$. (It means that height $m$ is $2$). Can we find any ideal of ...

**3**

votes

**0**answers

89 views

### which automorphisms of a subring extend to those of a ring

(Probably a silly question, but..)
Consider the ring $R=k[[x_1,\dots,x_n]]/I$, (e.g. char(k)=0), and its subring, $R_1$, generated by some of $x_i$'s. In general, an automorphism of $R_1$ does not ...

**2**

votes

**1**answer

301 views

### Stalks of rings of sections of the Zariski sheaf

Let $A$ be a commutative ring and let $U$ be an open subset of $Spec(A)$. Let $B$ be the ring of sections above $U$ of the affine scheme $Spec(A)$. Pick a prime ideal $p\in U$. Then the natural map ...

**2**

votes

**1**answer

534 views

### Infinite power of in ideal in a Noetherian ring

Let $A$ be Noetherian ring that is an integral domain and let $\frak a$ be a proper ideal.
I would like to know if it can happen that $\cap_{1}^{\infty}{\frak a}^n\ne 0$ and at the same time the ...

**7**

votes

**4**answers

525 views

### $\lambda$-ring structure defined for a graded ring in Fulton-Lang's book

Given a commutative ring $A$ with unity, Grothendieck used universal polynomials to define a special $\lambda$-ring structure on $\Lambda(A):=1+t\:A[[t]]$. Suppose $A$ is graded, say ...

**2**

votes

**1**answer

150 views

### Whether the result that an ultraproduct which satisfies ACCP is automatically a field generalizes to ultrafilters on larger indexing sets

Let $F$ be an ultrafilter on some set $X$, $R$ an integral domain and $R_F$ the resulting ultraproduct ring. For an element $(a)$ in the product ring of $R$ indexed by $X$, denote its equivalence ...

**1**

vote

**0**answers

227 views

### separability of commutative rings

Before discussing on the main Question I should recall two notions in the area of commutative rings.
By $Max(R)$, we mean the set of all maximal ideals of the commutative unitary ring $R$.
...

**1**

vote

**1**answer

287 views

### The set of Upper semi-continuous functions as a ring.

I should recall that the surgenfery topology on the real numbers is denoted by $\mathbb{R}_l$, and has the set
{$[a , b): a,b \in \mathbb{R} $} as it's base.
If $X$ is a topological space, an upper ...

**1**

vote

**1**answer

383 views

### Lifting identities of formal power series

I am looking for a possibly general class of algebraic structures (maybe special topological rings) in which one can deduce identities of concrete power series from formal ones. This class should ...

**6**

votes

**3**answers

989 views

### functional subrings

I should recall the notion of maximal subring of a commutative unitary ring $R$.
Def: A commutative ring $S$ is called a maximal subring of $R$ if $S \subset R$ and if $T \subset R$ constitute a ...

**1**

vote

**0**answers

221 views

### Sums of Strongly z-ideals

In the rings of continuous functions,i.e.$(C(X))$ an ideal $I$ is called strongly $z$-ideal if it is an intersection of some maximal ideals of $C(X)$. i.e. $$I=\cap_{\alpha \in A} ...

**7**

votes

**4**answers

643 views

### Quotient rings of $C(X)$

Let $X$ be a Tychonoff topological space. Consider the ring $C(X)$ of all continuous real valued functions on $X$. For what conditions on an ideal $I$ of $C(X)$, we could deduce that the quotient ring ...

**5**

votes

**0**answers

565 views

### Maximal ideals of the rings of Baire- One Functions

A real function $f:X\rightarrow \mathbb{R}$ Is called Baire-one function, if there is a sequence $(f_n)_{n=1} ^\infty$ of continuous functions $f_n:X\rightarrow \mathbb{R}$ on $X$ so that for all ...

**0**

votes

**0**answers

284 views

### Completion of commutative rings.

Assume that $(R,\mathfrak{m})$ is a commutative local ring of equal characteristic zero. So $R$ contains the field of rationals. The well known $\mathfrak{m}$-adic completion of $R$ provides a ...

**5**

votes

**1**answer

439 views

### Divisibility and factorization in rings that are not integral domains

In my course notes for an undergraduate course "Algebra I", I wrote at the point when I'm introducing the notion of divisibility in rings (in a section on unique factorization):
We want to study ...

**0**

votes

**1**answer

99 views

### Uniqueness of Hensel factors of a polynomial (invariant to change of “basepoint”)?

An important component of algorithms for factoring multivariate polynomials over a commutative ring $R$ is Hensel lifting. Here's a brief, concrete example to set the stage for my question:
Let $f ...

**2**

votes

**1**answer

284 views

### Frobenius base change of etale maps

Let $A$ be a characteristic $p>0$ commutative ring. Let $B$ be a finitely presented etale $A$ algebra i.e.
$$
B=A[x_1,\ldots,x_n]/(f_1,\ldots,f_n),
$$
with $det(\frac{\partial f_i}{\partial ...

**2**

votes

**2**answers

456 views

### Infinite domain with finite number of prime ideals(elements)

While trying to prove one property of commutative rings with units I can't prove one fact without assuming existence of infinitely many different prime ideals or elements. I tried to test if it was ...

**5**

votes

**0**answers

243 views

### Testing isomorphism of finitely generated algebras

Let $A=\mathbf{Q}[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over the rational numbers. Let $B=\mathbf{Q}[f_1,\ldots,f_r]$ and
$C=\mathbf{Q}[g_1,\ldots,g_s]$ be two finitely generated ...

**8**

votes

**1**answer

2k views

### Maximal ideals of Z[x,y]

we know that the maximal ideals of ${\mathbb Z}[x]$ are of the form $(p, f(x))$ where $p$ is a prime number and $f(x)$ is a polynomial in ${\mathbb Z}[x]$ which is irreducible modulo $p$.
Is it true ...

**1**

vote

**1**answer

209 views

### semilocal total quotient ring whose J(R) is not zero

I am interested in rings in which every non-unit is a zero divisor. Can you give me an example of such a ring that also has FINITELY many maximal ideals (semilocal), and whose Jacobson radical is not ...

**1**

vote

**0**answers

209 views

### level of rings and stable range of rings

The level $s(A)$ of a ring $A$ with unity $1$ is the smallest natural number $s$
such that $-1$ is a sum of $s$ squares in $A$. (If $-1$ is not a sum of squares in $A$, we
say that $s(A) =\infty$.). ...

**1**

vote

**1**answer

162 views

### relation between Min(R) and Min(R^)

Let $\hat{R}$ is $m$-adic completion of a local ring $(R,m)$.What is the relation between $Min R$ and $Min \hat{R}$. we know that $\hat{R}$ is faithfully flat $R$-module.
$Min R$=set of all minimal ...

**10**

votes

**1**answer

806 views

### Lengths over a local ring

Let $A$ be a noetherian domain, $\mathfrak{m}$ а maximal ideal, $s$ a non-zero element of $\mathfrak{m}$, $d= \dim A_\mathfrak{m}$.
Is the following claim true?
Claim:
For any $\epsilon>0$, there ...

**2**

votes

**1**answer

493 views

### relation between Ass Ext(M,N) and Ass M ,Ass N

Let $R$ be a noetherian ring and $M$ , $N$ be finitely generated $R$-modules. Then
what is the relation between $Ass\ Ext^i_R(M,N)$ and $Ass\ M, Ass\ N$?
$Ass$ means set of associated prime ideals.
...

**1**

vote

**0**answers

80 views

### Explicit expression for multivariable meromorphic series

Let $K$ be a field. For $m>1$, elements in the ring of power series in $m$ variables over $K$, i.e., $K[[X_1, \cdots, X_m]]$ look like -
$$ \displaystyle\sum_{(i_1, \cdots, i_m)\in (\mathbb ...

**3**

votes

**2**answers

732 views

### lim Ext(a^n/b^n,R)=0

Is it true that:
Let $R$ be a local ring and $\dim R= d$. If $b\subset a$ be two proper ideals of $R$ then for $ n\in {\Bbb N}$, $\varinjlim Ext^d_R(a^n/b^n,R)=0$

**3**

votes

**1**answer

753 views

### Serre condition $(S_n)$

We know that a finitely generated $R$-module $M$ satisfies the $(S_n)$ condition if $$\operatorname{depth} M_p \geq \min(n,\dim M_p)$$ for every $p\in \operatorname{Spec}R$.
It's well known that ...

**0**

votes

**1**answer

446 views

### associated prime ideal [duplicate]

Possible Duplicate:
minimal prime devisor(MinAss R)
Hello All,is This conclusion true?
$(R,m)$ be a local ring.if every associated prime ideal of $R$ be minimal then every associated prime ...

**2**

votes

**1**answer

459 views

### Minimal prime divisors (MinAss R)

Hello All,is This conclusion true?
If $(R,m)$ is a local ring and $ Min Ass R=Ass R$ then can we conclude that $Min Ass \hat{R}=Ass \hat{R}$? ($\hat{R}$ is $m$-adic completion of $R$)
...

**1**

vote

**1**answer

230 views

### Chain of ideals in a complex algebra

Suppose $\mathfrak{A}$ is an unital algebra over complex numbers and $\mathfrak{J}$ is chain of left-ideals in $\mathfrak{A}$ ordered by inclusion such that none of its elements is countably ...