The commutative-rings tag has no wiki summary.

**2**

votes

**1**answer

209 views

### Symmetric algebra of an ideal and syzygies

Let $(R,\mathfrak{m})$ be a Cohen Macaulay local ring and $I=(a_1,\ldots,a_g,a_{g+1})$ an almost complete intersection ideal of codimension $g.$ Let $R^k\longrightarrow R^{g+1}\longrightarrow ...

**6**

votes

**3**answers

420 views

### Idempotent polynomials

Let $R$ be a commutative ring with identity and let $f \in R[x]$. There are well known characterizations for $f$ to be a nilpotent element of $R[x]$ or to have a multiplicative inverse in $R[x]$. Is ...

**4**

votes

**1**answer

105 views

### Algorithm to detect if an element of a (commutative) ring is in a subring?

For rings finitely-generated over a field, the theory of Groebner bases gives us quite an efficient algorithm for determining whether an element of the ring is in a given ideal of the ring.
Is there ...

**4**

votes

**2**answers

528 views

### Example of a reduced ring whose completion is not reduced

Let $(R,\mathfrak{m})$ be a local Noetherian ring. Give an example such that R is reduced but $\mathfrak{m}$-adic completion of R is not reduced.

**1**

vote

**1**answer

122 views

### Finding reducible polynomials with restricted factors

Given $f(x),g(x) \in \mathbb{Z}[x]$, two irreducible polynomials, is there a polynomial $h(x) \in \mathbb{Z}[x]$ coprime to $f(x)$ such that $f(x) + g(x)h(x)$ is reducible over $\mathbb{Z}[x]$ with ...

**1**

vote

**2**answers

202 views

### Decomposition of a quotient module

Let $R=k[v,x,y,z]/I$, with $I=\langle v^2,z^2,xy,vx+xz,vy+yz,vx+y^2,vy-x^2\rangle$,and let
$f:R^2 \rightarrow R^2$ denote the map given by the matrix
$$M=\begin{pmatrix}
v & y \\
x & z
...

**0**

votes

**0**answers

116 views

### Ring algebraically closed in its completion.

First I would like to be clear about the definition, which I am having trouble finding.
What does: The local ring $A$ is algebraically closed in $B\supset A$. (e.g. for $B:=\hat{A}$, the completion ...

**2**

votes

**1**answer

162 views

### for which truth-operations f can f-membership in a prime ideal be represented by a polynomial?

Nota bene: all rings are supposed commutative with $1$ and all ring homomorphism should be unital.
Let $B$ be the set of truth values {True, False}. For a formula $\phi$ denote by $[\phi]\in B$ it's ...

**3**

votes

**2**answers

327 views

### Surjectivity of the natural map of injective module to its localization

Hello all,
The lemma 3.3 page 214 in Hartshorne Algebraic Geometry book states:" If $I$ is an injective module over a Noetherian ring $A$. Then for any $f\in A$, the natural map of $I$ to its ...

**0**

votes

**0**answers

69 views

### Example of a ring whose minimals are annihilators of idempotents?

I'm looking for examplesâ€ of rings with the property that for each
$P={\rm Ann}_R(a)\in{\rm Min}(R)$ then $a\in R$ is idempotent (ie $a^2=a$)
â€ other than domains!

**6**

votes

**1**answer

411 views

### Are roots of transcendental elements transcendental?

This looks extremely easy, but then again it's late at night...
Let $k$ be a commutative ring with unity. An element $a$ of a $k$-algebra $A$ is said to be transcendental over $k$ if and only if ...

**0**

votes

**1**answer

144 views

### Relation between $H^i_I(-)$ and $H^i_J(-)$ when $I\subset J$

What is the relation between $H^i_I(-)$ and $H^i_J(-)$ (cohomological functors) when $I\subset J$ are ideals of a (local) noetherian ring?

**4**

votes

**2**answers

358 views

### Homological characterization of smooth maps

Let $A \to B$ be a finitely generated homomorphism between two commutative noetherian rings.
As far as I understand, in various generalizations of this situation, such a map is called smooth if $B$ ...

**1**

vote

**1**answer

115 views

### An example of a ring $R$ with the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$.

I'm looking for an example of a commutative (preferably local) ring $R$ such that ${\rm dim}R>0$ and $R$ has the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$.
This ...

**0**

votes

**1**answer

75 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

199 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 ...

**2**

votes

**0**answers

95 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

163 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

439 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

55 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

275 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

154 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

492 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 ...

**27**

votes

**3**answers

1k 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

223 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

315 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

380 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

271 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

326 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

384 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

203 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

126 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

118 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

83 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

297 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

461 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

474 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

144 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

249 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

363 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

975 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

217 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

629 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

561 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 ...

**1**

vote

**0**answers

273 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

389 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

97 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

276 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 ...