The commutative-rings tag has no usage guidance.

**9**

votes

**1**answer

336 views

### Has anything ever been done with the set $\{1,2,3,4,\ldots\}$ equipped with the operation $a \oplus b = a+b-1$?

Definition. $$\mathbb{J} = \{1,2,3,\ldots\}.$$
We can refer to the elements of $\mathbb{J}$ as "joiners."
The product of joiners is inherited from $\mathbb{Z}$.
The sum of joiners ...

**0**

votes

**0**answers

29 views

### Bass' stable range condition for principal ideal domains

Do you know a characterization of commutative rings $R$ whose every prime factor ring of $R$ is a principal ideal domain?

**4**

votes

**1**answer

85 views

### Completeness of Localizations of Completions of Commutative Rings

Let $R$ be an integral domain. Let $x,y\in R\setminus\{0\}$ be distinct. Let $\hat R$ be the $x$-adic completion of $R$ (the ring of all sequences $(r_n+Rx^n)_{n\ge0}$ where for $n\ge0$, $r_n\in R$ ...

**1**

vote

**0**answers

49 views

### A property of minimal prime ideals in rings with finite chromatic number

Let $R$ be a commutative ring with identity. There are so many ways to associate a graph to $R$. Consider this: take the elements of $R$ (All elements including zero) as vertices an two distinct ...

**1**

vote

**0**answers

35 views

### Upper bound for the minimum number of generators of the canonical module

Let $P=k[x_1...x_n]$ be a poly over a field. Suppose that $R=k[x_1...x_n]/I$. The canonical module of $R$ is $\omega_R=Ext^{n-dim(R)}_P(R,P)$.
The question is that is there any upper bound for the ...

**2**

votes

**0**answers

52 views

### Analogue of Bass's Lemma 2.4 on when inverse images of free modules are free

Let $R$ be a Noetherian integral domain. Let $x\in R$ be a prime element. Let $\overline{R}=R/Rx$.
Let $P$ be a finitely-generated projective $R$-module.
Assume that $\frac{P}{xP}$ is a free ...

**2**

votes

**0**answers

62 views

### non-Noetherian r-Noetherian ring with Noetherian total quotient ring

A commutative ring is said to be r-Noetherian if every regular ideal is finitely generated, where an ideal is said to be regular if it contains a non-zerodivisor. Does there exist a non-Noetherian ...

**2**

votes

**1**answer

100 views

### When do all annihilators of primitive idempotents intersect in {0}?

maybe this is silly but:
for which class of rings (or commutative rings) R may I write
An element a of R is zero iff
for every primitive idempotent e, ea is zero
?
That is, primitive idempotents ...

**1**

vote

**1**answer

88 views

### Theorem 16 , Chapter 5 of Northcott 's, Finite Free Resolutions: p.grade

Let $R$ be a commutative ring with identity. D.G. Northcott's, Finite Free Resolutions, has:
and in Theorem 16 of Chapter 5 proves that:
$p.grade(I,M) = p.grade(P,M)$ for some prime ideal $P$ ...

**1**

vote

**1**answer

117 views

### What can be said about $A$ and $B$ given the exact sequence $0 \to R^p \to A \to R^r \to R^q \to B \to 0$?

Let $A,B$ be two $R$-modules over a commutative ring $R$ (restrict to $R = \mathbb{Z}$ or $R= \mathbb{K}$ a field where appropriate). Suppose $A$ and $B$ fit into an exact sequence
$0 \to R^p \to ...

**24**

votes

**4**answers

3k views

### Flatness and local freeness

The following statement is well-known:
$A$ a commutative Noetherian ring, $M$ a finitely generated $A$-module. Than $M$ is flat if and only if $M_{\mathfrak{p}}$ is free for all $\mathfrak{p}$.
My ...

**14**

votes

**3**answers

2k views

### What are the units in the ring of Laurent polynomials?

What are the units in $R[X,X^{-1}]$, where $R$ is a commutative ring with $1$? I know that the question for polynomial rings is a standard textbook exercise. However, I couldn't find a reference for ...

**4**

votes

**0**answers

114 views

### Reference request for $R$-index

Let $R$ be a noetherian domain with field of fractions $F$, let $V$ be a finite-dimensional $F$-vector space, and let $M,N \subseteq V$ be $R$-lattices in $V$ (finitely generated $R$-submodules of $V$ ...

**6**

votes

**1**answer

327 views

### Is the sheaf of smooth functions flat?

Let $X$ be a smooth algebraic variety over $\mathbb{C}$. Is the sheaf of smooth functions on $X$ flat as an $\mathcal{O}_X$ module?

**1**

vote

**0**answers

67 views

### Commutative noetherian domains with large fixed rings

Let $R$ be a commutative domain and let $\theta$ be a ring automorphism of $R$. The fixed ring of $\theta$ is defined by $R^{\theta}:=\{r \in R: \ \theta(r)=r \}.$ An ideal $I$ of $R$ is called ...

**6**

votes

**1**answer

537 views

### Is an ideal generated by multilinear, irreducible, homogeneous polynomials of different degrees always radical?

I asked this question on math.se and someone even put a bounty on it, yet there was no answer. Hence, I am asking here. Assume $\Bbbk$ to be a field of characteristic zero.
Definition. A ...

**0**

votes

**0**answers

65 views

### Grobner basis for a general algebra

Let $R$ be a quotient of the polynomial ring $\mathbb{C}[x_1,\dots , x_n]$. We fix a $\mathbb{C}^*$ action on $R$ which preserve homogenous components and the multiplication. (The geometric analogue ...

**6**

votes

**1**answer

138 views

### When does 'Zariski tangent space derivative' vanishes everywhere imply that a section is constant?

Consider an abelian algebra, $R$, over the field $K$ with the properties that every residue field of $R$ is (canonically) isomorphic to $K$ (I'm not sure but I think this is necessary, otherwise we ...

**3**

votes

**1**answer

224 views

### What kinds of limits does localization of commutative rings reflect?

Localization of commutative rings is a left exact left adjoint, so it behaves nicely with plenty of things. Local-to-global principles are also abundant in commutative algebra, and I thought some of ...

**0**

votes

**0**answers

51 views

### Extending grading of subring to entire ring

Let $R$ be a (commutative) subring of $S$, and assume that $R$ is graded by an abelian group $G$. Is there anything known, possibly under less general circumstances, about the existence/uniqueness of ...

**2**

votes

**1**answer

174 views

### Can we Characterise Rings of Continuous Functions?

Suppose $K$ is some nice space, for example $\mathbb R$ or $\mathbb C$. Let $X$ be a set and $C$ a ring of functions $X \to K$. Is there any way to determine, from the algebraic structure of $C$, ...

**1**

vote

**0**answers

136 views

### A family of maximal ideals

Let $m_i $, $i \in I,$ be an infinite family of maximal ideals in a commutative ring with identity (it is not supposed to be Noetherian). When does there exist $j \in I$ such that $\cap_{i\not= j} ...

**19**

votes

**1**answer

625 views

### Examples of Noetherian overkill

I have read in many places that the noetherian hypothesis is often overkill - both in commutative algebra and in ($\overset?=$) algebraic geometry. In particular, I've read that coherence and finite ...

**0**

votes

**1**answer

71 views

### Generalization of a Result about degree bounds of invariant rings

A theorem of Knop states that if $G$ is semisimple and connected acting on a vector space $V$ over a field $K$ of characteristic 0, then the degree of the Hilbert series of $K[V]^G$ is less than or ...

**3**

votes

**1**answer

60 views

### Derivations annihilated by powers of the augmentation ideal

Consider an augmented commutative ring $R$, with augmentation ideal $\varpi$. Let $\delta$ be a derivation of $R$. The example I have in mind is $R=\mathbb F_p[x]/(x^{p^i})$ and $\delta=d/dx$, though ...

**3**

votes

**0**answers

107 views

### Integer-matrix representation of a commutative ring

Consider a commutative ring $x_ix_j = N_{ij}^k x_k$, where $N_{ij}^k \in\{0,1,2,3,\cdots\}$, and $\{x_i\}$ is a finite set. (This is actually a fusion ring and $x_i$ are simple objects.)
How to find ...

**2**

votes

**1**answer

104 views

### $Hom (T,R)$ isomorphic to $R:T$?

Let $R$ be a Cohen–Macaulay local ring with maximal ideal $m$ and $dim R = 1.$ In the paper "Almost Gorenstein rings", by "Goto, Matsuoka, Phuong", with this settings:
they have
How they reach the ...

**0**

votes

**0**answers

40 views

### A quick question from the paper “Generalizations of reductions and mixed multiplicities” by D. Rees

In the proof of Theorem 1.3 in the paper "Generalizations of reductions and mixed multiplicities" by Rees here, Is it necessary to consider the ring $Q'=Q/{\bigcup\limits_{q \geq 1}(0:{(I_1\dots ...

**2**

votes

**1**answer

114 views

### Hilbert Regularity in relation to degree of generators

Suppose we look at the $\mathbb {C}$ module $\mathbb{C}[x_1,\dots,x_n]=\oplus{S_i}$ where $S_i$ are the polynomials of degree $i$. Then we look at a subring $R$ (also a $\mathbb {C} $ module) ...

**0**

votes

**0**answers

74 views

### Annihilators of top local cohomology modules

Let $R$ be a commutative Noetherian ring. Let $\frak a$ be an ideal of $R$, and let ${\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 ...

**0**

votes

**0**answers

35 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
Let $R$ be a commutative ring (associative and with unity).
For given $m \in \mathbb{N}$ and $b \in R$,
it is decideable ...

**3**

votes

**0**answers

100 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, ...

**5**

votes

**1**answer

161 views

### In a noetherian commutative ring with only one associated prime, is the nilradical locally free?

The title says it all.
I suspect that the answer in general is no, although my intuition tells me that a jump in the dimension of the fibre of the nilradical at some point of Spec(A) can occur only ...

**2**

votes

**0**answers

64 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

120 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

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

**20**

votes

**2**answers

480 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

139 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

128 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

769 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

247 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

618 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

160 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

657 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

143 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

550 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

280 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

64 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

149 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

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