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.
2
votes
About the Dimension of a complete local ring
Not necessarily. See Examples of common false beliefs in mathematics and the answer by JSE and the reply to his example by Simon Wadsley.
3
votes
Accepted
Example of fractional ideal whose inverse does not commute with localization
Let $R = \mathbb{Z}+X\mathbb{Q}[X]$ and $I = X\mathbb{Q}[X] = (X, X/2, X/3, \ldots)$, and let $S = \{1,2,3,\ldots\}$. Then $K = \mathbb{Q}(X)$, $R_S = \mathbb{Q}[X]$, and $I_S = X \mathbb{Q}[X]$, whe …
2
votes
Accepted
Generic methods to check irreducibility of polynomials in $K[[X,Y]]$
I have a paper giving an irreducibility test (and factoring "algorithm", in some sense of the word) for formal power series over a PID, which should eventually appear in Trans. of the AMS. In particu …
6
votes
Characterizations of UFD and Euclidean domain by ideal-theoretic conditions
Although Pete Clark's answer is great, I thought I'd post a partial answer that addresses the UFD question in a different direction. My favorite ideal-theoretic characterization of UFDs is that a doma …
2
votes
Computation of fraction field of formal series over the integers
If $R$ is a UFD with field of quotients $K$, then the group of units $K^*$ is the direct product of $R^*$ with the free abelian group generated by the irreducible/prime elements of $R$ (one for each c …
5
votes
A question on non noetherian ring
Since $a$ is a non-zerodivisor of $R$, it does not lie in any of the minimal primes of $R$. Therefore any chain of primes in $R$ that all contain $(a)$ has no minimal prime in the chain and can there …
4
votes
Integral domains equal to intersection of their height one localizations
This property has been studied before: see http://www.kkms.org/kkms/vol08_1/08110.pdf.
In particular, the author G. W. Chang says that an integral domain $R$ satisfies APIT (i.e., the associated prime …
8
votes
Accepted
UFD property for power series in characteristic 0
For any field $k$, the ring $A = k(U)[[X,Y,Z]]/(X^2+X^3+UX^6)$ is a UFD such that $A[[T]]$ is not a UFD. For a proof of this, see
Salmon, Su un problema posto da P. Samuel.
For further developments, …
3
votes
Accepted
Weak approximation in Krull domains
If you remove "perhaps at the cost of extending the initial [finite] set to a larger [finite] set of prime ideals" from your question, then the answer is yes for a fixed Krull domain $R$ if and only i …
2
votes
non-Noetherian r-Noetherian ring with Noetherian total quotient ring
I believe I have answered my question in the positive. Let $R = \mathbb{Z}+\varepsilon\mathbb{Q}[\varepsilon]$, where $\mathbb{Q}[\varepsilon]$ denotes the ring of dual numbers over $\mathbb{Q}$. Th …
2
votes
1
answer
77
views
An overring of an integral domain having maximal ideals contracting to strictly comparable p...
An overring of an integral domain is a domain lying between it and its quotient field. Is it possible to have an overring $S$ of an integral domain $R$ such that $S$ has two maximal ideals $\mathfrak …
6
votes
1
answer
557
views
prime ideals minimal over a zerodivisor
Let $R$ be a commutative ring with identity. If $P$ is a prime ideal of $R$ that is minimal over some zerodivisor of $R$, then must $P$ consist only of zerodivisors? I suspect not but I can't figure …
2
votes
$I$ is principal if and only if $ID_M$ is principal for all $M \in Max(D)$
A domain $D$ satisfies your condition if and only if it is an LPI domain with trivial Picard group (which can be realized as the group of invertible fractional ideals mod nonzero principal fractional …
6
votes
1
answer
453
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 r- …
6
votes
Is every locally free module of rank $1$ over a commutative ring concretely invertible?
This is a partial answer of a more general problem.
If $A$ is a commutative ring with few zerodivisors (which holds iff $\text{Quot}(A)$ is semilocal), then the answer is yes: in that case, an invert …