The commutative-rings tag has no usage guidance.

**3**

votes

**0**answers

61 views

### rings with 'flat functions'

Let $(R,\mathfrak{m})$ be a local ring over a field. Suppose the ring has flat elements, i.e. $\mathfrak{m}^\infty\neq\{0\}$. (The prototype is of course $C^\infty(\Bbb{R}^p,0)$, or a quotient of it, ...

**0**

votes

**0**answers

9 views

### Is the Jacobson radical of a ring with finite spectrum and nilpotent nilradical nilpotent? [migrated]

I tried to solve 1.3.1 in Bosch: Algebraic Geometry and Commutative Algebra.
I did not find a way to solve it. But I found this: Finitely many prime ideals ⇒ cartesian product of local rings.
And ...

**1**

vote

**0**answers

48 views

### Torsion ideal in symmetric algebra

Let D be a a commutative domain, M be a D-module without torsion and S(M) its symmetric algebra. Is the D-torsion ideal of S(M) the prime ideal of S(M) ?

**5**

votes

**0**answers

108 views

### On factorization algorithms for $\mathcal{O}[x]$

We know that $\mathsf{LLL}$ algorithm provides factorization procedure that runs in poly time for polynomials in $\Bbb Z[x]$ that are primitive.
What other rings $\mathcal{O}$ can we use instead of ...

**2**

votes

**0**answers

56 views

### Non-existence of commutative rings with many nilpotent elements with some restrictions where matrix powers are efficient

At the moment can't find better reference than "Cycle Enumeration using Nilpotent Adjacency Matrices with Algorithm Runtime Comparisons"
though certainly there are others.
Consider the following ...

**19**

votes

**2**answers

418 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

**2**answers

131 views

### Making idempotent element by a relation [closed]

Let $R$ be a commutative ring with identity and let $a, b \in R$ such that $a=ab$. How can we make a non zero idempotent element of $R$ by this relation?

**3**

votes

**0**answers

119 views

### Annihilators of elements in symmetric algebras

Let $M$ be a module over a commutative ring, and $S(M)$ its symmetric algebra. What elements of $S(M)$ annihilate a given element $m\in M$ ? ($M$ is considered as a submodule of $S(M)$.)

**1**

vote

**2**answers

711 views

### Existence of a minimal generating set of a module

Does a module (over a commutative ring) always possess a minimal generating set? When the module is not finitely generated, the typical Zorn's lemma type argument doesn't seem to work. More precisely, ...

**0**

votes

**3**answers

213 views

### Example of indecomposable self injective ring

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

**6**

votes

**1**answer

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

**2**

votes

**1**answer

134 views

### Deciding whether a non-f.g. non-divisible flat module is projective or not

Assume $S= R[T]/(f)= R[w]$ is a flat non-divisible $R$-module, where $R$ is a noetherian UFD, $T$ is an indeterminate over $R$, and $f\in R[T]$ is a non-monic polynomial of positive degree.
Can we ...

**4**

votes

**2**answers

649 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

**0**answers

25 views

### Deciding whether linear Equations are solvable over specific subrings of K(x_1,..,x_n)

The Definition of 'linear equations are solvable' which is meant here is
1)
Let $R$ be a commutative Ring (associative and with unity)
For a given $m \in \mathbb{N} $ and $b \in R$
It is decideable ...

**0**

votes

**1**answer

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

**3**

votes

**2**answers

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

**10**

votes

**1**answer

270 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

63 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 = ...

**3**

votes

**1**answer

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

**0**

votes

**0**answers

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

**7**

votes

**0**answers

274 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

97 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

392 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

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

**0**

votes

**0**answers

68 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

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

**3**

votes

**1**answer

104 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

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

**4**

votes

**3**answers

225 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

83 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

376 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

266 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

253 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

158 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

169 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

309 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

199 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

116 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

136 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

502 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

69 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

172 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

136 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

56 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

134 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

117 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

46 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

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