Skip to main content
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
Results tagged with
Search options not deleted user 17218

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.
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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, …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar
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- …
Jesse Elliott's user avatar
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 …
Jesse Elliott's user avatar

15 30 50 per page