The tag has no usage guidance.

learn more… | top users | synonyms

4
votes
1answer
77 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
0answers
48 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 ...
-2
votes
0answers
133 views

books, lecture notes, for studying pullback rings [closed]

Does anyone have suggestions for books, or lecture notes, (or videos) for studying pullback rings? ( whole book or a section that have an easy and basic approach.) I know definition; ...
1
vote
0answers
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
0answers
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
0answers
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
1answer
98 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
1answer
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
1answer
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
4answers
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
3answers
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
0answers
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
1answer
325 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
0answers
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
1answer
534 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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
173 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
0answers
134 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
1answer
619 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
1answer
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
1answer
59 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
0answers
103 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
1answer
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
0answers
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
1answer
111 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
0answers
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
0answers
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
0answers
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
1answer
160 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
0answers
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
0answers
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
0answers
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
2answers
473 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
2answers
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
0answers
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
2answers
764 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
3answers
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
1answer
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
1answer
159 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
2answers
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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 ...
7
votes
0answers
317 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 ...