The commutative-rings tag has no wiki summary.

**0**

votes

**1**answer

156 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

271 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

332 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

392 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

278 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

337 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

457 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

229 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

300 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

525 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

513 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

149 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

283 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

382 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

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

**1**

vote

**0**answers

283 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

435 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

283 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

451 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

489 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

726 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

733 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

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

**10**

votes

**1**answer

829 views

### Affine scheme on spec(A) of a ring A as the sheafification of a pre-sheave on spec(A)?

It is obvious that there is a parallel between the definition of structure sheaf of $\operatorname{Spec}(A)$
versus the sheafification of a pre-sheaf.
The definition of the sheaf $\mathscr F^+$ ...

**2**

votes

**1**answer

290 views

### Finiteness of normalization of Noetherian normal domain

I have the following question:
Let $A$ be an integrally closed Noetherian domain, $K$ its field of fractions. let $L$ be a finite extension of $K$, and $B$ the integral closure of $A$ inside $L$. Is ...

**0**

votes

**1**answer

219 views

### Embedding commutative associative rings in non associative rings [closed]

Let $R$ be a commutative and associative ring with unit. Can $R$ be embedded in a ring $\hat{R}$ wich is both non commutative and non associative ?
Thanks guys !

**1**

vote

**2**answers

302 views

### quotient of integral polynomials not being integral

So let $R$ be an integral domain and $K$ its fraction field. Let $f,g,h\in K[x]$
be 3 monic polynomials such that $f=gh$. So I would like to have a simple example
of a ring $R$ for which one has that ...

**10**

votes

**1**answer

458 views

### Are there non-reflexive modules isomorphic to their bi-dual?

Let $M$ be an $R$-module. We say that $M$ is reflexive if the natural map $M\rightarrow M^{**}$ is an isomorphism.
I'd like to know if there exists a module isomorphic to its bi-dual but not ...

**6**

votes

**2**answers

2k views

### Periodic matrices

A square matrix $M$ such that $M^{k+1}=M$, for some positive integer $k$, is called a periodic matrix.
Can we characterize the periodic matrices in $\mathcal{M}_n(\mathbb{Z})$?
If we replace ...

**2**

votes

**2**answers

279 views

### Can normalisations of curves over a perfect field change residue fields?

Does anyone know an example of a curve $X$ over a perfect field $k$ such that if $\tilde{X}$ is its noramlisation, there exists a point $x \in X$ and a point $y \in \tilde{X}$ over $x$ such that $k(y) ...

**8**

votes

**2**answers

563 views

### Is the support of an Artinian module finite?

Let $R$ be a commutative Noetherian ring, $M$ is an Artinian $R$-module. Is the set $Supp_R(M)$ finite?
Thanks.