The commutative-rings tag has no wiki summary.

**-3**

votes

**0**answers

36 views

### The set of all ideals as a directed set [on hold]

Is there any ordering, not Inclusion, on the set of all ideals of a commutative ring with identity, such that this ordering makes the set of all ideals of $R$ in to directed set?

**2**

votes

**2**answers

463 views

### Can the projective line be provided with a ring structure?

A definition of multiplication on the projective $1$-points $(a:b)$ of $P_K^1$ with $a$ and $b$ elements of a field $K$ ( e.g. the real or rational numbers ) can be given by mimicking the ...

**9**

votes

**1**answer

249 views

### Non-field example of a commutative, local, dual ring with nilradical $N$ such that $ann(N)\nsubseteq N$

I asked this question on math.stackexchange a month ago with no progress, even after a bounty. I hope to eliminate one if the other receives a satisfactory answer.
For an ideal $I\lhd R$ in a ...

**0**

votes

**1**answer

61 views

### Some references for f-ring

A commutative ring $R$ is said to be an $f-ring$ if every pure ideal is generated by idempotents. (Recall that the ideal $I$ is said to be pure if for each $a\in I$ there
is a $b\in I$ such that $ab = ...

**0**

votes

**1**answer

106 views

### Example of indecomposable self injective ring

Is there any example of an indecomposable self-injective commutativr ring with 4 or more maximal ideals?

**3**

votes

**1**answer

146 views

### Example of a homogeneous (not monomial) $(x,y)$-primary ideal $I$ in $K[x,y]$

Is there any example of a homogeneous (not monomial) $(x,y)$-primary ideal $I$ in $K[x,y]$ such that $I$ is complete and and there exists a minimal reduction $J$ of $I$ such that ...

**4**

votes

**1**answer

601 views

### The Weyl algebra modules which are also rings

Consider the space $C^\infty(\mathbb{R})$. We have on it a natural action of the Weyl algebra generated by $x$ and $d/dx$, where $x$ is the coordinate on $\mathbb{R}$, and there is plenty of Weyl ...

**0**

votes

**1**answer

123 views

### Change of grading used in the paper “The diagonal subring and the Cohen-Macaulay property of a multigraded ring” by Eero Hyry

I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I do not understand the following part in Lemma 1.1. here.
Let ...

**0**

votes

**0**answers

102 views

### book for help on problems with noetherian rings

Can you please introduce to me a book which would help me to prove the two following problems?
In a noetherian ring, every integrally closed ideal is unmixed.
Let $R$ be a noetherian ring, $P$ a ...

**6**

votes

**0**answers

240 views

### Can every commutative ring of characteristic $p\in\mathbb P$ be written as the form $R/(p)$ with $R$ being a ring of characteristic $0$?

All rings here are associative, commutative and unital. By a ring of characteristic zero (resp. of characteristic $p$, for prime $p$) I mean a ring $A$ such that the canonical homomorphism $\mathbb ...

**1**

vote

**0**answers

93 views

### cohomlogy of Diagonal ring

Let $S=\bigoplus_{\underline n\in\mathbb N^r } S_{\underline n}$ be a standard multigraded ring over a local ring and M be a finitely generated $\mathbb N^r $-graded $S$-module. Let ...

**5**

votes

**1**answer

391 views

### When is $1+a+a^2+\dotsb+a^{{\rm ord}_n(a)-1}$ divisible by $n$?

I posted this question on math.SE 10 days ago and had no answer, comment or vote. If an answer is not available, I could really use a reference point as well.
For the sake of completeness, I am ...

**3**

votes

**1**answer

237 views

### Castelnuovo-Mumford regularity in multigraded case

Let $R=\oplus_{n\geq 0}R_n$ be a standard Noetherian commuative graded ring over a local ring $(A,m)$ where $R_0=A.$ Put $R_+=\oplus_{n\geq 1}R_n.$ Let $M$ be a finitely generated $\mathbb Z$-graded ...

**15**

votes

**1**answer

267 views

### What are applications of commutativity theorems for rings?

Herstein's little book "Noncommutative Rings" has a chapter called Commutativity Theorems in which he proves results like Jacobson's theorem: if a ring (associative with identity, please) has the ...

**0**

votes

**0**answers

65 views

### Idempotent ideal in ring of continuous functions

Is there any equivalence conditions under which an ideal $I$ in ring of continuous functions be be an idempotent ideal?

**3**

votes

**1**answer

115 views

### I need to refind a reference on multigraded Hilbert series

I found a theorem about multigraded Hilbert series stated as follows:
Let $R$ be a Noetherian multigraded algebra $R:=\bigoplus_{j\in\mathbb{N}^m}{R_j}$ over $R_0=\mathbb{C}$. If $R$ is generated by ...

**2**

votes

**1**answer

98 views

### Can height one maximal ideals in the normalization contract to non-height one primes in the base?

Let $R$ be a local (Noetherian) integral domain of dimension greater than one. Can the integral closure (i.e. normalization) of $R$ have a maximal ideal of height one?

**5**

votes

**2**answers

447 views

### The number of ideals in a ring

Here is a question that I first asked in math.stackexchange, but I think the question must be proposed here.
Let $R$ be a finite commutative ring with identity. Under what conditions the number ...

**3**

votes

**3**answers

211 views

### ideals of polynomial ring with complex number coefficients

Let $\mathbb{C}[x,y]$ be the polynomial ring with variables $x,y$ and coefficient in $\mathbb{C}$.
Let $f,g\in \mathbb{C}[x,y]$.
Let $(f,g)$ be the ideal of $\mathbb{C}[x,y]$ generated by $f,g$.
...

**1**

vote

**1**answer

66 views

### ideals of polynomial ring of two variables generated by two elements

Let $f,g$ be two polynomials in $\mathbb{Z}[x,y]$, given by
$$
f(x,y)=x^4-3xy+y^2,$$
$$
g(x,y)=x^5-4xy+3xy^2.$$
Let $I=(f,g)$ be the ideal in $\mathbb{Z}[x,y]$ generated by $f$ and $g$.
Is ...

**1**

vote

**2**answers

373 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

**2**answers

250 views

### Ideals generated by two elements in the polynomial ring of two variables over a field

Let $k$ be a field. For example, $k=\mathbb{Q}$ or $\mathbb{Z}/p$, $p$ prime.
Let $k[x,y]$ be the polynomial ring.
Let $f,g\in k[x,y]$.
Let the ideal $I=(f,g)$ be the ideal of $k[x,y]$ ...

**1**

vote

**2**answers

226 views

### Surjectivity of trace map

Let $R$ be a closed integral domain with its fraction field $F$. Let $K$ be a finite separable extension field of $F$, and let $A$ be the integral closure of $R$ in $K$.
It is well known that the ...

**1**

vote

**2**answers

153 views

### if $R$ is Noetherian local with a finite module of finite injective dimension and if “?” , then $R$ is “Gorenstein”

I know that if $R$ is Noetherian local with a finite module of finite injective dimension, then $R$ is Cohen-Macaulay.
Can one add assumptions on $M$, so that $R$ be Gorenstein or Complete ...

**4**

votes

**1**answer

161 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

**2**answers

301 views

### Can there be a non-trivial epimorphism (of rings) from a field? [closed]

I apologize if this question is trivial, but I just cant figure it out. Let $K$ be a field and let $K\longrightarrow A$ be an epimorphism of rings. Is it necessary that $A=K$?

**1**

vote

**1**answer

196 views

### Necessary and sufficient condition for $can : A^X\otimes_A A^Y\rightarrow A^{X\times Y}$ to be an embedding

The two sets are, of course, supposed infinite.
This question is related to that one
Commutation of tensor products with inverse limits in a specific case
where it received a (partial) answer ($A$ ...

**0**

votes

**1**answer

108 views

### Canonical module of rees algebra

[Example 4.27, Integral Closure, Rees Algebras, Multiplicities, Algorithms] by Vasconcelos, says that if $I=(f_1,\ldots,f_g)$ is an ideal generated by a regular sequence with $g\ge 2$ then the ...

**1**

vote

**1**answer

135 views

### Structure of $\text{Aut}_R(R[X])$

Let $R$ be a commutative ring with identity. I'd like to know how to determine the set $\text{Aut}_R(R[X])$ of all $R$-automorphisms of $R[X]$.
I've proved that all $\sigma\in\text{Aut}_R(R[X])$ ...

**2**

votes

**1**answer

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

**0**

votes

**0**answers

66 views

### How to prove that the set of maximal elements of a set of prime ideals is finite

Let $A$ be a subset of ${\rm Spec}(R)$ with $R$ noetherian
Are there any techniques to prove that ${\rm max}(A)$ (ie the set of maximal elements of $A$) is finite?
I'm looking for equivalent ...

**2**

votes

**0**answers

64 views

### completion of non-finitely generated ideal

Let consider $A=k[x_{1},x_{2}...]$, the polynomial ring with countably many indeterminates.
Then we can consider the completion ...

**0**

votes

**1**answer

157 views

### Commutation of tensor products with inverse limits in a specific case

For $X,Y$ sets, let's denote $Y^X$ the set of all mappings $X\rightarrow Y$. If $Y(=R)$ is a ring, $R^X$ is a $R$-module (well, a bi-module but my question is - at first - concerning commutative ...

**9**

votes

**6**answers

2k views

### Applications of commutative algebra

Hi. I'm preparing a thesis in commutative algebra, and when I say this to my friends they always ask me what are the applications to "real-world", and I don't know what to answer. This let me think ...

**3**

votes

**0**answers

129 views

### going down theorem

Typical maps that satisfy "going down theorem" are flat morphisms and integral extensions of normal rings that are integral.
Let $Spec(B)\rightarrow Spec(A)$ be a finite type morphism of k-noetherian ...

**0**

votes

**0**answers

55 views

### annihilators of top local cohomology modules

Let $R$ be a commutative Noetherian ring. Let $\frak a$ be an ideal of $R$ and ${\rm M}$ be a f.g $R$- module such that $c:=cd(\frak{a},{\rm M})$ is finite and $x\in R$. Is it true that $xH^c_{\frak ...

**1**

vote

**0**answers

127 views

### local rings with finite type maximal ideal

Let $A$ be a local ring with a maximal ideal $\mathfrak{m}$ finitely generated (not principal).
Is there a sufficient condition for $A$ to be noetherian?
For example, we know that the completion ...

**6**

votes

**0**answers

111 views

### flatness and derived completion

Let $A$ be a local ring of maximal ideal $\mathfrak{m}$. Let $\hat{A}$ be its completion.
If $A$ is noetherian , then we know that $A\rightarrow\hat{A}$ is faithfully flat.
If $A$ is not noetherian, ...

**0**

votes

**0**answers

43 views

### normality of truncated arc space

Let $X=Spec(A)$, with $A$ a normal $k$-algebra of finite type, $k$ is a field.
For any integer $n$, let $X(k[t]/(t^{n}))$ the $n$-th truncated arc space, is it also normal?
Same question for ...

**3**

votes

**3**answers

184 views

### canonical module can be identified with an ideal. how can one reach that ideal?

Let $R[[X,Y,Z]]/(X,Y)\cap (Y,Z)\cap(X,Z)$. then $R$ is Cohen-Macaulay ring and has a canonical
module, $K$. By Proposition 3.3.18 of Bruns_Herzog, $K$ can be identified with an ideal in $R$.
So we ...

**8**

votes

**0**answers

109 views

### Weierstrass division theorem for henselian rings

Let $A$ be an henselian local noetherian ring. There is an old result of Lafon ("Anneaux henséliens et théorème de préparation" (1967)), which says that if $A$ is analytically normal and of ...

**1**

vote

**1**answer

124 views

### Graded version of Baer's Criterion

Baer's Criterion for injectiveness of modules says: "An $R$-module $E$ is injective iff for all ideals $I$ of $R$, every homomorphism $f\colon I \to E$ can be extended to $R$." I wonder if there is a ...

**0**

votes

**1**answer

232 views

### Uniform Artin-Rees

The Artin-Rees lemma states that if $R$ is a Noetherian ring, $I \subseteq R$ is an ideal and $N \subseteq M$ are finitely generated $R$-modules, then there exists an integer $k$ such that for every ...

**2**

votes

**1**answer

99 views

### Matching power series to infinity

As pointed out by Makoto, on this question about power series rings and the axiom of choice, an idea I had needed the axiom of dependent choice to work. However, the construction raises another ...

**2**

votes

**1**answer

197 views

### finiteness dimension

$R$ is a local Noetherian ring. $f_I(M)$, the finiteness dimension of a module $M$ relative to $I$, is defined in ...

**6**

votes

**2**answers

913 views

### Is being finitely generated a local property?

I am trying ot figure out a proof of the following fact, that I believe is true, but it seems to me that something is lacking.
Suppose we have commutative, unitary rings $A,B$ and a (unit preserving) ...

**1**

vote

**1**answer

158 views

### Does the going-up theorem hold between flat algebras?

Let $R$ be a commutative Noetherian ring with unit and $S$ a flat $R$-algebra. Does the going-up theorem hold between $R$ and $S$?

**1**

vote

**1**answer

244 views

### intuitive interpretation of analytic spread

I am studying analytic spreads from Bruns-Herzog's book. The definition is clear but calculation of the analytic spread of an ideal is hard for me in practice. I wonder if it is hard for you too.
...

**1**

vote

**0**answers

87 views

### Graded Betti Numbers of a Graded Ideal with Linear Quotients

Exercise 8.8 in Monomial Ideals by Herzog and Hibi:
Let $I\subset S=K[x_{1},...,x_{n}]$ be a graded ideal which has linear quotients with respect to a homogeneous system of generators ...

**0**

votes

**1**answer

136 views

### if $ \lambda (I)= \dim R$, can one claim that $I$ is an $m$-primary ideal?

definition from Bruns-Herzog:
It is easy to see that if $I$ is a $m$-primary ideal of $R$ then $ \lambda (I)= \dim R$. I wonder if the converse is true:
if $ \lambda (I)= \dim R$, can one ...