Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
1
vote
0
answers
357
views
Flatness over a local noetherian ring
Let $(R,\mathfrak m)$ be a local noetherian ring, and $M$ an arbitrary $R$-module. Suppose that $\mathrm{Tor}_1(M,R/\mathfrak m)=0$. Does it follow that $M$ is flat?
The answer is positive when $M$ …
16
votes
Is a domain all of whose localizations are noetherian itself noetherian ?
All the previous answers send us to complicated examples since these are $1$-dimensional domains. But the OP has looked for
A domain $D$ all of whose localizations $D_P$ for $P∈\mathrm{Spec}(D)$ …
2
votes
Accepted
Prime ideal ramified in extension if and only if certain polynomial divides another one?
Set $A=k[T,\sqrt f]$. In fact, $A=k[T,U]/(U^2-f)$.
Then $A/gA\simeq k[T,U]/(g,U^2-f)$. If we set $L=k[T]/(g)$, then $A/gA\simeq L[U]/(U^2-\bar f)$.
If $g$ ramifies in $A$ then there is $h\in k[T]$ suc …
3
votes
Is a Laskerian ring coherent
Even strongly Laskerian rings are not necessarily coherent.
By a theorem of Radu strongly Laskerian coherent rings are Noetherian, and there are examples of strongly Laskerian rings which are not No …
5
votes
1
answer
438
views
Macaulay's example of prime ideals in $\mathbb C[X_1,X_2,X_3]$ having large number of genera...
There is a famous example of Macaulay which shows that there are prime ideals of height two in $\mathbb C[X_1,X_2,X_3]$ having at least $l$ generators for any $l\ge 3$.
In Macaulay's words, the exam …
4
votes
2
answers
1k
views
When does a faithful module have an element with zero annihilator?
This is a follow up of the question Example of a finitely generated faithful torsion module over a commutative ring on MathSE.
Let $M$ be a finitely generated module over a commutative ring $R$ with …
2
votes
Canonical module of rees algebra
The result of Bruns needed for determining the canonical module of the Rees algebra with respect to an ideal generated by a regular sequence is Theorem 8.8 in Bruns and Vetter, Determinantal Rings. Th …
1
vote
1
answer
356
views
Examples of fractional ideals whose inverse does not commute with the product
Let $R$ be an integral domain, $K$ its field of fractions, and $I,J$ fractional ideals.
If $R$ is a Krull domain, then $(R:_KIJ)=(R:_KI)(R:_KJ)$, or $(IJ)^{-1}=I^{-1}J^{-1}$.
But I can't see any reaso …
4
votes
1
answer
575
views
Example of fractional ideal whose inverse does not commute with localization
Let $R$ be an integral domain, and $K$ its field of fractions. It is well known that for a finitely generated fractional ideal $I$ of $R$, and $S$ a multiplicative set we have $$(R:_KI)_S=(R_S:_KI_S). …
11
votes
1
answer
1k
views
Are there irreducible ideals that are not primary in $K[X_1,\dots,X_n,\dots]$?
I can give examples of non-noetherian rings having irreducible ideals that are not primary. Among them there are idealizations and valuation domains. But the first non-noetherian ring we are thinking …
5
votes
Errata for Atiyah–Macdonald
Page 118, line 16, Example: Poincaré series should be $P(A,t)=(1-t)^{-s}l(A_0)$.
2
votes
2
answers
587
views
Graded-irreducible ideals are irreducible?
One knows that graded ideals in polynomial rings over a field are primary iff they are graded-primary. What about the irreducible ideals?
Let $I$ be a graded ideal in a polynomial ring over a fiel …
2
votes
Accepted
If the quotient of a local ring is regular, does that imply that the original ring must be r...
The quoted result relies on the following elementary characterization of local regular rings:
Let $R$ be a local ring with maximal ideal $\mathfrak m$ and $x\in\mathfrak m-\mathfrak m^2$. Then $R$ …
2
votes
Accepted
Are f.g. projective modules free over total quotient ring of a reduced non-noetherian commu...
I've posted an answer here.
9
votes
Hilbert's Nullstellensatz on polynomials with integer coefficients
The answer is definitely yes. The argument is very simple: the ring extension $$\mathbb Q[X_1,\dots,X_n]\subset \mathbb C[X_1,\dots,X_n]$$ is faithfully flat.